각 변의 길이가 a, b, c인 직각삼각형 (a<b<c) 에서



"a, b, c가 모두 자연수일 때

2(c-a)(c-b)=k² 를 만족하는 정수 k가 반드시 존재한다 "



가 성립하는 것 같은데 맞나요