정답 · (5,20), (6,12), (8,8) Answer · (5,20), (6,12), (8,8) 분모 소거: 4y+4x=xy, 정리하면 xy−4x−4y=0. 양변에 16을 더해 곱으로 묶는다:
xy−4x−4y+16=16⟹(x−4)(y−4)=16.
x≤y인 자연수 해는 16의 인수 쌍에서: (x−4,y−4)=(1,16),(2,8),(4,4) —
(x,y)=(5,20),(6,12),(8,8).
검산: 51+201=204+201… =205=41 ✓, 61+121=123=41 ✓, 81+81=41 ✓. (x−4≤0이면 좌변이 41에 못 미치므로 음의 인수 쌍은 해가 없다.)
"더해서 묶기"(사이먼의 트릭)가 유리방정식의 정수해를 유한 목록으로 바꿨다 — 경시 정수론의 단골 수법이 정규 과정의 유리식과 만나는 지점이다.
Clear denominators: 4y+4x=xy, i.e. xy−4x−4y=0. Add 16 to factor:
(x−4)(y−4)=16.
Natural solutions with x≤y come from factor pairs of 16: (x−4,y−4)=(1,16),(2,8),(4,4) —
(x,y)=(5,20),(6,12),(8,8).
Check: 51+201=41 ✓, 61+121=41 ✓, 81+81=41 ✓. (Negative factor pairs fail: with x≤4 the left side overshoots or breaks.)
Add-and-factor (Simon's trick) turned a rational equation's integer solutions into a finite list — the junction where competition number theory meets the standard course's rational expressions.