勾股定理 (4)