今だから話そう「幾何の問題 正解集の公開」

── 幾何の問題・正解集の公開 はじめに 　以前、拙著『ソフトウェアの法則』(中公新書1270)で、ある幾何の問題を取上げたことがありました。高校時代に授業で出された難問で「５分で解けた」と誤解する人が多いのですが、未だ５分で解けるような平易な証明は発見されておりません。 　その際に作られた正解集を、今回ネット上に公開することにしました。以下では、そう決意した背景を説明したいと思います。 背景説明 ・ネット上への登場：(1994年) 　最初にこの幾何の問題を取上げたのは１９９４年の１月２４日のことです。東芝社内のイントラネット上にある電子掲示板(vox)に「ソフトウェアと記憶力」というタイトルのエッセイを掲載しました。この中で私は、問題の詳細には触れぬまま唯ある難しい幾何の問題に出会ったこと、そしてその問題に関連して私の周辺で起こった出来事を中心に紹介したものでした。 　東芝の技術者の多くが利用していた掲示板だったからでしょうか、直後から「どんな問題ですか?」という問い合わせメールが多数寄せられました。ここで初めてその幾何の問題の詳細が公になった訳です。その後「ソフトウェアと記憶力」が掲載されている『ソフトウェアの法則』という本が発売(1995年)され、一般にも知られることになりました。 　後にエッセイの方は、掲示板からイントラネット上の個人ホームページ上に掲載され、更にインターネット上の個人ホームページ創設を機会に、関連する情報が同様に転載されるようになりました。これ以後、関連情報を書籍で知った読者から、あるいはインターネットで知った利用者から「問題の解答」なるものが寄せられるようになったのです。 　今までに証明に成功したのは(出題者の私を含めて)６人ですが、複数の解を提出した人もいるので全部で９つの解法が存在しています。この間、正解者にはこれまでに判明したすべての解法を含む正解集を配布してきました。しかし時が流れるに連れて、その正解集の文書ファイルの保存と継承が(特に図を含んでいるため)難しくなってきました。 ・１回目の変更：(1997年) 　そこで正解集をウェッブ上に保存することにしました。しかしまだ正解に到達していない方々からは「絶対に正解の証明を公開しないでほしい」という要望が出されていました。あくまでも自分で解きたいということなのでしょう。そこで正解者のみがアクセスできる形にして公開することにしました。“秘密の”正解集への入口は私のホームページの【超極秘欄】を開くと、下から１３番目の項目［幾何の問題・正解集］からアクセスすることができます。その中の【正解集へ】から先は(正解者のみが保持する)パスワードが必要になります。 置き場所の変更 ・２回目の変更：(2021年) 　こうして２０数年が経過しました。私めは、そろそろ自分のホームページの終活に取り組まねばならない年齢に達したのです。このまま放置しておくと正解者(今では連絡の取れない方、故人となられた方もおります)以外には誰も“正解”を知らないという状態になるのは明らかでしょう。そのうちに、果して正解だったのか? と疑問を持つ人も現れることでしょう。そして何より困るのは、私が管理できなくなるとホームページの使用権がなくなって、プロバイダーによる強制削除でホームページそのものが消滅してしまうことになります。 　そこで、次の策を講じることにしました。 　(1)誰もがアクセスできる場所に正解集を置く。 　(2)従来の“秘密の”正解集はそのままとする。 　(3)これまでの経緯を記録として残す。 　ここで、 　(1)はホームページ(*1)上とブログ(*2)上に置きます。 　(2)はホームページ上に残します。 　(3)は、今書いているこの文書そのものですが、出来上がり次第ホームページ上とブログ上に保存します。ホームページの消滅時には(2)は失われますが、(1),(3)はブログに残されることになります。 【注】(*1)ここで、ホームページとは、 　　　　【Knuhsの書斎】 　　　　　http://www.hi-ho.ne.jp/skinoshita/ 　　　(*2)ブログとは、 　　　　【(付録)ﾞ:ドッと混む・Knuhsの書斎】 　　　　　http://knuhs-dot-com.blogspot.com/ 　　　　【(付録)ﾞKnuhsの書斎】(ミラー) 　　　　　http://knuhs.blogspot.com/ のことです。 ソフトウェアと記憶力 　ところで「ソフトウェアと記憶力」をここで読んでもらいたいのですが、残念ながらは『ソフトウェアの法則』の出版に合わせてホームページ上からは削除されました。原文のテキストが存在しないので書籍の該当ページを写真に撮り、それをこの欄に表示する積りでいました。しかし実際にやってみると、文章が縦書きになるのでパソコンの画面では読み難いことが分かりました。 『ソフトウェアの法則』から 「ソフトウェアと記憶力」 　書籍を見ながら再度パソコンに入力するのは何んとも馬鹿らしいので、いろいろ悩んだ末に昔電子掲示板に投稿したときのメールを利用すればよいことに気が付きました。当時の掲示板上での議論、あるいは個人のメール交換でいろいろと議論したことはすべてメール形式でそのまま保存されているのです。それを以下に掲載することにしました。初稿原稿(原文)ですから書籍として出版されるまでに手直しされた部分があり、それらは完全には反映されていませんから、多分どこかに相違はあると思います。 【以下は、昔の投稿ファイルから復元したもの】 From: （ＴＳＥ）木下　恂 990092050039 Date: 24 Jan 1994 17:57 Subject: 『ソフトウェアと記憶力』 『ソフトウェアと記憶力』 　学生時代、私の好きな学科といえば数学であった。特に、記憶力よりも推理力を必要とするところが性に合っていたように思う。古文とか歴史など最初に多くのことを暗記しなければならない学科は大嫌いで、「以後パッパ（１５８８）と刀狩り」などとこじつけて歴史の年代を覚えることにどれ程の意味があるのか、などと勝手なことを言っていたものである。暗記するのが苦手だった訳ではなく、要するに関心のあることしかやらないという、単なる物ぐさだっただけなのであるが。好きな分野にのみ熱中するという偏った勉強法の欠陥に気付いたのは、ずっと後のことである。今でも仕事に関連した専門分野以外のことには比較的無関心で、読む本の分野も偏っていると家内からはよく注意される。最近は、努めて専門以外の分野にも首を突っ込むようにしているが、そうやって得た知識が専門の分野でも役立つことが意外に多いことを知った（もはや手遅れの感があるが）。 　高等学校時代は、数学の中でも特に幾何学が好きだった。誰も思い付かない場所に補助線を引くことによって、難しい問題がスパッと解けたときのあの爽快感は決して忘れることがない。受験戦争真っただ中の灰色の高校生活で、唯一思い出す痛快な思い出は幾何の難問を自分一人だけが解いたときのことである。幾何の先生が出してくれたその問題は、一見単純で簡単に解けそうに見えたが予想外に難問であった。聞くところによると、その先生が学生の頃同じように出題され誰も解けなかったが、ある優秀な学生が病死した後で、彼の机の引きだしの中から正解を書いたメモが出てきたのだそうである。そういうことがあったので先生にとっても印象深い問題だったのであろう。この話を聞いて皆で勇んで挑戦したものである。結局、正解となったのは自分のものだけだったように記憶している。 　最近、古い資料を整理していたとき高校時代の友人からの葉書が出てきた。東大の法科へストレートで入った秀才Ｋ氏からの手紙で、浪人中の私への激励と例の幾何の問題の解答を教えて欲しいという依頼が書かれている。Ｋ氏の友人が家庭教師をしていてこの問題を聞かれ、答えられずに困っているからとのことであった。同時にその友人からの礼状も残されており「家庭教師として若干の威厳は保持せねばならず、かといって嘘をつくわけにもいかず、全くの苦境でありました。お陰で大変助かりました」とユーモラスに書かれているところから、正解を教えてあげたもののようである（すっかり忘れてしまっているが）。この自慢話の締まらないところは、今ではこの問題を自分では解けないということである。どこに補助線を引いたかも正確に覚えているのに、どう頑張っても正解に到達できない。今や記憶力だけでなく、推理力も衰えてきた証拠であろう。 　暗記が苦手ではないことを自分で証明するために、円周率（π：パイ）の値を丸暗記したのも高校時代のことである（これは誰でもよくやることらしい）。それも、何かにこじつけて覚えるというようなせこい方法は使わずに、小数点以下の数字をそのまま丸ごと覚えるのである。小数点以下１００桁(*)までなら今でも数字を諳じることができる。若い頃に覚えたことはなかなか忘れないものである（しかし最近は 80 桁目以降が少しあやしくなってきている）。 　(*)　 3.1415926535 8979323846 2643383279 5028841971 　　　　　6939937510 5820974944 5923078164 0628620899 　　　　　8628034825 3421170679 　円周率の値をそんなに覚えても何の得にもならないが、全く役に立たないという訳でもない。学校を卒業しコンピュータのソフトウェア開発という仕事につくようになると、結構円周率の値に出くわすことが多くなった。コンピュータを大学に購入してもらうため、大学の先生に立ち会ってもらってコンピュータ（と関連するソフトウェア）の性能を調べるためのベンチマークテストを行うことがよくあった。ベンチマークテストというと、直ぐ私のようなコンパイラ屋が駆り出されたものである。テストに使うプログラムは先生が日頃研究で使っているＦＯＲＴＲＡＮ言語で書かれたプログラムであることが多く、テスト当日に突然提示されるのが普通であった。当時のＦＯＲＴＲＡＮは異機種間でのプログラム互換性に問題があり、利用者の側も互換性についての認識に欠けている時代であった。したがって、プログラムに何の手直しも加えないで、異なる機種の上で同じ結果が得られるというようなことは滅多になかったといってもよい。与えられた１～２時間の内に、先生が期待する（正しい？）結果が得られるようにするのが、こちらの役目である。はっきり言って、かなり酷いプログラムが多かったのを覚えている。そういうプログラムを解読して問題箇所を見付けるという経験を積み重ねたことが、後年プログラムを美しく書くことの重要性を意識するようになった出発点ではないかと思う。感謝すべきであろう。 　先生の方は、従来機種での結果が正しいと信じているので我々のコンピュータでの出力結果が異なれば、それは即こちらのソフトウェアが間違っていると主張することになる。それに対して反論するには、プログラムの問題の箇所を見付けて指摘し、それが原因であることを納得させなければならない。更に（これが一番難しいのだが）それを修正することを了解してもらわなければならない。先生の方は日頃の研究成果である自慢のプログラムに難癖を付けられるのだからそれを喜ぶ訳がない。かなり難儀な仕事であった。 　プログラムの互換性上から望ましくない記述、たとえば特定の機種でしか通用しないような記述を見付けても、それを誤っていると認めないのは勿論のこと修正することすら認めてくれないのである。当然プログラム言語の仕様とその解釈についての議論をしなければならなくなる。かなり理屈っぽい男だと思われたものである。しかし、こちらとしてはそれしか方法がなかったのである。 　ＦＯＲＴＲＡＮによる技術計算プログラムであるから、そういうプログラムには必ずといってよい程円周率の値が登場する。面白いもので円周率に関心のない先生のプログラムでは、円周率の値は高々１０桁くらいしか書かれていない。3.14 だけというのもある。しかし、２０桁近く書き連ねている先生も中にはいる。ＦＯＲＴＲＡＮの倍精度機能を使うとしても、高々１６～７桁で十分なのだから全く無意味な記述である（しかも、それを単精度で使っている）。こういう先生は間違いなく円周率に強い関心をもっている先生である。ある国立大学の教授のプログラムを調べていたとき、たまたまこの長い円周率の記述にぶつかった。しかも１０桁目付近で間違っているではないか。有効桁数から考えて、プログラムの実行結果に影響するものではないから放っておいてもよかったのである。思わしい結果が得られない本当の原因は、他のところにあるに決まっている。しかし、若気の至りで、ついそれを指摘してしまった。「いや、そんなことはありません。この値で正しいです」と教授は毅然と言い、当然不機嫌になる。言わなければよかったと後悔しながら「そうですか」と引き下がった。しかしその後で気が付くと、教授は少し離れた所に置いてある自分の鞄の中から資料を色々と取り出し、何かを調べている様子。暫くするとまたやってきて「やはり私の間違いでした」ということになった。当然のことながらこの後は非常に協力的になり、プログラムの修正の方もうまくいったのである。 　少し脱線するが、ベンチマークというと私は某金融機関を相手にしたときの出来事を直ぐに思い出す（もう何年も誰かに話したいのをじっと我慢してきたのだが、もはや時効になった頃であろう）。私が直接タッチしたケースではなかったが、例によってベンチマークテストで使われたＣＯＢＯＬプログラムで期待した結果が得られないことがあった。 　色々調べていった結果、金融機関側が期待する某ＩＢＭ社のマシンでの計算結果との違いは、ある特定の式の評価以降で起こるというところまで追い詰めることに成功した。その式の値を手計算で求めてみると当社のＣＯＢＯＬの計算結果の方が正しいのである。詳細はどのような具合になっていたかもはや忘れてしまったが、多分ライブラリプログラムの返す値の丸めの差ではなかったかと思う。結局、某社のＣＯＢＯＬの結果の方がおかしいということが明らかとなったのである。それを金融機関側も納得した。 　しかし問題はそれで解決した訳ではなかった。従来からその間違った値で金融機関の方はお客にローン等の支払いをさせていた関係上、コンピュータを入れ替えたからといって急にその支払額が変更されるようなことがあっては困るというのである。そこで、やむをえずＣＯＢＯＬプログラムに手を入れてその間違った値をわざわざ出すように式を手直ししたのである。ほんの些細な額ではあるが、金融機関にとっては信用が掛かっている重大な問題だった訳である（やはり、ここだけの話にしておいた方がよさそうである）。それにしても、こういう下らないことだけはよく覚えているものである。大切なことは直ぐ忘れてしまうのに‥‥。何故なのだろう。 　円周率の値といえば、技術計算のプログラムでしか使わないと思われ勝ちであるが、結構色々なところで利用されている。たとえば、これをパスワードとして用いる人が多い。コンピュータシステムで使われるパスワードは忘れると大変なことになるが、そうかと言って手帳などにメモしておく訳にもいかないので、取り扱いには結構神経を使うものである。 　その結果、絶対に忘れないような身近なものからパスワードを選び勝ちになる。たとえば自分の誕生日の日付をパスワードの数字に選ぶ人が多いが、これをやると身分証明書とキャッシュカードを一緒に落としたときなど簡単に見破られてしまう。そこで理数系の人はπやｅの値を用いたりする。理論物理学者のファインマン教授は暗号破りの名手だったそうであるが、特別な技能があった訳ではなく、円周率などの特別な数字をパスワードに使う人が多いことを知っていて（もちろん学者仲間が対象であるから）、後は根気と推理だけで対応したもののようである。 　最近気が付いたことであるが、電子手帳などで使えるパスワードは２０桁以上の長い数字を受け付けるものが多い。こういう場合はパスワードとして円周率の値をおおっぴらに利用するとよい。パスワードが円周率の値だと他人に分かってしまっても、普通は全部正確に入力できないからである。更に適当な桁を一字だけ変えておけばなお安全である。 　ところで、苦手ではないと称していた私の記憶力も年とともに衰えてきて、新たな情報を記憶するのに次第に困難を感じるようになってきた。そこで、情報を効率よく記憶するためには、コンピュータの記憶装置になぞらえた方法で覚えるのがいいのではないかと最近思うようになり、それを実践している。 　たとえば、コンピュータ関係の新しい技術を勉強しようと本を買っても、忙しくて読めなかったり、途中で興味を失ったりで最後まで読了しないことが多い。そういう場合、そのまま本をしまい込まずに全体をパラパラと見たり、目次だけでもよく見ておいて、どういうテーマが書いてあるかを記憶しておくのである。そして、何かの折りにその知識が必要になった場合、あの本に書いてあったはずと直ぐ思い出せるようにする。そして必要になった時点で精読するのである。 　したがって私は、雑誌類は図書の本を利用するが、それ以外の書物は努めて自分の本として購入し、自分の「ライブラリ」という名の補助記憶装置を充実させるように努力している。 　つまり主記憶装置（主メモリ）の容量に制約があり、新たな情報を直接貯える余地がない場合には補助記憶装置に入れておくのである。そして補助記憶装置のどこに記憶したかの情報だけを主メモリに置いておく。無理に主メモリに記憶しようとしても揮発性メモリなのか直ぐ忘れてしまうからである。そして、どうでもよい（無益な）情報は努めて捨てることにし、必要な情報でも敢えて無理に主メモリ上には記憶しないようにする。補助記憶装置のどこを読めば分かるかを知ってさえいればよいのだから楽である。自分の外部記憶装置であるライブラリを充実させておいて、必要に応じて主メモリ上に呼び出す「仮想記憶方式」にして主メモリの容量不足に対応するのである。 　歳をとってから主メモリのサイズを拡張しようとしても、それは殆ど不可能に近い。大容量の主メモリの持ち主になりたければ、若い時にそれなりの対応をしておかなければ無理であろう。若いときによく勉強して主メモリを拡げて記憶容量を大きくし、内容を充実させておくべきなのである。私のように怠け者で偏った勉強をしていると、決して広くはならないものである。年を取ってからできることといえば、それは精々補助記憶装置の充実を計ることしかないのではないか。 　しかし、主メモリにはもう新たな情報を記憶する余地がないかというと、必ずしもそうではない。たとえば円周率に関係するニュースなどは直ぐ覚えてしまうから不思議である。現在、円周率の値は小数点以下３２億２千百２２万桁まで求まっていて１０億桁目の数字は“9”であるとか、国際的にどことどこが競っているとか、どのような手法で値を求めているかなどの情報はたちまち覚えてしまう。 　何故なのか。どうやら主メモリの中にある、若いときに張り巡らした記憶の網に、たまたま引っ掛かった情報は忘れ去られることなく記憶されるもののようである。しかし引っ掛かるべき記憶の網が何も張り巡らされていない分野では、覚えるのに大変な苦労をする。新たな網を張るのに多大な労力を要するからであろう。将来どんな分野の記憶の網が必要になるか分からない以上、我々は若いときに選り好みをせずに広く色々な分野の勉強をしておくべきなのであろう。私の場合、気が付くのが遅すぎたが。 　若い時に、主メモリ上をどうでもよいガラクタ情報で満たしていると、この将来必要となる記憶の網が張り巡らされないままになってしまうのではないかと思う。たとえば、昔はコンピュータゲームなどを見ると、知的好奇心を刺激され同じようなものを自分で作ってみたものである。そしてその過程で色々なことを学び、経験し、結果として何らかの有益な記憶の網が張り巡らされたはずである（と信じている）。しかし最近の若者達は（などと言うと、年寄りが若者の行動を批判する典型的な構図になってしまうが）ゲームのきらびやかな外見に圧倒され、同じようなものを自分で作りたいという意欲が湧く前に先ずそれで遊んでみたくなる。そして結局は遊ぶ方に没入してしまう傾向が強い。あたら、有益な記憶の網を張るチャンスを逸しているように思えてならない。 　コンピュータゲームの遊び方の網ばかり張り巡らされた記憶装置には、将来どんな情報が引っ掛かるのであろうか？　そこで、思い付いた法則をいくつか。 【新人プログラマの記憶力の法則】 　『いつか助けてくれるかもしれないと期待して困っている新人プログラマを助けてあげると、ありがたいもので次に困ったときも必ず自分を思い出してくれる』 【貸し借りに関する記憶力の差の法則】 　『お金を貸したことは忘れないが、借りたことは直ぐ忘れてしまう』 【貸し借りに関する記憶力の差の法則に基づく問題提起】 　『徹夜でデバッグしたあの日、自販機の前で貸した私のお金は一体どうなったんでしょうね』 【参照終り】 【以下は、書籍に書き加えたもの】 ＜追記＞ 　ここでふれた幾何の問題について、「どんな問題か教えてくれませんか」という問い合わせが電子メールを通じて寄せられた。その問題とは、次のようなものである。 「三角形ＡＢＣにおいて、∠Ｂと∠Ｃの二等分線が辺ＡＣ、辺ＡＢと交わる点をそれぞれＤ、Ｅとするとき、ＢＤ＝ＣＥであるという。このとき、三角形ＡＢＣは二等辺三角形であることを証明せよ(つまり∠Ｂ＝∠Ｃを証明せよ)」 　私はこういう状況になるのを、実は一番に恐れていたのである。この問題を尋ねられ、問題を公開したら「なんだ、簡単じゃないか」とすぐ正解が送られてきたらどうなるか。自分の数少ない自慢話(いまやそれが怪しくなってきている)の一つが完全になくなってしまうからである。他人に教えられて「なるほど、そうやって解くのか」と感心している自分を想像するのは大変辛いことである。 　しかしその後、この問題を電子メールシステムの掲示板で公表してからほどなくしてなんとか自分で解くことに成功した。問題に挑戦した人の数は定かではないが、解けないという苦情、奮闘報告、正解を教えてくれという要請、五分で解けたという誤報(?)などが多数寄せられた。最終的に正解となったのは三人の方から寄せられた四つの解法であった(一人で二つの解を寄せられた方がいた)。出題者としての解答と合わせて五つの解が集まったことになる。いずれも異なる解法ばかりで、いろいろな解き方があるものだと感心した次第。これを見るとどれも五分程度ですぐ解けるという解法ではない。「五分で解けた」と報告をくれて以来音沙汰がない方々は多分勘違いだったのであろう。しかし「五分で解ける」未知の解がある可能性はまだ残されている。貴方(女)も挑戦してみませんか。 ＜追記 終り＞ 以上は、１９９４年時点の集計結果に基づいて書かれています。 なお、新たに正解と思われる解法を見つけても、私めに送りつけるのはご容赦ください。もはや解法の正否を判定できない可能性があるからです。 円周率についての最近の記録は以下のようになっています。 　1991 22億6千万桁 （コロンビア大学） 　1995 32億2,122万桁（東大 金田） 　2020 50兆桁 Timothy Mullican 正解集への入口 正解集(ホームページ) seikaishuu3.htm 正解集(ブログ)　　　 blog-post.html

