双曲平面上のデザルグの定理
「aa', bb', cc' が従属していれば、
(bc)(b'c'), (ca)(c'a'), (ab)(a'b') も従属している。」
下図では a, b, c を青、a', b', c' を緑、aa', bb', cc' を黒、
(bc)(b'c'), (ca)(c'a'), (ab)(a'b') を赤で描いています。
青で描いてある頂点 a, b, c, 緑で描いてある頂点 a', b', c'
はマウス(タブレットならば指)で引っ張って動かすことができます。
ただし、灰色で描かれた大きい円の中でだけ動かして下さい。
a, b, c, a', b', c' を自由に動くようにしていますので
仮定が満たされ得れば、結論も満たされることを確認して下さい。