勾股定理:一个正三角形的边长是4,则它的面积为?