Cinderella

平面幾何、射影幾何がインタラクティブに確かめることができるJavaアプリCinderella。

こいつはすげえぜ。ポイントとかラインとかサークルとかのツールを使って、図形をインタラクティブにワシャワシャ書いて、描いた図から直接的に幾何の定理を証明できる。かっちょえー。たとえばデザルグの定理なんざ次のとおり。

三角形ABCと三角形A'B'C'がある。AA', BB', CC'が一点Oで交わっていて、BCとB'C'の交点、CAとC'A'の交点、ABとA'B'の交点、をそれぞれP,Q,Rとすると、PQRは一直線上にある。



QRの直線を描くと、"line l (QRのこと) lies on P"なんて教えてくれる。

実はこいつは４年前くらいに買ったのだけれど、いままで放置していた。それで昨日なんとなく本棚に目をやったら、こいつがあって、遊んでみるとスゲー感動したというわけ…。をを、これぞ教育ソフトの手本となるべきアプリだ。JAVAで書く意味がバリバリあるぜ。

大変オススメ。書籍としてソフトウェアを売っているので、Amazon等で購入できる。たぶん、日本版もあったと思う。