18.2勾股定理逆定理及综合应用