4
柔軟に解く図形問題 〜哲学の深淵にピザは宿る〜
480
0
$$$$
本記事では
匿
の自作問題のひとつを紹介する。様々な要素を1題に凝縮したオムニバスな問題であるため、解説を見る前に、どうか暫く考えてもらいたい。
なお、本記事の副題である『哲学の深淵にピザは宿る』に深い意味は無く、ただ Twitter で「タイトルに使えそうな単語」を募集した結果集まったものを抽選して組み合わせただけである。
他にも「煩悩」・「カルボナーラ」・「筋肉」などの秀逸な案を紹介してもらった。この場を借りて感謝を申し上げる。
なお、本記事の副題である『哲学の深淵にピザは宿る』に深い意味は無く、ただ Twitter で「タイトルに使えそうな単語」を募集した結果集まったものを抽選して組み合わせただけである。
他にも「煩悩」・「カルボナーラ」・「筋肉」などの秀逸な案を紹介してもらった。この場を借りて感謝を申し上げる。
問題
$\triangle ABC$において、傍心を$J$、傍接円を$\omega$とし、$\omega$と$BC$の接点を$D$とする。
線分$AD$の四等分点を点$A$に近い順で$P,Q,R$と、$AD$と垂直な$\omega$の直径の両端を直線$AB$に近い順で$E,F$と、それぞれ名付ける。
$DE$と$FQ$の交点を$K$、$BQ$と$KR$の交点を$L$としたとき、直線$JL$上に線分$BK$の中点$M$が存在することを示せ。
線分$AD$の四等分点を点$A$に近い順で$P,Q,R$と、$AD$と垂直な$\omega$の直径の両端を直線$AB$に近い順で$E,F$と、それぞれ名付ける。
$DE$と$FQ$の交点を$K$、$BQ$と$KR$の交点を$L$としたとき、直線$JL$上に線分$BK$の中点$M$が存在することを示せ。
余談だが、問題を解く際に$AB=5,BC=6,CA=7$として作図すると綺麗な図を描ける。
解説
円$c$の外部の点$P$から$c$に接線を引き、接線と$c$の接点を$T_1,T_2$とする。点$P$を通り$c$と2回交わる直線$l$について、$l$と$c$の交点を点$P$に近い順で$I_1,I_2$、$l$と$T_1 T_2$の交点を$T$としたとき、$$
PI_1 : I_1 T = PI_2 : I_2 T
$$が成立する。(このような性質が成り立つとき、$\{P,I_1,T,I_2\}$は調和点列であるという。)
補題1で与えた図に関して、線分$I_1 I_2$の中点を$M$としたとき、$$
I_1 M^2 = I_2 M^2 = PM \times TM
$$が成立する。
補題の確認が済んだところで、手を動かしてみよう。問題文に即して図を描くと、図1左側のようになる。
カラーバリアフリーを意識して色彩を選んだ割には意外と見づらい
登場する点の個数が多いため、点$K,L,M$は一旦無視の方向で検討する。代わりに、$AB$と$\omega$の接点を$S$とし、$D$と$S$を結ぶ。$B$から引いた$AD$の平行線に対して、これと$\omega$の交点を点$B$に近い順で$X,Z$とし、また$DS$との交点を$Y$とする。
ここまでを図に反映すると、図1右側のようになる。
$AS=s,AD=d$として、$BX:BZ$を計算しよう。($AS=AB+BD>AD$より$s>d$であることに注意せよ。)
$AD\parallel BZ$より$BS:BY=s:d$、方べきの定理より$BS^2=BX \times BZ$であるから$$ BY=\frac{d}{s}BS=\frac{d}{s}\sqrt{BX\times BZ} \,\,\,\cdots (1) $$ $BD,BS$は$\omega$の接線であるため、補題1より$$ \begin{align} BX:XY &= BZ:ZY \\ BX\times (BZ-BY) &= (BY-BX)\times BZ \\ BY &= \frac{2BX\times BZ}{BX+BZ} \,\,\,\cdots(2) \end{align} $$ $r=\sqrt{s^2-d^2}>0$として$(1),(2)$を比較すると$$ \begin{align} \frac{d}{s}\sqrt{BX\times BZ} &= \frac{2BX\times BZ}{BX+BZ} \\ \frac{d^2}{s^2} &= \frac{4BX\times BZ}{(BX+BZ)^2} \\ d^2 BX^2 - 2\left( 2s^2- d^2 \right)BX\times BZ + d^2 BZ^2 &= 0 \\ \left( (s-r)BX-(s+r)BZ \right) \left( (s+r)BX-(s-r)BZ \right) &= 0 \\ \frac{BX}{BZ} &= \frac{s+r}{s-r}, \frac{s-r}{s+r} \end{align} $$が判り、$BX< BZ$から$BX:BZ=(s-r):(s+r)$と導かれる。$\,\,\,\cdots(3)$
2点$B,X$の直線$EF$からの距離の比について考える。これは$BZ$と$EF$の交点を$W$としたとき、$BW:XW$を考えることと同義である。
先の議論で$BX:BZ=(s-r):(s+r)$を得たため、$W$が線分$XZ$の中点であることに注意すると$$ BW:XW = \frac{BX+BZ}{2}:\frac{BZ-BX}{2} = s:r $$と求められる。即ち、2点$B,X$の$EF$からの距離の比も$s:r$である。
この事実は、「$\omega$を$BZ$方向に$\displaystyle \frac{s}{r}$倍に拡大して得られる楕円$e_1$」の周上に点$B$が存在することを示している。さらに、全く同様の手法で、点$C$も$e_1$の周上に存在することが証明できる。
ここまでの議論を図に反映すると、図2左側のようになる。
ここまでを図に反映すると、図1右側のようになる。
$AS=s,AD=d$として、$BX:BZ$を計算しよう。($AS=AB+BD>AD$より$s>d$であることに注意せよ。)
$AD\parallel BZ$より$BS:BY=s:d$、方べきの定理より$BS^2=BX \times BZ$であるから$$ BY=\frac{d}{s}BS=\frac{d}{s}\sqrt{BX\times BZ} \,\,\,\cdots (1) $$ $BD,BS$は$\omega$の接線であるため、補題1より$$ \begin{align} BX:XY &= BZ:ZY \\ BX\times (BZ-BY) &= (BY-BX)\times BZ \\ BY &= \frac{2BX\times BZ}{BX+BZ} \,\,\,\cdots(2) \end{align} $$ $r=\sqrt{s^2-d^2}>0$として$(1),(2)$を比較すると$$ \begin{align} \frac{d}{s}\sqrt{BX\times BZ} &= \frac{2BX\times BZ}{BX+BZ} \\ \frac{d^2}{s^2} &= \frac{4BX\times BZ}{(BX+BZ)^2} \\ d^2 BX^2 - 2\left( 2s^2- d^2 \right)BX\times BZ + d^2 BZ^2 &= 0 \\ \left( (s-r)BX-(s+r)BZ \right) \left( (s+r)BX-(s-r)BZ \right) &= 0 \\ \frac{BX}{BZ} &= \frac{s+r}{s-r}, \frac{s-r}{s+r} \end{align} $$が判り、$BX< BZ$から$BX:BZ=(s-r):(s+r)$と導かれる。$\,\,\,\cdots(3)$
2点$B,X$の直線$EF$からの距離の比について考える。これは$BZ$と$EF$の交点を$W$としたとき、$BW:XW$を考えることと同義である。
先の議論で$BX:BZ=(s-r):(s+r)$を得たため、$W$が線分$XZ$の中点であることに注意すると$$ BW:XW = \frac{BX+BZ}{2}:\frac{BZ-BX}{2} = s:r $$と求められる。即ち、2点$B,X$の$EF$からの距離の比も$s:r$である。
この事実は、「$\omega$を$BZ$方向に$\displaystyle \frac{s}{r}$倍に拡大して得られる楕円$e_1$」の周上に点$B$が存在することを示している。さらに、全く同様の手法で、点$C$も$e_1$の周上に存在することが証明できる。
ここまでの議論を図に反映すると、図2左側のようになる。
作図段階で楕円のサイズを想定していなかったことが分かる貴重な画像
これ以降、5点$S,W,X,Y,Z$は一切登場しない。
2点$A,D$を焦点とし、点$B$を通る楕円$e_2$を描く。このとき、傍接円の性質から$AB+BD=AC+CD$が判るので、点$C$も$e_2$の周上に存在する(楕円は2焦点からの距離の和が一定となる点の軌跡である)。
また、楕円のもつ有名な性質として『ある焦点から放出された光線は、楕円の周で反射してもう一方の焦点に到達する』(証明は 高校数学の美しい物語 - 楕円の反射定理とその証明 を参照されたい)というものがある。この性質から、点$B$における$e_2$の接線は「$\angle ABD$の外角の二等分線」と一致する、と言える。敢えて記すまでもないが、それは直線$BJ$のことである。よって、$BJ$は点$B$で楕円$e_2$に接する。同様に、$CJ$は点$C$で$e_2$に接する。
以上を図に反映すると、図2右側のようになる。
さて、図2右側に注目していただきたい。何となくではあるが、$e_1$と$e_2$の形がよく似ているように見えないだろうか。実際、この直感は正しく、$e_1$と$e_2$は相似である。拡大縮小と平行移動で重なるのだ。今からこれを証明する。と言っても、2つの楕円の長径が明らかに平行なので、長径と短径の比、要するに楕円の縦横比が一致することだけを確認すればよい。
$e_1$が円$\omega$を$BZ$方向に$\displaystyle \frac{s}{r}$倍に拡大して得られる楕円であったことを思い出すと、$e_1$の縦横比は$s:r$であることが判る。
$e_2$の長径は$AB+BD$の半分、即ち$\displaystyle \frac{s}{2}$である。また、$e_2$の焦点間距離は$\displaystyle \frac{d}{2}$であるため、三平方の定理を用いて$e_2$の短径を求めると$\displaystyle \frac{\sqrt{s^2-d^2}}{2}=\frac{r}{2}$となる。したがって、$e_2$の縦横比も$s:r$である。
ゆえに、$e_1$と$e_2$の縦横比は$s:r$であり、この2つの楕円の相似を確認できた。
いま、図には2つの楕円と1つの円が描かれている。加えて、2つの楕円は相似であった。
ここで、図全体を$BZ$方向に$\displaystyle \frac{r}{s}$倍に縮小してみよう。すると、縦横比が$s:r$であった2つの楕円$e_1,e_2$は円になる。元々円であった$\omega$は残念ながら楕円になってしまうが、扱える円の数が増えただけでも方針が立ちやすくなるはずであるかもしれないという噂をどこかで耳にしたことがあったりなかったりすると考えられる。
こうして縮小した図が図3左側である。以下、この縮小した図で考えていこう。(楕円と化してしまった$\omega$にもう用は無いため、少し存在感を薄くしてもらった。)
2点$A,D$を焦点とし、点$B$を通る楕円$e_2$を描く。このとき、傍接円の性質から$AB+BD=AC+CD$が判るので、点$C$も$e_2$の周上に存在する(楕円は2焦点からの距離の和が一定となる点の軌跡である)。
また、楕円のもつ有名な性質として『ある焦点から放出された光線は、楕円の周で反射してもう一方の焦点に到達する』(証明は 高校数学の美しい物語 - 楕円の反射定理とその証明 を参照されたい)というものがある。この性質から、点$B$における$e_2$の接線は「$\angle ABD$の外角の二等分線」と一致する、と言える。敢えて記すまでもないが、それは直線$BJ$のことである。よって、$BJ$は点$B$で楕円$e_2$に接する。同様に、$CJ$は点$C$で$e_2$に接する。
以上を図に反映すると、図2右側のようになる。
さて、図2右側に注目していただきたい。何となくではあるが、$e_1$と$e_2$の形がよく似ているように見えないだろうか。実際、この直感は正しく、$e_1$と$e_2$は相似である。拡大縮小と平行移動で重なるのだ。今からこれを証明する。と言っても、2つの楕円の長径が明らかに平行なので、長径と短径の比、要するに楕円の縦横比が一致することだけを確認すればよい。
$e_1$が円$\omega$を$BZ$方向に$\displaystyle \frac{s}{r}$倍に拡大して得られる楕円であったことを思い出すと、$e_1$の縦横比は$s:r$であることが判る。
$e_2$の長径は$AB+BD$の半分、即ち$\displaystyle \frac{s}{2}$である。また、$e_2$の焦点間距離は$\displaystyle \frac{d}{2}$であるため、三平方の定理を用いて$e_2$の短径を求めると$\displaystyle \frac{\sqrt{s^2-d^2}}{2}=\frac{r}{2}$となる。したがって、$e_2$の縦横比も$s:r$である。
ゆえに、$e_1$と$e_2$の縦横比は$s:r$であり、この2つの楕円の相似を確認できた。
いま、図には2つの楕円と1つの円が描かれている。加えて、2つの楕円は相似であった。
ここで、図全体を$BZ$方向に$\displaystyle \frac{r}{s}$倍に縮小してみよう。すると、縦横比が$s:r$であった2つの楕円$e_1,e_2$は円になる。元々円であった$\omega$は残念ながら楕円になってしまうが、扱える円の数が増えただけでも方針が立ちやすくなるはずであるかもしれないという噂をどこかで耳にしたことがあったりなかったりすると考えられる。
こうして縮小した図が図3左側である。以下、この縮小した図で考えていこう。(楕円と化してしまった$\omega$にもう用は無いため、少し存在感を薄くしてもらった。)
![もはや点Jは!FORMULA[138][1896340866][0]の傍心と呼べなくなってしまった……](https://firebasestorage.googleapis.com/v0/b/mathlog-361213.appspot.com/o/uploads%2Fmathdown%2F20210911173217.jpg?alt=media)
もはや点Jは$\triangle ABC$の傍心と呼べなくなってしまった……
図を縮小しても接するか否かの関係は変化しないので、$BJ,CJ$が円$e_2$(図の縮小によって円になったことを強調しておく)の接線となっていることも不変である。点$Q$は円$e_2$の中心であるから、$\displaystyle \angle QBJ=\angle QCJ=90^{\circ}$を得る(これは図3左側における角度である)。よって、点$J$は円$e_1$の中心であることを踏まえると、$BQ,CQ$は$e_1$に接していると判明する。その接点は当然$B,C$である。
こんなことを示して何になるのか、と訝る読者も居ることだろう。しかし安心してほしい、この性質もしっかり使う。すぐ後の議論と、証明の終盤で。「まだ終盤に入らないのか」という意見は聞かなかったことにする。
$AD$と$EF$の交点を$V$とする。$BQ,CQ$は$e_1$の接線であったため、補題2から$$ BV^2 = CV^2 = DV\times QV $$が成立する。
方べきの定理を用いた簡単な計算により$DV\times QV = EV\times FV$が従うので、$\displaystyle \angle EQF+\angle EDF =180^{\circ}$と言える。直線$QD$が$EF$に対する垂線であったことに鑑みると、点$D$は$\triangle QEF$の垂心と導かれる。よって、直線$DE$は頂点$E$から辺$FQ$に下ろした垂線であり、その足となる点$K$は明らかに円$e_1$上に存在する。同様に、$DF$と$EQ$の交点$K'$もまた$e_1$上に存在する。
ここまでの議論を図に反映すると、図3右側のようになる。やっと点$K$が登場した。
$\triangle DKQ$は$\displaystyle \angle DKQ=90^{\circ}$の直角三角形であるから、線分$DQ$の中点$R$について$\angle DKR=\angle KDR$が成り立っている。また、$\displaystyle \angle DKF=\angle DVF=90^{\circ}$より四角形$DKFV$は円に内接するので、$\angle KDR=\angle KFV$も確かめられる。
以上より$\angle DKR=\angle KFV=\angle EFK$となり、接弦定理の逆から$KR$は点$K$で$e_1$に接する。同様に、$K'R$は点$K'$で$e_1$に接する。
このことを図に反映すると、図4左側のようになる。
こんなことを示して何になるのか、と訝る読者も居ることだろう。しかし安心してほしい、この性質もしっかり使う。すぐ後の議論と、証明の終盤で。「まだ終盤に入らないのか」という意見は聞かなかったことにする。
$AD$と$EF$の交点を$V$とする。$BQ,CQ$は$e_1$の接線であったため、補題2から$$ BV^2 = CV^2 = DV\times QV $$が成立する。
方べきの定理を用いた簡単な計算により$DV\times QV = EV\times FV$が従うので、$\displaystyle \angle EQF+\angle EDF =180^{\circ}$と言える。直線$QD$が$EF$に対する垂線であったことに鑑みると、点$D$は$\triangle QEF$の垂心と導かれる。よって、直線$DE$は頂点$E$から辺$FQ$に下ろした垂線であり、その足となる点$K$は明らかに円$e_1$上に存在する。同様に、$DF$と$EQ$の交点$K'$もまた$e_1$上に存在する。
ここまでの議論を図に反映すると、図3右側のようになる。やっと点$K$が登場した。
$\triangle DKQ$は$\displaystyle \angle DKQ=90^{\circ}$の直角三角形であるから、線分$DQ$の中点$R$について$\angle DKR=\angle KDR$が成り立っている。また、$\displaystyle \angle DKF=\angle DVF=90^{\circ}$より四角形$DKFV$は円に内接するので、$\angle KDR=\angle KFV$も確かめられる。
以上より$\angle DKR=\angle KFV=\angle EFK$となり、接弦定理の逆から$KR$は点$K$で$e_1$に接する。同様に、$K'R$は点$K'$で$e_1$に接する。
このことを図に反映すると、図4左側のようになる。
「爪のピンク色の部分の先端付近に存在する少し白っぽい線」の正式名称はOnychodermal Bandらしい
歓喜せよ、ついに終盤である。今までの長々と続けてきた議論の中で、本問の根幹に関わる性質は以下の2つ。
・$BQ$は点$B$で$e_1$に接している
・$KR$は点$K$で$e_1$に接している
さて、点$L$と点$M$を登場させよう。$L$とはどのような点であったか。そう、$BQ$と$KR$の交点だ。ということは、$e_1$に引いた2本の接線の交点なのだ。$BL=KL$という関係は明らかであろう。$M$は$BK$の中点だ。これらを図に反映させ、不要な点や線を取り除くと、図4右側のようになる。
これを自明と呼ばずして何と呼ぼうか。念のため、仕上げの過程を記述するが、既に理解できている人は読み飛ばしても構わない。
$BJ=KJ,JL=JL$から、三辺相等のため$\triangle BJL \equiv \triangle KJL$が判る。それゆえ、$B$と$K$は直線$JL$に関して対称な点である。対称な点どうしを結んだ線分の中点は明らかに対称軸に乗るので、点$M$は直線$JL$上に存在する。
図の圧縮によって共線の関係は不変であるため、元の問題図においても点$M$は直線$JL$上に存在すると証明できた。 $\blacksquare$
・$BQ$は点$B$で$e_1$に接している
・$KR$は点$K$で$e_1$に接している
さて、点$L$と点$M$を登場させよう。$L$とはどのような点であったか。そう、$BQ$と$KR$の交点だ。ということは、$e_1$に引いた2本の接線の交点なのだ。$BL=KL$という関係は明らかであろう。$M$は$BK$の中点だ。これらを図に反映させ、不要な点や線を取り除くと、図4右側のようになる。
これを自明と呼ばずして何と呼ぼうか。念のため、仕上げの過程を記述するが、既に理解できている人は読み飛ばしても構わない。
$BJ=KJ,JL=JL$から、三辺相等のため$\triangle BJL \equiv \triangle KJL$が判る。それゆえ、$B$と$K$は直線$JL$に関して対称な点である。対称な点どうしを結んだ線分の中点は明らかに対称軸に乗るので、点$M$は直線$JL$上に存在する。
図の圧縮によって共線の関係は不変であるため、元の問題図においても点$M$は直線$JL$上に存在すると証明できた。 $\blacksquare$
あとがき
個人的には中々の難問に仕上がったと思うのだが、如何だっただろうか。
「図形的考察なんて断固拒否、私は座標で挑む」という方が居たならば、今頃は点$L$の座標(この括弧内に記すつもりだったものの式が長すぎたため頓挫)を求めようとして灰燼に帰しているところだと思われるので、謹んで合掌を送る。
なお、$(3)$で$BX:BZ$を求められることは匿自身が提示した性質だが、その手順は立見鶏( Twitter )氏によって発見されたものである。彼の貢献が無ければ、このステップにおいて煩雑な計算を要したであろう。
本問の解説で用いた種々の手法は、いずれも先行研究を見つけられなかったものである。例えば、2点$B,C$が楕円$e_1,e_2$上に存在し、それら2つの楕円が相似であること、それから$BQ,CQ,KR,K'R$が$e_1$の、$BJ,CJ$が$e_2$の接線になること。これらは非常に有用な性質であり、これらを利用して様々な問題を作ることも容易い。
正直なところ、私は私自身がこれらの性質の第一発見者であるとは考えていない。なぜならば、性質がシンプルである上に、十分な汎用性も備えているからだ。事実、本問のように複雑な構図を煩雑な計算なしで示すことができた。
読者の中で、もし先行研究をご存知の方が居たら、是非コメントでご教示ねがいたい。
最後に、本問の類題を紹介して記事を締めくくる。傍心が内心に変わっただけだが、はたしてどのように解けるだろうか。
以下の類題を証明できた方も、その報告(もしくは解答)をコメントまたは Twitter のDMでお待ちしている。
「図形的考察なんて断固拒否、私は座標で挑む」という方が居たならば、今頃は点$L$の座標(この括弧内に記すつもりだったものの式が長すぎたため頓挫)を求めようとして灰燼に帰しているところだと思われるので、謹んで合掌を送る。
なお、$(3)$で$BX:BZ$を求められることは匿自身が提示した性質だが、その手順は立見鶏( Twitter )氏によって発見されたものである。彼の貢献が無ければ、このステップにおいて煩雑な計算を要したであろう。
本問の解説で用いた種々の手法は、いずれも先行研究を見つけられなかったものである。例えば、2点$B,C$が楕円$e_1,e_2$上に存在し、それら2つの楕円が相似であること、それから$BQ,CQ,KR,K'R$が$e_1$の、$BJ,CJ$が$e_2$の接線になること。これらは非常に有用な性質であり、これらを利用して様々な問題を作ることも容易い。
正直なところ、私は私自身がこれらの性質の第一発見者であるとは考えていない。なぜならば、性質がシンプルである上に、十分な汎用性も備えているからだ。事実、本問のように複雑な構図を煩雑な計算なしで示すことができた。
読者の中で、もし先行研究をご存知の方が居たら、是非コメントでご教示ねがいたい。
最後に、本問の類題を紹介して記事を締めくくる。傍心が内心に変わっただけだが、はたしてどのように解けるだろうか。
以下の類題を証明できた方も、その報告(もしくは解答)をコメントまたは Twitter のDMでお待ちしている。
$\triangle ABC$において、内心を$I$、内接円を$\omega$とし、$\omega$と$BC$の接点を$D$とする。
線分$AD$の四等分点を点$A$に近い順で$P,Q,R$と、$AD$と垂直な$\omega$の直径の両端を直線$AB$に近い順で$E,F$と、それぞれ名付ける。
$DE$と$FQ$の交点を$K$、$BQ$と$KR$の交点を$L$としたとき、直線$IL$上に線分$BK$の中点$M$が存在することを示せ。
線分$AD$の四等分点を点$A$に近い順で$P,Q,R$と、$AD$と垂直な$\omega$の直径の両端を直線$AB$に近い順で$E,F$と、それぞれ名付ける。
$DE$と$FQ$の交点を$K$、$BQ$と$KR$の交点を$L$としたとき、直線$IL$上に線分$BK$の中点$M$が存在することを示せ。
そこ、「類題のほうが綺麗じゃん」とか言わない
参考文献
投稿日：2021年9月25日
この記事を高評価した人
この記事を高評価した人
高評価したユーザはいません
この記事に送られたバッジ
この記事に送られたバッジ
バッジはありません。
投稿者
投稿者
コメント
コメント
他の人のコメント
コメントはありません。
読み込み中...
読み込み中