well_0 https://blog.hatena.ne.jp/well_0/ ニート歴10年からの数学日記 https://after10.hatenablog.com/ ジュニア算数オリンピックにおけるユークリッド幾何学の問題の解答の自動化を模索している。まず三角形定理ループを回し、回答できなかったら1ステップの作図を試していって、それらで回答できるか探る。それでも駄目だったら2ステップ、3ステップと増やしていく。交点の確認はこの方法を使う。 06年度トライアル問題 問題9 作図 06年度トライアル問題 問題9 『図の四角形ABCDはAB＝BC＝CDで、角B＝168度、角C＝108度です。角Dの大きさを求めなさい。』 では初期条件。 graph := [ A : [ [[B], []], [[D], []] ] , B : [ [[A], []], [[C],… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fafter10.hatenablog.com%2Fentry%2F2019%2F12%2F18%2F103208" 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/20191006/20191006070419.jpg Hatena Blog https://hatena.blog 2019-12-18 10:32:08 rich https://after10.hatenablog.com/entry/2019/12/18/103208 1.0 100%