かえでです.
数学で牛刀をもって鶏を割きたいなーと思ったので,幾何における牛刀と鶏の例を紹介します.
※牛刀をもって鶏を割く:(小さな鶏を割くのに,牛を切る大きな包丁を使う意から)小さなことを処理するのに大げさな手段を用いることのたとえ.(コトバンクより)
今回証明する鶏を以下に記します.
三角形
この定理をある2つの牛刀を使って示したいと思います.
三角形
次のサイトにあります.
https://manabitimes.jp/math/625
三角形
次の記事にあります.
https://mathlog.info/articles/2581
定理2(牛刀1)において,
よって,
いきなり牛刀をもって鶏を割きたくなってしまった(?)ので急いで書いてしまったため,既出の証明方法であるかどうかは確認していませんが恐らく既出であると思います.また,循環論法になっていないことは確認済です.
以上です.