几何证明题可以用勾股定理嘛