今だから話そう「幾何の問題・正解集」

《幾何の問題正解集》 ［提示問題とは］ 「三角形ＡＢＣにおいて、∠Ｂと∠Ｃの二等分線が辺ＡＣ、辺ＡＢと交わる点をそれぞれＤ、Ｅとするとき、ＢＤ＝ＣＥであるという。このとき、三角形ＡＢＣは二等辺三角形であることを証明せよ」 証明(クリックする) 解答者 解答日時 「三好解」 　三好　彰氏 1994-01-31 08:09 「船津解１」 　船津　剛男氏 1994-01-31 13:30 「船津解２」 　船津　剛男氏 1994-02-02 09:15 「井上解」 　井上　徹夫氏 1994-02-14 19:28 「北條解」 　北條　尚志氏 1995-01-11（by郵便） 「大野解1」 　大野　典昭氏 2002-4-13 7:21 「大野解２」 　大野　典昭氏 2002-10-20 10:54 「大野解３」 　大野　典昭氏 2002-10-26 11:56 「出題者解」 　木下　恂 1994-01-27 14:19 ［三好解］ △ＡＢＣの∠Ｂの二等分線と辺ＡＣとの交点をＤ、∠Ｃの二等分線と辺ＡＢとの交点をＥとする。ＢＤ＝ＣＥが与件。 △ＡＣＥの外接円と、△ＡＢＤの外接円の交点をＦとする。円周角∠Ａに対応する辺ＣＥと辺ＢＤが等長（与件）なので、二つの円は同じ大きさ。 ＦＤが円ＡＣＥと交わる点をＧとする。またＦＥが円ＡＢＤと交わる点をＨとする。１つの円弧に対応する角度は同じなので、次のようになる。 ∠ＡＦＧ＝∠ＡＦＤ＝∠ＡＢＤ＝1/2 ∠Ｂ　　　　　(1) ∠ＡＦＨ＝∠ＡＦＥ＝∠ＡＣＥ＝1/2 ∠Ｃ　　　　　(2) 四角形ＡＥＦＧは円ＡＣＥに内接するので、∠ＧＡＥ＋∠ＥＦＧ＝180ﾟとなり、 ∠ＧＡＤ＝180ﾟ－∠Ａ－∠ＡＦＥ－∠ＡＦＧ＝180ﾟ－∠Ａ－1/2（∠Ｂ＋∠Ｃ） 一方、180ﾟ＝∠Ａ＋∠Ｂ＋∠Ｃなので、 ∠ＧＡＤ＝1/2（∠Ｂ＋∠Ｃ） 四角形ＡＤＦＨは円ＡＢＤに内接するから、∠ＨＡＤ＋∠ＤＦＨ＝180ﾟとなり、 ∠ＨＡＥ＝180ﾟ－∠Ａ－∠ＡＦＨ－∠ＡＦＤ＝180ﾟ－∠Ａ－1/2（∠Ｂ＋∠Ｃ） ＝1/2（∠Ｂ＋∠Ｃ） よって ∠ＨＡＥ＝∠ＧＡＤ ゆえに、∠Ａ＋∠ＨＡＥ＋∠ＧＡＤ＝∠Ａ＋∠Ｂ＋∠Ｃ＝180ﾟとなり、 点Ｇ，Ａ，Ｈは一直線上にある。 円ＡＣＥと円ＡＢＤが同じ大きさであるので、辺ＡＦに対応する円周角は等しくなり、 ∠Ｇ＝∠Ｈ ゆえに△ＦＧＨは二等辺三角形である、つまりＦＨ＝ＦＧ 辺ＦＨと辺ＦＧに対応する円周角は等しいので、 ∠ＨＡＦ＝∠ＧＡＦ＝90ﾟとなる。 よって、∠ＡＦＨ＝∠90ﾟ－∠Ｈ＝∠90ﾟ－∠Ｇ＝∠ＡＦＧ (2)から∠ＡＦＨ＝1/2 ∠Ｃ、(1)から∠ＡＦＧ＝1/2 ∠Ｂ なので、∠Ｃ＝∠Ｂとなる。 ［船津解１］ １．頂点ＣからＢＤに平行線を引き、ＡＢの延長線と交わる点をＦとする。 ２．頂点ＢからＣＥに平行線を引き、ＡＣの延長戦と交わる点をＧとする。 ３．１．→　∠ＡＢＤ＝∠ＢＦＣ、∠ＤＢＣ＝∠ＢＣＦ 　　ゆえに、△ＢＣＦは２等辺三角形であり、ＢＣ＝ＢＦ ４．同様に、△ＢＣＧは２等辺三角形であり、ＢＣ＝ＣＧ ５．上記→　ＢＤ：ＣＦ＝ＡＢ：ＡＢ＋ＢＣ→ＢＤ＝ＣＦ／（１＋ＢＣ／ＡＢ） ６．同様に、ＣＥ：ＢＧ＝ＡＣ：ＡＣ＋ＢＣ→ＣＥ＝ＢＧ／（１＋ＢＣ／ＡＣ） ７．∠ＡＢＣ＜∠ＡＣＢであると仮定すると、 　　△ＢＣＤと△ＢＣＥに於て、∠ＡＢＣ＜∠ＡＣＢであるから、ＡＢ＞ＡＣ 　　△ＢＣＦと△ＢＣＧに於て、∠ＣＢＦ＞∠ＢＣＧであるから、ＣＦ＞ＢＧ ８．従って、 　　ＢＤ＝ＣＦ／（１＋ＢＣ／ＡＢ）＞ＢＧ／（１＋ＢＣ／ＡＢ） 　　　　＞ＢＧ／（１＋ＢＣ／ＡＣ）＝ＣＥ　すなわち、ＢＤ＞ＣＥ ９．同様に、∠ＡＢＣ＞∠ＡＣＢ　であると仮定すると、ＢＤ＜ＣＥ 　　また、 ∠ＡＢＣ＝∠ＡＣＢ　であると仮定すると、ＢＤ＝ＣＥ 従って、ＢＤ＝ＣＥならば、∠ＡＢＣ＝∠ＡＣＢとなり、△ＡＢＣは２等辺３角形 ［船津解２］ 　以下、記述を簡単にするために、記号を用いる。 　頂点Ａ、Ｂ、Ｃの各対辺の長さを、ａ、ｂ、ｃと表す。 　頂点Ｂ、Ｃ、の各角度を、２α、２βと表す。 　角Ｂ、Ｃの２等分線の長さを、ｘ、ｙと表す。 　問題は、「ｘ＝ｙであれば、α＝βである」を証明することである。 証明： ０．α≧（1／2）πの場合は、明らかにｙ＞ａ＞ｘである。 　　よって、α＜（1／2）πの場合について証明できればよい。 １．△ＡＢＣの面積＝底辺の長さｘ高さ＝（1／2）ａｃＳｉｎ２α ２．△ＡＢＣの面積＝△ＡＢＤの面積＋△ＣＢＤの面積 　　　　　　　　　　＝（1／2）（ｃｘＳｉｎα＋ａｘＳｉｎα） ３．Ｓｉｎ２α＝２ＳｉｎαＣｏｓα ４．１、２、３より、ｘ＝２Ｃｏｓα／（１／ａ＋１／ｃ） ５．同様にして、 ｙ＝２Ｃｏｓβ／（１／ａ＋１／ｂ） ６．もし、α＞βならば、Ｃｏｓα＜Ｃｏｓβ、ｂ＞ｃであるから、 　　ｘ＝２Ｃｏｓα／（１／ａ＋１／ｃ） 　　　＜２Ｃｏｓβ／（１／ａ＋１／ｃ） 　　　＜２Ｃｏｓβ／（１／ａ＋１／ｂ） 　　　＝ｙ 　　すなわち、　α＞βならば、ｘ＜ｙ ７．同様にして、α＜βならば、ｘ＞ｙ ８．明らかに、　α＝βならば、ｘ＝ｙ ９．従って、　　ｘ＝ｙならば、α＝β であり、△ＡＢＣは２等辺３角形 　証明終わり ［井上解］ 　三角形ＡＢＣでＢＤ，ＣＥ（角の２等分線）を長さｍ、ＢＥの長さをｂ、ＣＤの長さをａ、底辺の長さｃ、ＤＥの長さをｄ、角ＡＢＣ、ＡＣＢの二等分角の大きさをそれぞれα、βとすると、 　　a2=m2+c2-2cmcosα　‥‥‥(1) 　　b2=m2+c2-2cmcosβ　‥‥‥(2) 　　d2=m2+b2-2bmcosα　‥‥‥(3) 　　d2=m2+a2-2amcosβ　‥‥‥(4) (1),(2)より、 　　cosα=(m2+c2-a2)/(2cm)　‥‥‥(5) 　　cosβ=(m2+c2-b2)/(2cm)　‥‥‥(6) (5),(6)を(3),(4)に代入して、 　　d2=m2+b2-2bm(m2+c2-a2)/(2cm)　‥‥‥(7) 　　d2=m2+a2-2am(m2+c2-b2)/(2cm)　‥‥‥(8) (7),(8)から 　　b2-b/c(m2+c2-a2)=a2-a/c(m2+c2-b2) これを変形すると、 　　(a-b){c2-(a+b)c+(m2+ab)}=0　‥‥‥(9) 従って、a=b　‥‥‥(10) または、c2-(a+b)c+(m2+ab)=0　‥‥‥(11) ということになりますが(11)の判別式は 　　D=(a+b)2-4(m2+ab) =(a-b+2m)(a-b-2m)　‥‥‥(12) ここで、３角形の２辺の和は他の１辺より長い(a+m>c, b+m>c, c+m>a, c+m>b) ことを利用して、 　　a-b+2m=(a+m)-b+m>c-b+m=(c+m)-b>0　‥‥‥(13) 　　a-b-2m=a-m-(b+m) 即ち、D<0で、(9)が成り立つためには、a=b。 従って、３辺の等しい３角形の合同からα=βが導かれ、元の３角形が二等辺３角形であることが証明できます。 ［北條解］ ＢＤ＝ＣＥならば、∠Ｂ=∠Ｃを証明する。 【証明】 ＢＤ，ＣＥの交点をＦとする。 　α=１／２∠Ａ 　β=１／２∠Ｂ 　γ=１／２∠Ｃ 　Ｆからの垂線の長さをｒ とすれば 　ＢＦ＝ｒ・sec（α＋γ） 　ＦＤ＝ｒ・sec（α－γ） ∴ＢＤ=ｒ・｛sec（α＋γ）＋sec（α－γ）｝　‥‥(1) 　ＣＦ＝ｒ・sec（α＋β） 　ＦＥ＝ｒ・sec（α－β） ∴ＣＥ=ｒ・｛sec（α＋β）＋sec（α－β）｝　‥‥(2) (1),(2)から ∴ＢＤ＝ＣＥならば、γ=β ∴∠Ｂ=∠Ｃ 【証明終】 ［大野解１］ ①ＢＤ／ｓｉｎ（２γ）＝ａ／ｓｉｎ（β＋２γ） 　ＣＥ／ｓｉｎ（２β）＝ａ／ｓｉｎ（２β＋γ） ②ｓｉｎ（２γ）／ｓｉｎ（２β） 　＝ｓｉｎ（β＋２γ）／ｓｉｎ（２β＋γ） 　＝　（ｓｉｎβｃｏｓ２γ＋ｃｏｓβｓｉｎ２γ） 　　／（ｓｉｎ２βｃｏｓγ＋ｃｏｓ２βｓｉｎγ） ③　ｓｉｎ２γｓｉｎ２βｃｏｓγ＋ｓｉｎ２γｃｏｓ２βｓｉｎγ 　－ｓｉｎ２βｓｉｎβｃｏｓ２γ－ｓｉｎ２βｃｏｓβｓｉｎ２γ＝０ ④　４ｓｉｎγｃｏｓγｓｉｎβｃｏｓβｃｏｓγ 　＋２ｓｉｎγｃｏｓγ（ｃｏｓβ2－ｓｉｎβ2）ｓｉｎγ 　－２ｓｉｎβｃｏｓβｓｉｎβ（ｃｏｓγ2－ｓｉｎγ2） 　－４ｓｉｎβｃｏｓβｃｏｓβｓｉｎγｃｏｓγ＝０ ⑤　ｓｉｎβ2・ｓｉｎγ2（ｃｏｓβ－ｃｏｓγ） 　－２ｓｉｎβ・ｃｏｓβ・ｓｉｎγ・ｃｏｓγ（ｃｏｓβ－ｃｏｓγ） 　－ｃｏｓβ2・ｓｉｎγ2・ｃｏｓγ 　＋ｓｉｎβ2・ｃｏｓγ2・ｃｏｓβ＝０ ⑥　ｓｉｎβ2・ｓｉｎγ2（ｃｏｓβ－ｃｏｓγ） 　－２ｓｉｎβ・ｃｏｓβ・ｓｉｎγ・ｃｏｓγ（ｃｏｓβ－ｃｏｓγ） 　－ｃｏｓβ2・（１－ｃｏｓγ2）・ｃｏｓγ 　＋（１－ｃｏｓβ2）・ｃｏｓγ2・ｃｏｓβ＝０ ⑦　ｓｉｎβ2・ｓｉｎγ2（ｃｏｓβ－ｃｏｓγ） 　－２ｓｉｎβ・ｃｏｓβ・ｓｉｎγ・ｃｏｓγ（ｃｏｓβ－ｃｏｓγ） 　＋ｃｏｓβ2・ｃｏｓγ2（ｃｏｓβ－ｃｏｓγ） 　＋ｃｏｓβ・ｃｏｓγ（ｃｏｓβ－ｃｏｓγ）＝０ ⑧｛（ｓｉｎβｓｉｎγ－ｃｏｓβｃｏｓγ）2＋ｃｏｓβｃｏｓγ｝ 　＊（ｃｏｓβ－ｃｏｓγ）＝０ →　　ｃｏＳγ＝ｃｏｓβ　　　　０＜β、γ＜９０度 　　　γ＝β 　　　Ｃ＝Ｂ となります。 ［大野解２］ 仮定：三角形ＡＢＣで∠Ｂと∠Ｃの二等分線、ＢＥ＝ＣＦ 結論：∠Ｂ＝∠Ｃ 証明：これを直接示す代わりに、対偶の　∠Ｂ≠∠Ｃ　⊃　ＢＥ≠ＣＦ　を示す。 一般に三角形ＡＢＣで、次が成り立つ。 　　ＡＢ≧ＡＣ　ならば　∠Ｂ≦∠Ｃ　（複合同順）であり、逆も成り立つ 　　△ＡＢＣの内部に点Ｐをとると、∠ＢＰＣ＞∠ＢＡＣ また、円周上の点ＡＢＣＤＥには、次のような関係がある。 　　　∠ＡＣＢ＝∠ＡＤＢ＜∠ＡＤＥ 証明の道筋：∠Ｂ＜∠Ｃ　として、ＣＦ＜ＢＥ　を示す。 記号を次のように定める。 　　Ｅ：∠Ｂの二等分線とＡＣとの交点 　　Ｆ：∠Ｃの二等分線とＡＢとの交点 　　Ｉ：内心（ＢＥとＣＦとの交点） 　　Ｐ：ＥＰ∥ＦＣ、ＣＰ∥ＦＥなる点 　　Ｑ：３点Ｆ，Ｅ，Ｃ　を通る円と線分ＢＣとの交点 （ＢとＣとの中間またはその延長線上にくる（ＣＢの延長線上にはこない）＊） 　　β：∠Ｂ／２ 　　γ：∠Ｃ／２ 　　ε：∠ＦＥＩ（＝∠ＦＥＢ） 　　ζ：∠ＥＦＩ（＝∠ＥＦＣ） すると、次のような関係がある。 　　ＣＰ＝ＦＥ　‥‥‥① 　　ＥＰ＝ＦＣ　‥‥‥② 　　０＜β＜γ＜∠Ｒ　‥‥‥③ 　　０＜β＋γ＜∠Ｒ　‥‥‥④ 　　∠ＥＰＣ＝∠ＥＦＣ　‥‥‥⑤ 証明：εとζの大きさにより、場合を２つに分ける。 Ⅰ．ε≦ζ（∠ＩＥＦ≦∠ＩＦＥ） 　　△ＩＥＦで、ε（＝∠ＩＥＦ）≦ζ（＝∠ＩＦＥ）　であるから 　　　　ＩＦ≦ＩＥ。 　　また、△ＩＢＣで、β（＝∠ＩＢＣ）＜γ（＝∠ＩＣＢ）　であるから 　　　　ＩＣ＜ＩＢ。 　　すなわち 　　　　ＣＦ（＝ＩＦ＋ＩＣ）＜ＢＥ（＝ＩＥ＋ＩＢ）。 　これは求めるものである。 Ⅱ．ε＞ζ（∠ＩＥＦ＞∠ＩＦＥ）　‥‥‥⑥ （証明の道筋：△ＥＢＰで∠ＥＢＰ＜∠ＥＰＢを示すことにより、ＥＰ＜ＥＢを示す。 　　　　　　　　　そのため、ＦＥ＜ＢＰを示す。） １．（＊）ＱがＣＢの延長線上にはこないことを示す。 　　もしも、ＱがＣＢの延長線上であると、ＥＢの延長線上に○ＦＥＣＱとの交点がある。 　　この交点をＸとすると、 　　　　∠ＦＸＥ＜∠ＦＢＥ（＝β） 　（Ｂは△ＦＸＥの辺ＥＸ上） 　　　　∠ＦＸＥ＝∠ＦＣＥ（＝γ）。　（ＦＥＣＸは同一円上：円周角不変） 　　これは、仮定③β＜γ　に反する。 ２．△ＦＢＥでＦＥ＜ＦＢを示す。 　　ＱがＢＣ上にある場合と、ＢＣの延長線上にある場合に分けて考える。 （１）ＱがＢＣ上にある場合 　　次の関係がある。 　　　　∠ＥＢＣ（＝β）＜∠ＥＱＣ　　（ＱはＢＣ上） 　　　　∠ＥＱＣ＝∠ＥＦＣ（＝ζ）　　（ＦＥＣＱは同一円周上） 　　すなわち 　　　　β＜ζ　‥‥‥⑦ 　　⑥と⑦から 　　　　β＜ζ＜ε　‥‥‥⑧ 　　△ＦＢＥで、 　　　　∠ＦＢＥ（＝β）＜∠ＦＥＢ（＝ε） 　　であるから、 　　　　ＦＥ＜ＦＢ。　‥‥‥⑨ 　　これが求めるものである。 （２）ＱがＢＣの延長線上にある場合 　　次の関係がある。 　　　　∠ＥＢＣ（＝β）＜∠ＥＣＱ　　（ＱはＢＣの延長線上） 　　　　∠ＥＣＱ＝∠ＥＦＱ　　　　　　（ＦＥＱＣは同一円周上） 　　　　∠ＥＦＱ＜∠ＥＦＣ（＝ζ）　　（ＦＣ＜ＦＱ） 　　すなわち 　　　　β＜ζ　‥‥‥⑩ 　　⑥と⑩から 　　　　β＜ζ＜ε　‥‥‥⑪ 　　△ＦＢＥで、 　　　　∠ＦＢＥ（＝β）＜∠ＦＥＢ（＝ε） 　　であるから、 　　　　ＦＥ＜ＦＢ。　‥‥‥⑫ ３．□ＢＦＥＣでＦＥ＜ＢＣを示す。 　　まず、△ＢＦＣでＢＦ＜ＢＣを示す。 　　　　∠ＢＦＣ＝２∠Ｒ－２β－γ 　　であるから、④β＋γ＜∠Ｒ　を考慮に入れて、 　　　　γ＜∠ＢＦＣ。 　　すなわち 　　　　ＢＦ＜ＢＣ。　‥‥‥⑬ 　　⑨と⑫、そして⑭より 　　　　ＦＥ＜ＢＣ。　‥‥‥⑭ ４．△ＥＢＰで　ＥＰ＜ＥＢ　を示す。 △ＣＢＰにおいて、①ＣＰ＝ＦＥと　⑭ＦＥ＜ＢＣから 　　　　ＣＰ＜ＣＢ。 　　すなわち 　　　　∠ＣＢＰ＜∠ＣＰＢ。　‥‥‥⑮ 　　△ＥＢＰにおいて 　　　　∠ＥＢＰ＝∠ＥＢＣ＋∠ＣＢＰ 　　　　∠ＥＰＢ＝∠ＥＰＣ＋∠ＣＰＢ であり、⑤⑧⑪⑮から 　　　　∠ＥＢＰ＜∠ＥＰＢ。　‥‥‥⑯ 　　すなわち 　　　　ＥＰ＜ＥＢ。　‥‥‥⑰ すなわち 　　　　ＣＦ＜ＢＥ。　‥‥‥⑱ これが求めるものである 以上 ［大野解３］ 仮定：三角形ＡＢＣで∠Ｂと∠Ｃの二等分線、ＢＥ＝ＣＦ 結論：∠Ｂ＝∠Ｃ 証明：これを直接示す代わりに、対偶の　∠Ｂ≠∠Ｃ　⊃　ＢＥ≠ＣＦ　を示す。 一般に三角形ＡＢＣで、次が成り立つ。 　ＡＢ≧ＡＣ　ならば　∠Ｂ≦∠Ｃ　（複合同順）であり、逆も成り立つ 　△ＡＢＣの内部に点Ｐをとると、∠ＢＰＣ＞∠ＢＡＣ また、円周上の点ＡＢＣＤＥには、次のような関係がある。 　　　∠ＡＣＢ＝∠ＡＤＢ＜∠ＡＤＥ 　　　∠ＡＢＣ＜∠ＡＢＤ＜∠Ｒ　ならば、ＡＣ＜ＡＤ 証明の道筋：∠Ｂ＜∠Ｃ　として、ＣＦ＜ＢＥ　を示す。 記号を次のように定める。 　　Ｅ：∠Ｂの二等分線とＡＣとの交点 　　Ｆ：∠Ｃの二等分線とＡＢとの交点 　　Ｉ：内心（ＢＥとＣＦとの交点） 　　Ｐ：○ＦＥＢとＢＣの延長線との交点 　　Ｑ：○ＦＥＣとＢＣ（の延長線）との交点 証明：∠ＩＥＦと∠ＩＦＥの大きさにより、場合を２つに分ける。 Ⅰ．∠ＩＥＦ≦∠ＩＦＥ 　　△ＩＥＦで、∠ＩＥＦ≦∠ＩＦＥ　であるから 　　ＩＦ≦ＩＥ。 　　また、△ＩＢＣで、∠ＩＢＣ＜∠ＩＣＢ　であるから 　　　　ＩＣ＜ＩＢ。 　　すなわち 　　　　ＣＦ（＝ＩＦ＋ＩＣ）＜ＢＥ（＝ＩＥ＋ＩＢ）。 　これは求めるものである。 Ⅱ．∠ＩＥＦ＞∠ＩＦＥ 点ＦＥＢを通る円と点ＦＥＣを通る円の２つの円を考える。すると、○ＦＥＢと○ＦＥＣとは、点Ｅ・点Ｆ以外では交わらない。 　　（もしも点Ｒで交わるとすると、○ＦＥＢにおいて 　　　　∠ＦＢＥ＝∠ＦＲＥ、 　　　　　　　　　　　　　　　　　○ＦＥＣにおいて 　　　　∠ＦＣＥ＝∠ＦＲＥ 　　　となり、∠ＦＢＥ＜∠ＦＣＥと矛盾する。） 以下、ＦＣ＜ＦＰ＜ＥＢ　を示す。 ここで、○ＦＥＣが線分ＢＣと交わる点Ｃ以外の点Ｑが、ＢＣ上にある場合を考える。 まず、ＦＣ＜ＦＰを示すため、∠ＦＰＣ＜∠ＦＣＰを示す。 　　∠ＦＰＣ＜∠ＦＣＢ＜∠Ｒ　　　（ＣはＢＰ上） 　　∠ＦＣＰ＝２∠Ｒ－∠ＦＣＢ＞∠Ｒ。 すなわち、∠ＦＰＣ＜ＦＣＰ。 △ＦＰＣで、∠ＦＰＣ＜ＦＣＰ　であるから、 　　ＦＣ＜ＦＰ が示された。 次に、ＦＰ＜ＥＢを示すため、∠ＦＢＰ＜∠ＥＰＢを示す。 　　∠ＦＢＰ＝∠ＦＢＥ＋∠ＥＢＰ 　　　　　　＝∠ＦＰＥ＋∠ＥＢＰ　（○ＦＥＰＢ上の円周角） 　　　　　　＜∠ＦＰＥ＋∠ＥＱＣ　★１（ＱはＢＣ上） 　　　　　　＝∠ＦＰＥ＋∠ＥＦＣ　★２（○ＦＥＣＱ上の円周角） 　　　　　　＜∠ＦＰＥ＋∠ＦＥＢ　（Ⅱの仮定） 　　　　　　＝∠ＦＰＥ＋∠ＦＰＢ　（○ＦＥＰＢ上の円周角） 　　　　　　＝∠ＥＰＢ となり、∠ＦＢＰ＜∠ＥＰＢが示された。 また、∠ＥＰＢが∠Ｒより小さいことが次のように示される。 　　∠ＥＰＢ＝∠ＦＰＥ＋∠ＦＰＢ 　　　　　　＜∠ＦＰＥ＋∠ＦＣＢ 　　　　　　＝∠ＦＢＥ＋∠ＦＣＢ 　　　　　　＜∠Ｒ。 ○ＦＥＰＢ上で、∠ＦＢＰ＜∠ＥＰＢ＜∠Ｒ　であるから、 　　ＦＰ＜ＥＢ であることが示された。 すなわち、∠ＡＢＣ＜∠ＡＣＢ　であれば、ＦＣ＜ＥＢ　であることが示された。これが求めるものである。 なお、○ＦＥＣが線分ＢＣと交わるＣ以外の点ＱがＢＣの延長上であれば、上記の展開を次のように変えればよい。 　　　　★１　　＜∠ＦＰＥ＋∠ＥＣＱ 　　　　★２　　＝∠ＦＰＥ＋∠ＥＦＱ 以上 ［木下解］ 　点ＥよりＢＣに平行な線を引きＡＣとの交点をＦとするとき、点Ｆの位置は、次のいずれかとなる。 　（１）ＡＤ上にある 　（２）Ｄと一致する 　（３）ＣＤ上にある （２）の場合には、△ＤＥＣと△ＥＢＤはともに二等辺三角形となるから、結果としてこの二つの三角形は（三辺が相等しくなり）合同となる。故に、∠Ｂと∠Ｃは等しいことが証明されたことになる。 　後は（１）と（３）の場合について、それぞれ矛盾することを導き、成立しないことを示せればよい。 　まず、∠Ｂ＞∠Ｃ　であると仮定する（逆の場合には三角形の左右を逆転させれば以下の議論がそのまま成立するので、こう仮定しても一般性は失われない）。 （１）の場合 　△ＥＣＢと△ＤＢＣにおいて、二辺の長さがそれぞれ等しく∠ＤＢＣ＞∠ＥＣＢであるから 　　ＢＥ＜ＤＣ …(a) が成立する。 　一方、ＥＦとＢＤの交点をＤ'とすると△ＥＢＤ'と△ＦＥＣはともに二等辺三角形になるので、 　　ＢＥ＝ＥＤ'＞ＥＦ＝ＦＣ＞ＤＣ となる。すなわち、 　　ＢＥ＞ＤＣ である。これは、(a) と矛盾する。 （３）の場合 　点ＤよりＢＣに平行な線を引きＡＢとの交点をＧとするとき、△ＧＢＤと△ＦＥＣはともに二等辺三角形で底辺の長さが等しいから、内角（たとえば∠ＧＢＤと∠ＦＥＣとを比較して）の大きい方が斜辺の長さも大きくなる。したがって、 　　ＧＢ＝ＧＤ＞ＥＦ＝ＦＣ となる。ここで、ＧＤとＥＦは平行であり、三角形（△ＡＧＤと△ＡＥＦ）の底辺をなしているから 　　ＧＤ＞ＥＦ というのは明らかに矛盾である。 Ｑ．Ｅ．Ｄ．