勾股定理属于几何还是代数