well_0 https://blog.hatena.ne.jp/well_0/ ニート歴10年からの数学日記 https://after10.hatenablog.com/ ジュニア算数オリンピック・算数オリンピックにおけるユークリッド幾何学の問題の解答の自動化を模索している。まず三角形定理ループを回し、回答できなかったら1ステップの作図を試していって、それらで回答できるか探る。それでも駄目だったら2ステップ、3ステップと増やしていく。作業手順は今はこれを参考にする。 算数オリンピック13年度トライアル問題 問題10 算数オリンピック13年度トライアル問題 問題10 『図の四角形ABCDで、点E、F、G、H、MはAE : EB = AF : FD = 2 : 5、BG : GH : HC = 3 : 2 : 2、CM = DMを満たす辺上の点です。いま、EG、FH… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fafter10.hatenablog.com%2Fentry%2F2019%2F12%2F13%2F142232" title="二次元上のユークリッド幾何の問題　その２４ - ニート歴10年からの数学日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/w/well_0/20191209/20191209112310.jpg Hatena Blog https://hatena.blog 2019-12-13 14:22:32 rich https://after10.hatenablog.com/entry/2019/12/13/142232 1.0 100%