勾股定理＝商高定理