well_0 https://blog.hatena.ne.jp/well_0/ ニート歴10年からの数学日記 https://after10.hatenablog.com/ ジュニア算数オリンピックにおけるユークリッド幾何学の問題の解答の自動化を模索している。まず三角形定理ループを回し、回答できなかったら1ステップの作図を試していって、それらで回答できるか探る。それでも駄目だったら2ステップ、3ステップと増やしていく。作業手順は今はこれを参考にする。 07年度トライアル問題 問題5 07年度トライアル問題 問題5 『xの角度を求めなさい。』 交点には、上からアルファベット順で名前を付けていく。同じ高さにあるものは、左から右へ付けていく。 graph := [ A : [ [[C, E], []], [[D, F, H], []], [[G], []] ] , B … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fafter10.hatenablog.com%2Fentry%2F2019%2F12%2F03%2F131738" 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-03 13:17:38 rich https://after10.hatenablog.com/entry/2019/12/03/131738 1.0 100%