三角形计算面积中根号3的由来