如果一个三角形为直角三角形那么这个三角型的两个锐角互余 的逆命题