自動作図判定機の試作

中学生のときにコンパスとものさしを使った作図問題をちょろっとやったことがあると思います。こういった問題の採点をプログラムでやってしまおうというものを作っています。線分、角の合同関係、平行判定などはユーザーのした操作からプログラムが推論します。ユーザーは3つの三角形の合同関係(SSS, SAS, ASA)をつかってプログラムにヒントを出し、自分の作図したものが正しいことを教えます。

デモ動画

デモ動画中の問題の転載

線分\(BC\)上に点\(M\)をとったとき、\(\overleftrightarrow{BC} \perp \overleftrightarrow{AM}\)となるような点\(A\)を作図せよ。