二つの対象 a, b に対して以下のように決まる対象を
ab で表すことにします。
2点 : 2点を通る直線
1点と1直線 : 1点を通り1直線に直交する直線
2直線 : 2直線の交点または両方に直交する直線
上図で a を青色、b を緑色、ab を赤色で表しています。
a と b はマウス(タブレットならば指)で動かすことができます。
円の外に出せば、直線に変わります。
双曲平面上のパスカルの定理
六角形 ABCDEF が円に内接しているとき、
AB と DE の交点、BC と EF の交点, CD と FA の交点 は一直線上にある。
円の上にある六つの点はマウス(タブレットならば指)で引っ張って動かすことができます。
パスカルの定理の様々なバリエーション