文献あり

反転共役という変換

414

はじめに

　反転の派生の1つについて書きます．

補題 8.16 (重ね描きを強制的に作る反転)．
　三角形 $A B C$ において， $A$ を中心とする半径 $\sqrt{A B \cdot A C}$ の円に関して反転し， $∠ B A C$ の二等分線に関して対称移動すると， $B$ と $C$ が入れかわる．

(参考文献[1]p.221 より引用)

　はい．船旅に載っているやつです．名前がないと不便なので，以降，この方法を反転共役と呼称します．
Googleで検索しても，この名称を使っているサイトは1つ(参考文献[2])しか見つかりませんでしたが，「反転共役」というワードはかなり気に入っているので，これから浸透してくれると嬉しいです．浸透させましょう．

追記(2023/4/4):よく見ると「共役反転」でした．まあ可換なので…

定義など

(Mathlogの記事で反転共役をやるのはこれで $3$ 回目ですが，定義の仕方が全く統一されていないそうですね．)

定義

　三角形 $△ A B C$ をとり，その外接円を $Γ$ とします．
　点 $X$ を中心 $A$ ，半径 $\sqrt{A B \cdot A C}$ の円で反転し， $∠ B A C$ の二等分線で鏡映して得られる点を $X^{⋆}$ と書くことにします．
　また，反転共役による集合 $Σ$ の像 ${X^{⋆} | X \in Σ}$ も，同じように $Σ^{⋆}$ と書きます．

基本的な性質

　どの補題も，かなり頻繁に使います．

$B^{⋆} = C$ , $C^{⋆} = B$

最初に引用したやつですね．

直線 $s$ が $A$ を通るとき， $s^{⋆}$ は $s$ の等角共役線である．

反転共役の"共役"の要素です．

$Γ^{⋆}$ は直線 $B C$ である．

$Γ$ は点 $A$ を通るので， $Γ^{⋆}$ は直線．
$Γ$ は点 $B, C$ を通るので， $Γ^{⋆}$ は点 $B^{⋆} (= C), C^{⋆} (= B)$ を通る．
したがって， $Γ^{⋆}$ は直線 $B C$ である．

距離の変換公式

$X \neq A, Y \neq A$ のとき，

$X^{⋆} Y^{⋆} = \frac{A B \cdot A C}{A X \cdot A Y} \cdot X Y$
$X Y = \frac{A B \cdot A C}{A X^{⋆} \cdot A Y^{⋆}} \cdot X^{⋆} Y^{⋆}$

分数の部分は対称性でうまく消えてくれる場合があります．

使用例

　反転共役が刺さる例を $5$ つ紹介します．
反転共役を扱った記事を既に $2$ つ書いているので，まずはそれらを紹介します．

過去の記事

トレミーの定理

円 $Γ$ 上の(凸)四角形 $A B C D$ について、
$A B \cdot C D + B C \cdot D A = A C \cdot B D$
トレミーの定理

　どれかの頂点で反転共役すれば示せます．
　詳しい証明は，トレミーの定理の有名な証明で出てくる等角共役線が反転共役由来だと主張する記事を参照してください．

混線内接円

辺 $A B, A C$ と円 $Γ$ に接する円を $Ω_{A}$ とおく．(この円は「 $△ A B C$ の( $∠ A$ 内の)混線内接円」と呼ばれるものである)

このとき， ${Ω_{A}}^{⋆}$ は $△ A B C$ の $A$ -傍接円である．

$Γ^{⋆}$ は直線 $B C$ であるから， ${Ω_{A}}^{⋆}$ は直線 $A C, A B, B C$ に接する円である．
$Ω_{A}$ は $∠ B A C$ の内側に位置し，反転と鏡映でこれは変わらない．
$Ω_{A}$ は $Γ$ に関して無限遠点の逆側に存在するから， ${Ω_{A}}^{⋆}$ は直線 $B C$ に関して点 $A$ の逆側に存在する．
したがって， ${Ω_{A}}^{⋆}$ は $△ A B C$ の $∠ A$ 内の傍接円．

　混線内接円は，円に接する円として定義されているので，(狭義の)初等幾何で扱いにくそうですが，反転共役をすると格段にやりやすくなることがわかります．
　実際にどんなことをできるかは，混線内接円の記事に詳しく書いています．

等角共役線

　反転共役により，点 $A$ を通る直線は，その等角共役線にうつるのでした．(補題2)
この性質，等角共役線に刺さると思いませんか？
刺さると思うので検証します！

