正方形的面积公式是如何导出的