다음은 좌표평면 위의 점 C(3,51)을 중심으로 하고, x좌표, y좌표가 모두 정수인 점 P를 지나는 원을 그리면 이 원 위의 점들 중에는 x좌표, y좌표가 모두 정수인 점이 P외에 존재하지 않음을 증명한 것이다.
<증명>
원 위에 점 P(a,b) (a, b는 정수)가 아닌 다른 점 Q(c,d)(c, d는 정수)가 존재한다고 가정하자.
CP=CQ이므로
(a−3)2+(b−51)2=(c−3)2+(d−51)2
양변을 제곱하여 정리하면
a2−c2+b2−d2−52(b−d)=□(가)⋯⋯①①에서 좌변은 □(나)으므로 a−c=0∴b2−d2−52(b−d)=0⋯⋯②②에서 b, d는 정수이므로 □(다)
따라서 이 원 위의 점들 중에는 x좌표, y좌표가 모두 정수인 점이 P외에 존재하지 않는다.
[출제의도] 무리수가 서로 같을 조건을 이용하여 제가 참임을 증명할 수 있는가를 묻는 문제이다.
원 위에 점 P(a,b) (a, d는 정수)가 존재한다고 가정하자.
CP=CQ이므로
(a−3)2+(b−51)2=(c−3)2+(d−51)2
양변을 제곱하여 정리하면
a2−c2+b2−d2−52(b−d)=□23(a−c) ---①
①에서 좌변은□유리수으므로 a−c=0∴b2−d2−52(b−d)=0⋯⋯
②
②에서 b, d는 정수이므로 □b−d=0a=c, b=d이므로 두 점 P, Q는 서로 같은 점이다.
따라서 이 원 위의 점들 중에는 x좌표, y좌표가 모두 정수인 점이 P외에 존재하지 않는다.