피타고라스 역의 증명

세 변 a,b,c 가 a²+b²=c² 를 만족하면, 해당 삼각형은 직각삼각형

=> 직각삼각형이면, a²+b²=c² 를 만족한다.

직접 적으로 증명 하던지
대우 명제를 통해 증명해야 함

(대우 : a²+b²≠c² 이면, 직각삼각형이 아니다.)