有名事実

直線 $B C$ 上に点 $P$ を任意にとる．直線 $A P$ の等角共役線と直線 $B C$ の交点を $Q$ とおく．
このとき， $\frac{B P}{P C} \cdot \frac{B Q}{Q C} = {(\frac{A B}{A C})}^{2}$

等角共役線

直線 $A P, B C$ の交点 $P$ の反転共役 $P^{⋆}$ は，直線 $A Q$ と円 $Γ$ の交点である．
直線 $A Q, B C$ の交点 $Q$ の反転共役 $Q^{⋆}$ は，直線 $A P$ と円 $Γ$ の交点である．
距離の変換公式より，
$\begin{aligned} \frac{B P}{P C} \cdot \frac{B Q}{Q C} & = (\frac{A P^{⋆} \cdot A C^{⋆}}{A B^{⋆} \cdot A P^{⋆}} \cdot \frac{B^{⋆} P^{⋆}}{P^{⋆} C^{⋆}}) \cdot (\frac{A Q^{⋆} \cdot A C^{⋆}}{A B^{⋆} \cdot A Q^{⋆}} \cdot \frac{B^{⋆} Q^{⋆}}{Q^{⋆} C^{⋆}}) \\ = \frac{A B}{A C} \cdot \frac{C P^{⋆}}{P^{⋆} B} \cdot \frac{A B}{A C} \cdot \frac{C Q^{⋆}}{Q^{⋆} B} \end{aligned}$

ここで， $∡ B C Q^{⋆} = ∡ B A Q^{⋆} = ∡ P^{⋆} A C = ∡ P^{⋆} Q^{⋆} C$ より，四角形 $B C P^{⋆} Q^{⋆}$ は台形で，共円性より特に等脚台形であるから， $C P^{⋆} = Q^{⋆} B, C Q^{⋆} = P^{⋆} B$
したがって， $\frac{B P}{P C} \cdot \frac{B Q}{Q C} = \frac{A B}{A C} \cdot \frac{A B}{A C}$ である．
等角共役線(反転共役後)

　刺さりました．勝ちです！(?)
別の例も見てみましょう．

角の二等分線

　定理7で， $P = Q$ としてみます．

$∠ B A C$ の二等分線と直線 $B C$ の交点を $D$ とおくと，
$\frac{B D}{D C} = \frac{A B}{A C}$

角の二等分線

オーバーキル…

定理7より， $\frac{B D}{D C} \cdot \frac{B D}{D C} = \frac{A B}{A C} \cdot \frac{A B}{A C}$
よって，( $0 <$ ) $\frac{B D}{D C} = \frac{A B}{A C}$

　角の二等分線は，「自分自身と等角共役になる直線」と捉えられるので，反転共役で扱えそうです．
角の二等分線絡みの定理をもう一つやってみましょう．

角の二等分線の長さ

$∠ B A C$ の二等分線と直線 $B C$ の交点を $D$ とおくと，
$A D^{2} = A B \cdot A C - B D \cdot D C$

$A D^{2} = A D (A D^{⋆} - A D^{⋆}) = A D \cdot A D^{⋆} - A D \cdot D D^{⋆} = A B \cdot A C - B D \cdot D C$

角の二等分線(反転共役後)

symmedian

　等角共役線といえばやっぱりsymmedianですよね．

symmedian

$B, C$ における $Γ$ の接線をそれぞれ $s_{B}, s_{C}$ とおく． $s_{B}, s_{C}$ の交点を $D$ とすると， $A D$ は $△ A B C$ の $A$ -symmedianである．

symmedian

$s_{B}$ は $B$ で $Γ$ に接する直線であるから， ${s_{B}}^{⋆}$ は $C$ で直線 $B C$ に接し， $A$ を通る円である．
$s_{C}$ は $C$ で $Γ$ に接する直線であるから， ${s_{C}}^{⋆}$ は $B$ で直線 $B C$ に接し， $A$ を通る円である．
この $2$ 円の交点のうち， $A$ でない方が $D^{⋆}$ である．
$A D^{⋆}$ と線分 $B C$ の交点を $M$ とおくと，方べきの定理より，
$M B^{2} = M D^{⋆} \cdot M A = M C^{2}$
したがって， $M$ は $B C$ の中点であるから， $A D^{⋆}$ は $△ A B C$ の $A$ に関する中線で，その等角共役線 $A D$ は， $△ A B C$ の $A$ -symmedianである．