ジュニア算数オリンピック　二次元上のユークリッド幾何の問題　その１２

【随時更新】ユークリッド幾何学の定理や作図まとめ - ニート歴10年からの数学日記を機械的に適用して、解答に至れるかを探る。今はこの自分で書いたプログラムを使っている。考察はユークリッド幾何学の原理についてのメモ - ニート歴10年からの数学日記と…

三角形定理ループだとかの自動化

できた。テストツールを導入するほどでも無いと思ったんで、テストは手元でごく簡単に済ませた。明日1日休んで、明後日から2ステップの作図の問題を解こう。まあ細かい修正は必要だろうが。プログラムの上の方で実行したかったのだけど、関数が定義されて…

【随時更新】ユークリッド幾何学の定理や作図まとめ - ニート歴10年からの数学日記を機械的に適用して、解答に至れるかを探る。分かりやすくするために、段階に分けて名前を付けることにした。その段階という区切りで繰り返したりするんで。 06年度トライア…

04年度ファイナル問題問題6 『角ABCが＝角BCA×2で、辺BC、辺CA、辺ABの長さがそれぞれa、b、cの三角形ABCがあります。いま辺BC上に角BAD＝角CADとなる点Dをとり、AD＝dとするとき、BDの長さを求める式として正しいものを（ア）〜（カ）の中から1つだけ選ん…

【随時更新】ユークリッド幾何学の定理や作図まとめ - ニート歴10年からの数学日記を機械的に適用して、解答に至れるかを探る。分かりやすくするために、段階に分けて名前を付けることにした。その段階という区切りで繰り返したりするんで。 04年度ファイナ…

【随時更新】ユークリッド幾何学の定理や作図まとめ - ニート歴10年からの数学日記を機械的に適用して、解答に至れるかを探る。分かりやすくするために、段階に分けて名前を付けることにした。その段階という区切りで繰り返したりするんで。 04年度ファイナ…

【随時更新】ユークリッド幾何学の定理や作図まとめ - ニート歴10年からの数学日記を機械的に適用して、解答に至れるかを探る。分かりやすくするために、段階に分けて名前を付けることにした。その段階という区切りで繰り返したりするんで。 03年度ファイナ…

日帰り旅行の次の日で疲れているんで、今回は適当に今のアイデアを書き留めておくだけにしようと思う。まず、図の各点にリストと循環リストを想定する。例えば最近解いている問題だったら、こう考える。A_distance := [[?, D], [?, H, ?, C], [?, I, ?, B]]…

【随時更新】ユークリッド幾何学の定理や作図まとめ - ニート歴10年からの数学日記を機械的に適用して、解答に至れるかを探る。分かりやすくするために、段階に分けて名前を付けることにした。その段階という区切りで繰り返したりするんで。 03年度ファイナ…