先有三角形的面积公式还是先有勾股定理?