自動定理証明機能（直線が点を通る） - KidsCindy@Wiki

自動定理証明機能（直線が点を通る）を作った。アイディアは「２直線が重なる」とほぼ同じ。こちらのほうがやや計算量は多いが、本質的な多さではない。

直線を新しく追加するときに、既存との点の位置関係を確認するのだが、それを「自由点を少し動かしてもインシデントであり続けるか」という考え方で自由点でのループを構成して、すべてクリアしたら「数学的にインシデントだ」と表明してしまう。

(１２月１５日)あはら