![](http://oshiete.xgoo.jp/images/v2/pc/qa/question_title.png?5a7ff87)
No.1ベストアンサー
- 回答日時:
回答はできませんが。
sakozabuさんが仰ってるのはひょっとして、
http://oshiete1.goo.ne.jp/kotaeru.php3?q=2380906
の回答No.3の後半にある、補助線を使わない証明のことじゃありませんか?それを書いたstomachmanですが、「ハッボス」が誰か知らないし、ユークリッドが逡巡したかどうかも知らないのです。
stomachmanはこの証明法をひとに習ったんではありません。けれども自分で発明したのでもない。実はこれ、初期の人工知能の研究において、初等幾何の証明をヒラメキで解く、ということを行う人工知能のプログラムくんが出した答なんです。(研究者やプログラムの名前は失念しました。)
このプログラムは「最終目標を部分的目標に分割し、手段をいろいろ組み合わせて、目標を達成する方法を試行錯誤で探す」というやりかたを使っていて、これはゲーム(将棋やチェス)、経路探索、あるいは数式処理のプログラムなどと基本的に同じ古典的な人工知能のメカニズムです。
研究者は当然、「プログラムがうまくロバの橋を見つけられるかどうか」をチェックしようとしてこの問題を与えた。ところが、補助線なしで証明してしまった。プログラムは簡単な手段を優先して試す仕組みなので(さもないと、訳の分からない補助線だらけになってしまうでしょう)、こういう結果になったんですね。
No.2
- 回答日時:
二等辺三角形の底角は等しい、ことを底角定理とよびます。
底角定理の証明のための、補助線の引き方は3通りあります。
・頂角の二等分線
・底辺の中点と頂角を結ぶ
・頂角から底辺に垂線を下ろす
それらのいずれかをつかって、左右に分かれた三角形の合同を示せば、二等辺三角形の底角は等しいことが示されますが、
合同定理(二辺侠角を除く)の証明には底角定理が使われるために、循環論法になります。
そこで底角定理の証明には、補助線を引かない証明がされます。
それは二等辺三角形を裏返したものを合同とする方法ですが、裏返すという多少のうさんくささを回避するために、ロバの橋と呼ばれる証明がされました。
AB=ACの二等辺三角形があったとき、
辺AB,ACの延長上にBD=CEとなる点D,Eをとって、
△ADC≡△AEB
を示すことで、底角定理を証明します。
ハッボスより、パップスというほうが有名と思います。
パップスがそのロバの橋の証明を書きました。
でもこのロバの橋の話題は深いです。
下記のURLは半分は正解で半分は間違いで、読めば混乱するでしょう。
http://oshiete1.goo.ne.jp/kotaeru.php3?q=1639411
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 『弧は弦より長し』 8 2022/04/18 10:23
- 数学 中3 円周角の定理の問題です 3 2022/06/29 22:21
- 数学 中2数学の「平行四辺形の2組の対角はそれぞれ等しい」ことの証明を自分なりに考えてみたのですが、これで 3 2023/06/21 18:25
- 数学 すべての自然数とすべての実数を1対1で対応させる(すべての実数を一列に並べる)方法について 3 2023/05/26 17:14
- 数学 『4色問題⓵』 9 2022/10/24 06:54
- 数学 この証明は高校数学の範囲でできますか?数1 数と式 5 2023/04/06 09:24
- 哲学 刑務所レベルの不良惑星人で犯罪・悪行を繰り返すのが当たり前の罪人悪人だらけの地球人類を 2 2023/05/15 17:50
- 数学 回答の意味について 3 2023/07/06 14:14
- 物理学 面積速度一定の法則を(1/2)r v sinθを使って証明する方法 2 2023/06/25 12:43
- 数学 回答の意味について 4 2023/07/11 11:19
このQ&Aを見た人はこんなQ&Aも見ています
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
幽霊が存在していないことを証...
-
証明終了の記号。
-
数学の証明問題で、「証明終了」...
-
数学の「証明」のときなどの接...
-
不完全微分であることの証明
-
3,4,7,8を使って10を作る
-
夫が亡くなった後の義理家族と...
-
四葉のクローバー この言葉一度...
-
「証明証」と「証明書」はどう...
-
素数の性質
-
よって・ゆえに・したがって・∴...
-
無理数って二乗しても有理数に...
-
数学Aの整数の性質について質問...
-
婿養子に入ったのに出て行けと...
-
素数の積に1を加算すると素数で...
-
中3数学 2つの続いた整数では、...
-
平面曲線
-
婿養子です、妻と離婚して妻の...
-
なぜ独身だと養子が持てないの...
-
(4^n)-1が3の倍数であることの...
おすすめ情報