[logo] Web連載「数学ガールの秘密ノート」
Share

第431回 シーズン44 エピソード1
メネラウスの定理(前編) ただいま無料

$ \newcommand{\TEXT}[1]{\textbf{#1}} \newcommand{\REMTEXT}[1]{\textbf{#1}} \definecolor{CUD-GREEN}{rgb}{0.012,0.686,0.478}% 3,175,122 \newcommand{\MARK}[1]{\textcolor{red}{#1}} \newcommand{\MARKA}[1]{\textcolor{red}{#1}} \newcommand{\MARKB}[1]{\textcolor{blue}{#1}} \newcommand{\MARKC}[1]{\textcolor{CUD-GREEN}{#1}} \newcommand{\GEQ}{\geqq} \newcommand{\LEQ}{\leqq} \newcommand{\NEQ}{\neq} \newcommand{\FOCUS}[1]{\fbox{ $#1$ }} \newcommand{\REDFOCUS}[1]{\textcolor{red}{#1}} \newcommand{\GREENFOCUS}[1]{\textcolor{CUD-GREEN}{#1}} \newcommand{\BLUEFOCUS}[1]{\textcolor{blue}{#1}} \newcommand{\BROWNFOCUS}[1]{\textcolor{brown}{#1}} \newcommand{\REDHEART}{\REDFOCUS{\heartsuit}} \newcommand{\REDTEXT}[1]{\textcolor{red}{#1}} \newcommand{\GREENTEXT}[1]{\textcolor{CUD-GREEN}{#1}} \newcommand{\BLUETEXT}[1]{\textcolor{blue}{#1}} \newcommand{\ABS}[1]{|#1|} \newcommand{\PHANTOMEQ}{\phantom{{}={}}} \newcommand{\SQRT}[1]{\sqrt{#1}} \newcommand{\PS}[1]{\left(#1\right)} \newcommand{\SGN}{\textrm{sgn}} \newcommand{\DOTNAME}[1]{\quad\cdots(#1)} \newcommand{\BAR}[1]{\overline{#1}} \newcommand{\TRIANGLE}{\triangle} \newcommand{\TT}[1]{\textrm{#1}} \newcommand{\TTred}[1]{\textcolor{red}{\textrm{#1}}} \newcommand{\TTblue}[1]{\textcolor{blue}{\textrm{#1}}} \newcommand{\ANGLE}[1]{\angle\textrm{#1}} \newcommand{\TRI}[1]{\triangle\textrm{#1}} $

登場人物紹介

:数学が好きな高校生。

ユーリのいとこの中学生。 のことを《お兄ちゃん》と呼ぶ。 論理的な話は好きだが飽きっぽい。

僕の部屋

ユーリ「お兄ちゃん! この問題、解ける?」

問題

平面上に三角形 $\TT{ABC}$ がある。

また図のように、 辺 $\TT{BC}$ と辺 $\TT{CA}$ に交わる直線 $\TT{L}$ がある。

  • 直線 $\TT{AB}$ と直線 $\TT{L}$ の交点を $\TT{P}$ とする。
  • 辺 $\TT{BC}$ と直線 $\TT{L}$ の交点を $\TT{Q}$ とする。
  • 辺 $\TT{CA}$ と直線 $\TT{L}$ の交点を $\TT{R}$ とする。

このとき、

$$ \frac{\TT{AP}}{\TT{PB}} \times \frac{\TT{BQ}}{\TT{QC}} \times \frac{\TT{CR}}{\TT{RA}} $$

の値を求めよ。

※この式で、たとえば「$\TT{AP}$」は「線分 $\TT{AP}$ の長さ」を表しているものとします。 また「線分 $\TT{AP}$ の長さ」は「$\BAR{\TT{AP}}$」のように上線を付けて表すこともあります。

「今シーズンのユーリはやって来るなり、いきなりの問題かい」

ユーリ「いきなりのメタ発言自重! ちゃんと考えて解いてよ!」

「はいはい……っと。 問題の式に出てきた $$ \frac{\TT{AP}}{\TT{PB}} \times \frac{\TT{BQ}}{\TT{QC}} \times \frac{\TT{CR}}{\TT{RA}} $$ をよく見ると、 ここには二本の線分が三組出てくる。 そして、組ごとに長さの比を求めて、すべて掛け合わせている。 三組というのはつまり、 $$ \begin{array}{ccc} \TT{AP} &\quad\textrm{と}\quad & \TT{PB} \\ \TT{BQ} &\quad\textrm{と}\quad & \TT{QC} \\ \TT{CR} &\quad\textrm{と}\quad & \TT{RA} \end{array} $$ だね。 図と式とを照らし合わせながら、点を順番に追っていく。

  • $\TT{A}\to\TT{P}$ と大きく横っ飛びして、 $\TT{P}\to\TT{B}$ と戻ってくる。
  • $\TT{B}\to\TT{Q}$ と上って、 $\TT{Q}\to\TT{C}$ とさらに上る。
  • $\TT{C}\to\TT{R}$ と下がってきて、 $\TT{R}\to\TT{A}$ とさらに下がる。
これでひとめぐり」

図と式とを照らし合わせながら、点を順番に追っていく

ユーリ「上がり下がり?」

「上がるか下がるかは大事じゃなくて、 頂点と交点を交互にたどっていくところが大事だね。

  • 三角形の頂点は $\TTred{A}$ と $\TTred{B}$ と $\TTred{C}$
  • 交点は $\TTblue{P}$ と $\TTblue{Q}$ と $\TTblue{R}$
だから、 $$ \frac{\TTred{A}\TTblue{P}}{\TTblue{P}\TTred{B}} \times \frac{\TTred{B}\TTblue{Q}}{\TTblue{Q}\TTred{C}} \times \frac{\TTred{C}\TTblue{R}}{\TTblue{R}\TTred{A}} $$ のように規則正しくたどっている。 分数をスラッシュ($/$)を使って書けば、 もっとはっきりするかな。 $$ (\TTred{A}\TTblue{P}/\TTblue{P}\TTred{B}) \times (\TTred{B}\TTblue{Q}/\TTblue{Q}\TTred{C}) \times (\TTred{C}\TTblue{R}/\TTblue{R}\TTred{A}) $$ だね」

ユーリ「ふむふむ。頂点と交点がかわりばんこ」

「もちろんこれはメネラウスの定理を使うところだ!  このとき、 三組の長さの比をすべて掛けると $1$ に等しくなるというのがメネラウスの定理だから、 $1$ が答えになるね。 メネラウスの定理を使えば一発だ。なつかしいなあ……」

解答

メネラウスの定理より、

$$ \frac{\TT{AP}}{\TT{PB}} \times \frac{\TT{BQ}}{\TT{QC}} \times \frac{\TT{CR}}{\TT{RA}} = 1 $$ である。

ユーリ「はい、正解! エピソード1は、これでおしまい。では次回のエピソード2をお楽しみに——」

「メタ発言自重!」

ユーリ「あのね、真面目にやろうよ。お兄ちゃん」

「真面目に解いたよ。メネラウスの定理。答えは $1$ で正解だろ?」

ユーリ「うん、正解は正解。 でも、それってメネラウスの定理を知ってたからだよね? そーじゃなくて、 やっぱりお兄ちゃんには、メネラウスの定理を証明してほしーなー」

「なるほど……メネラウスの定理の証明か。 すっかり忘れているけど、 考えればわかりそう。 うまい補助線が引ければ証明できるかな」

ユーリ「ちっちっち。そりゃ反対だよね」

「何が反対?」

ユーリ「《うまい補助線が引ければ証明ができる》んじゃなくて、 《証明ができるような補助線がうまい補助線》なんだよねー」

「ううっ……い、いや、だとしてもだよ。 うまい補助線が引ければ証明できるのは確かじゃないか」

ユーリ「そういうヘリクツはさておき、早く考えたまえ」

「はあ……(ためいき)」

こんなふうにして、ユーリのメネラウスの定理をめぐる数学トークが始まった。

【CM】

テトラ「三角形の合同や図形の証明については、 『数学ガールの秘密ノート/図形と証明もご覧くださいっ!」

メネラウスの定理

ユーリ「こーゆーとき、お兄ちゃんは何から考えるの?」

「そりゃもちろん、メネラウスの定理のステートメントを確認するところから」

ユーリすてーとめんと・・・・・・・ってなに?」

「定理のステートメントstatementっていうのは、 その定理が主張している内容のこと。 たいていの定理は『こういう条件ではこういうことが成り立つ』という数学的主張をしているわけだけど、 定理の証明をする前には、その定理が主張している内容を確認する必要がある」

ユーリ「内容を確認する……そんなの、あたりまえでは」

「うん、そうだね。あたりまえのことをきちんとやるのは大切。 だから、メネラウスの定理のステートメントを確認する。 証明を考えるのはその後」

メネラウスの定理

平面上に三角形 $\TT{ABC}$ がある。

また図のように、 辺 $\TT{BC}$ と辺 $\TT{CA}$ に交わる直線 $\TT{L}$ がある。

  • 直線 $\TT{AB}$ と直線 $\TT{L}$ の交点を $\TT{P}$ とする。
  • 辺 $\TT{BC}$ と直線 $\TT{L}$ の交点を $\TT{Q}$ とする。
  • 辺 $\TT{CA}$ と直線 $\TT{L}$ の交点を $\TT{R}$ とする。

このとき、

$$ \frac{\TT{AP}}{\TT{PB}} \times \frac{\TT{BQ}}{\TT{QC}} \times \frac{\TT{CR}}{\TT{RA}} = 1 $$

が成り立つ。

ユーリ「それで、次は?」

「そうだなあ……ところで、ユーリは証明を知ってるの?」

ユーリ「カンニングするつもり?」

「そういうことじゃないよ」

ユーリ「一応、知ってる。ほら、お兄ちゃんがわからないときに教えてあげよーと思ってさ」

「それはそれは」

ユーリ「で、次は何を考えるの?」

どんな補助線を考える?

「うん。 メネラウスの定理を証明するために 補助線を考えたい。 図の中にうまく補助線を引くんだ。そして、その補助線は、 相似そうじな三角形を作るものになると思うね」

ユーリ「とつぜん、野生のお兄ちゃんが鋭いひらめきを見せた!」

「何だそりゃ」

ユーリ「……あのさー、お兄ちゃんって、証明覚えていないって言ってたのにさー、 何で、そーゆーのパパッと思いつくわけ?」

「メネラウスの定理のステートメントに出てきた、 $$ \frac{\TT{AP}}{\TT{PB}} \times \frac{\TT{BQ}}{\TT{QC}} \times \frac{\TT{CR}}{\TT{RA}} = 1 $$ という式からの想像だよ」

ユーリ「へっ? 式からの想像?」

「この式には、たとえば $$ \frac{\TT{AP}}{\TT{PB}} $$ という分数が出てくる。 これは二つの線分 $\TT{AP}$ と $\TT{PB}$ の長さの比を考えていることになるよね」

ユーリ「ふむふむ。たとえば、 $$ \TT{AP}:\TT{PB} = 1:2 \quad\textrm{だったら}\quad \frac{\TT{AP}}{\TT{PB}} = \frac{1}{2} $$ とか?」

「そうだね。図形的に長さの比を考えるんだから、『相似な三角形が二つあったらいいなあ……』と思うわけだ。 だって、相似な二つの三角形が二つあったら、対応する辺の長さの比はすべて等しいからね。 だから、そのことをうまく使えば、 $$ \frac{\TT{AP}}{\TT{PB}} \quad\textrm{と}\quad \frac{\TT{BQ}}{\TT{QC}} \quad\textrm{と}\quad \frac{\TT{CR}}{\TT{RA}} $$ という三つの分数を、 うまいこと別の分数に置き換えられるんじゃないかと想像したんだよ」

ユーリ「にゃるほど。なかなかの名推理じゃな。 んじゃ、証明の最後まで見通しているわけじゃないということかの?」

「キャラおかしくなってるぞ。 もちろん、証明の最後まで見通しているわけじゃないよ。 そんなことはできないよ。 うまいこと別の分数に置き換えて、 うまいこと約分できれば、うまい具合に $1$ になるかもしれない——ぐらいは考えたけど」

ユーリ「うまいことが続けば、うまい具合に証明できるというのは、そうじゃのう……」

僕の補助線

「だから……うん、こんなふうに、 $\TT{A,B,C}$ の各頂点から直線 $L$ に垂線を下ろすのはどうだろう。 補助線を三本引いたことになる。 そして垂線の足をそれぞれ $\TT{A',B',C'}$ とする」

僕が描いた補助線

ユーリ「え、違う……」

「いや、これでいけるよ。ユーリが考えていた補助線とは違っているかもしれないけど、 これで証明までうまく行けるはず。 さっき考えた通り、相似な二つの三角形が三組できるから、 対応する辺の長さの比が等しいことがわかる。 これで、メネラウスの定理に出てきた式を、ぜんぶ $\TT{A'A}$ と $\TT{B'B}$ と $\TT{C'C}$ を使って表せるよ!」

$\TRI{APA'}$ と $\TRI{BPB'}$ は相似

$$ \frac{\TT{AP}}{\TT{BP}} = \frac{\TT{A'A}}{\TT{B'B}} $$

$\TRI{BQB'}$ と $\TRI{CQC'}$ は相似

$$ \frac{\TT{BQ}}{\TT{CQ}} = \frac{\TT{B'B}}{\TT{C'C}} $$

$\TRI{CRC'}$ と $\TRI{ARA'}$ は相似

$$ \frac{\TT{CR}}{\TT{AR}} = \frac{\TT{C'C}}{\TT{A'A}} $$

$$ \begin{align*} \frac{\TT{AP}}{\TT{PB}} \times \frac{\TT{BQ}}{\TT{QC}} \times \frac{\TT{CR}}{\TT{RA}} &= \frac{\TT{AP}}{\TT{BP}} \times \frac{\TT{BQ}}{\TT{CQ}} \times \frac{\TT{CR}}{\TT{AR}} && \REMTEXT{線分の両端を交換} \\ &= \frac{\TT{A'A}}{\TT{B'B}} \times \frac{\TT{B'B}}{\TT{C'C}} \times \frac{\TT{C'C}}{\TT{A'A}} && \REMTEXT{相似から} \\ &= 1 \end{align*} $$

ユーリ「お兄ちゃんが引いたこの補助線、ダウト!」

「え? 何かおかしいかな?」

ユーリのダウト

ユーリ「お兄ちゃんは $\TT{A}$ と $\TT{B}$ と $\TT{C}$ から直線 $\TT{L}$ に垂線を下ろしたけど、 もしも、辺 $\TT{CA}$ と直線 $\TT{L}$ が垂直だったらヤバいよ」

「辺 $\TT{CA}$ と直線 $L$ が垂直だったら——?」

ユーリ「$\TT{A'}$ と $\TT{C'}$ がどっちも $\TT{R}$ と重なるから、 三角形 $\TT{ARA'}$ と三角形 $\TT{CRC'}$ がつぶれちゃう!」

辺 $\TT{CA}$ と直線 $\TT{L}$ が垂直だったら、三角形 $\TT{ARA'}$ と三角形 $\TT{CRC'}$ が消えてしまう

$$ \textrm{↓ ↓ ↓} $$

「うっ、それは痛いな……」

ユーリのダウトにより、はしばらく図をにらんだ。

ユーリ「そろそろ、ユーリの補助線を見せたげようかにゃ?」

「いや、 辺 $\TT{CA}$ と直線 $L$ が垂直でも大丈夫だよ、ユーリ」

ユーリ「なんで? 三角形がつぶれちゃうのに?」

僕の打開策

「辺 $\TT{CA}$ と直線 $L$ が垂直なときは、 三角形 $\TT{ARA'}$ や三角形 $\TT{CRC'}$ を作る必要はないんだ。 点 $\TT{R}$ に対して $\TT{A'}$ と $\TT{C'}$ と名前をつけるだけで自動的に $$ \frac{\TT{CR}}{\TT{AR}} = \frac{\TT{C'C}}{\TT{A'A}} $$ が成り立つ」

ユーリ「何言ってるかわかんない」

「こういうことだよ。式の上ではまったく同じになる」

$\TRI{APA'}$ と $\TRI{BPB'}$ は相似

$$ \frac{\TT{AP}}{\TT{BP}} = \frac{\TT{A'A}}{\TT{B'B}} $$

$\TRI{BQB'}$ と $\TRI{CQC'}$ は相似

$$ \frac{\TT{BQ}}{\TT{CQ}} = \frac{\TT{B'B}}{\TT{C'C}} $$

点 $\TT{R}$ に対して $\TT{A'}$ と $\TT{C'}$ と名前をつけた

$$ \frac{\TT{CR}}{\TT{AR}} = \frac{\TT{C'C}}{\TT{A'A}} $$

$$ \begin{align*} \frac{\TT{AP}}{\TT{PB}} \times \frac{\TT{BQ}}{\TT{QC}} \times \frac{\TT{CR}}{\TT{RA}} &= \frac{\TT{AP}}{\TT{BP}} \times \frac{\TT{BQ}}{\TT{CQ}} \times \frac{\TT{CR}}{\TT{AR}} && \REMTEXT{線分の両端を交換} \\ &= \frac{\TT{A'A}}{\TT{B'B}} \times \frac{\TT{B'B}}{\TT{C'C}} \times \frac{\TT{C'C}}{\TT{A'A}} && \REMTEXT{相似から} \\ &= 1 \end{align*} $$

ユーリ「つぶれても、うまくいくんだ」

「うーん、でもユーリのダウトは的確だよ。 僕は考えが足りなかった。 きちんと証明を書くなら場合分けが必要になってしまう」

ユーリ「ふふん」

「ユーリはどんな補助線を引いたの? やっぱり相似を使うんじゃない?」

ユーリの補助線

ユーリ「そだね。相似を使う。 直線 $\TT{L}$ と平行で、点 $\TT{B}$ を通る直線を引いて、 辺 $\TT{CA}$ との交点を $\TT{D}$ とすると……」

ユーリが描いた補助線

「なるほど……この補助線だと、相似な三角形を二組作れるね」

$\TRI{APR}$ と $\TRI{ABD}$ は相似

$$ \frac{\TT{AP}}{\TT{PB}} = \frac{\TT{AR}}{\TT{RD}} $$

$\TRI{CRQ}$ と $\TRI{CDB}$ は相似

$$ \frac{\TT{BQ}}{\TT{QC}} = \frac{\TT{DR}}{\TT{RC}} $$

$$ \begin{align*} \frac{\TT{AP}}{\TT{PB}} \times \frac{\TT{BQ}}{\TT{QC}} \times \frac{\TT{CR}}{\TT{RA}} &= \frac{\TT{AP}}{\TT{PB}} \times \frac{\TT{BQ}}{\TT{QC}} \times \frac{\TT{RC}}{\TT{AR}} && \REMTEXT{線分の両端を交換} \\ &= \frac{\TT{AR}}{\TT{RD}} \times \frac{\TT{DR}}{\TT{RC}} \times \frac{\TT{RC}}{\TT{AR}} && \REMTEXT{相似から} \\ &= 1 \end{align*} $$

ユーリ「ねねね、ユーリの方が簡単でしょ?」

「そうだね。これはうまい補助線だね」

ユーリ「うまく見つけられれば、うまい補助線になる」

そこでは、あることに気付いた。

「ねえユーリ。気付いたことがある」

ユーリ「なになに? もっとうまい補助線? もっと簡単になる?」

「いや、たぶん簡単にはならない」

ユーリ「だったら意味ないじゃん!」

「簡単じゃない。でも、 補助線がたとえ見つけられなくても構わない。 補助線を使わなくても、メネラウスの定理は証明できる……と思う」

ユーリ「『と思う』なんだ」

「最後まで見通しているわけじゃないからだよ。 どうすればいいかというと……」

この記事は期間限定で「ただいま無料」となっています。

ひと月500円で「読み放題プラン」へご参加いただきますと、 435本すべての記事が読み放題になりますので、 ぜひ、ご参加ください。


参加済みの方/すぐに参加したい方はこちら

結城浩のメンバーシップで参加 結城浩のpixivFANBOXで参加

(第431回終わり)

(2024年9月13日)

[icon]

結城浩(ゆうき・ひろし) @hyuki


『数学ガール』作者。 結城メルマガWeb連載を毎週書いてます。 文章書きとプログラミングが好きなクリスチャン。2014年日本数学会出版賞受賞。

Twitter note 結城メルマガ Mastodon Bluesky Threads Home