Olym 12G. 기하 부등식
- 이론 및 기술
반전의 정의
Definition 12.1 (무한원점과 cline). 무한 원점(point at infinity)는 임의의 직선이 지나는 가상의 점이다. $P_{\infinity}$로 표기한다. Cline은 직선과 원을 포함하는 도형을 의미한다.
Definition 12.2 (반전의 정의). 점 $P$를 원 $\omega(O, r)$에 대하여 반전시킨 점 $P^*$는 다음 두 조건을 만족한다.
점 $P^*$는 반직선 $OP$ 위에 놓인다.
$OP \times OP^* = r^2$이 성립한다.
Proposition 12.3 (반전의 기본성질). 반전은
Lemma 12.4 (반전점과 각).
Proposition 12.5 (여러 도형의 반전).
