在三角形ABC中,已知A=派/3,a=3,求证:ABC为正三角形时其周长取得最大值