类比平面内直角三角形的勾股定理,得出的空间中四面体性质的证明