二つの対象 a, b に対して以下のように決まる対象を ab で表すことにします。

2点     : 2点を通る直線
1点と1直線 : 1点を通り1直線に直交する直線
2直線    : 2直線の交点または両方に直交する直線


上図で a を青色、b を緑色、ab を赤色で表しています。
a と b はマウス(タブレットならば指)で動かすことができます。
円の外に出せば、直線に変わります。

双曲平面上のパスカルの定理

六角形 ABCDEF が円に内接しているとき、
AB と DE の交点、BC と EF の交点, CD と FA の交点 は一直線上にある。
円の上にある六つの点はマウス(タブレットならば指)で引っ張って動かすことができます。

パスカルの定理の様々なバリエーション