반지름의 길이가 r r r 인 원 내부의 한 점을 P \mathrm{P} P , 선분 O P \mathrm{OP} OP (O \mathrm{O} O 는 원의 중심)의 P \mathrm{P} P 방향으로의 연장선 위에 O P ‾ ⋅ O Q ‾ = r 2 \displaystyle \mathrm{\overline{OP}} \cdot \overline{OQ} \mathit{=} r ^{2} OP ⋅ O Q = r 2 이 성립하는 점을 Q \mathrm{Q} Q 라 하자. 선분 P Q \mathrm{PQ} PQ 의 중점을 R \mathrm{R} R 이라 할 때, R \mathrm{R} R 의 위치가 원의 외부에 있음을 증명한 것이다.
<증명1>
점 R \mathrm{R} R 이 원의 내부에 있다고 가정할 때,
점 R \mathrm{R} R 을 지나고 선분 P Q \mathrm{PQ} PQ 에 수직인 현을 S T \mathrm{ST} ST 라고 하자.
O P ‾ = O R ‾ − R P ‾ \displaystyle \mathrm{\overline{OP}} = \overline{OR} - \overline{RP} OP = O R − R P , O Q ‾ = \displaystyle \mathrm{\overline{OQ}} = OQ = (가)
따라서
r 2 = O P ‾ ⋅ O Q ‾ = ( O R ‾ − R P ‾ ) \displaystyle r ^{2} = \mathrm{\overline{OP}} \cdot \overline{OQ} = ( \overline{OR} - \overline{RP} ) r 2 = OP ⋅ O Q = ( O R − R P ) (가)
= O R ‾ 2 − R P ‾ 2 \displaystyle \mathrm{=} {\overline{OR}} ^{2} - {\overline{RP}} ^{2} = O R 2 − R P 2
= = = (나)
= r 2 − P S ‾ 2 \displaystyle = r ^{2} - \mathrm{\overline{PS}} ^{2} = r 2 − PS 2
그러므로 선분 P S \mathrm{PS} PS 의 길이는 0 0 0 이다.
이것은 점 P \mathrm{P} P 와 S \mathrm{S} S 는 같은 점이라는 뜻이고,
점 P \mathrm{P} P 가 원 내부의 점이라는 사실에 모순이다.
따라서 점 R \mathrm{R} R 은 원 밖의 점이다.
<증명2>
O R ‾ = O P ‾ + O Q ‾ 2 > \displaystyle \mathrm{\overline{OR}} = \frac{\overline{OP} + \overline{OQ}}{2} > OR = 2 O P + O Q > (다)
따라서 O R ‾ > r \displaystyle {\mathrm{\overline{OR}}} > r OR > r 이므로 점 R \mathrm{R} R 은 원 밖의 점이다.
점 R \mathrm{R} R 이 원의 내부에 있다고 가정할 때, 점 R \mathrm{R} R 을 지나고 선분 P Q \mathrm{PQ} PQ 에 수직인 현을 S T \mathrm{ST} ST 라고 하자.
O P ‾ = O R ‾ − R P ‾ \displaystyle \mathrm{\overline{OP}} = \overline{OR} - \overline{RP} OP = O R − R P , O Q ‾ = \displaystyle \mathrm{\overline{OQ}} = OQ = (가)
따라서
r 2 = O P ‾ ⋅ O Q ‾ = ( O R ‾ − R P ‾ ) \displaystyle r ^{2} = \mathrm{\overline{OP}} \cdot \overline{OQ} = ( \overline{OR} - \overline{RP} ) r 2 = OP ⋅ O Q = ( O R − R P ) (가)
= O R ‾ 2 − R P ‾ 2 \displaystyle \mathrm{=} {\overline{OR}} ^{2} - {\overline{RP}} ^{2} = O R 2 − R P 2
= = = (나)
− ( P S ‾ 2 − R S ‾ 2 ) \displaystyle \mathrm{-} ( {\overline{PS}} ^{2} - {\overline{RS}} ^{2} ) − ( P S 2 − R S 2 )
= r 2 − P S ‾ 2 \displaystyle = r ^{2} - \mathrm{\overline{PS}} ^{2} = r 2 − PS 2
그러므로 선분 P S \mathrm{PS} PS 의 길이는 0 0 0 이다.
이것은 점 P \mathrm{P} P 와 S \mathrm{S} S 는 같은 점이라는 뜻이고, 점 P \mathrm{P} P 가 원 내부의 점이라는 사실에 모순이다.
따라서 점 R \mathrm{R} R 은 원 밖의 점이다.
<증명2>
O R ‾ = O P ‾ + O Q ‾ 2 > \displaystyle \mathrm{\overline{OR}} = \frac{\overline{OP} + \overline{OQ}}{2} > OR = 2 O P + O Q > (다)
따라서 O R ‾ > r \displaystyle {\mathrm{\overline{OR}}} > r OR > r 이므로 점 R \mathrm{R} R 은 원 밖의 점이다.
위 증명에서 (가), (나), (다)에 알맞은 것은 ? [4점]
(가) (나) (다) ① O R ‾ + R P ‾ \displaystyle \mathrm{\overline{OR}} + {\overline{RP}} OR + R P r 2 + R S ‾ 2 \displaystyle r ^{2} + \mathrm{\overline{RS}} ^{2} r 2 + RS 2 O P ‾ ⋅ P Q ‾ \displaystyle \mathrm{\sqrt{\overline{OP} \cdot \overline{PQ}}} OP ⋅ PQ ② O R ‾ + R P ‾ \displaystyle \mathrm{\overline{OR}} + {\overline{RP}} OR + R P r 2 − R S ‾ 2 \displaystyle r ^{2} - \mathrm{\overline{RS}} ^{2} r 2 − RS 2 O P ‾ ⋅ O Q ‾ \displaystyle \mathrm{\sqrt{\overline{OP} \cdot \overline{OQ}}} OP ⋅ OQ ③ O R ‾ + R Q ‾ \displaystyle \mathrm{\overline{OR}} + \overline{RQ} OR + R Q r 2 + R S ‾ 2 \displaystyle r ^{2} + \mathrm{\overline{RS}} ^{2} r 2 + RS 2 O P ‾ ⋅ O R ‾ \displaystyle \mathrm{\sqrt{\overline{OP} \cdot \overline{OR}}} OP ⋅ OR ④ O R ‾ + R Q ‾ \displaystyle \mathrm{\overline{OR}} + \overline{RQ} OR + R Q r 2 + R S ‾ 2 \displaystyle r ^{2} + \mathrm{\overline{RS}} ^{2} r 2 + RS 2 O P ‾ ⋅ O Q ‾ \displaystyle \mathrm{\sqrt{\overline{OP} \cdot \overline{OQ}}} OP ⋅ OQ ⑤ O R ‾ + R Q ‾ \displaystyle \mathrm{\overline{OR}} + \overline{RQ} OR + R Q r 2 − R S ‾ 2 \displaystyle r ^{2} - \mathrm{\overline{RS}} ^{2} r 2 − RS 2 O P ‾ ⋅ O R ‾ \displaystyle \mathrm{\sqrt{\overline{OP} \cdot \overline{OR}}} OP ⋅ OR