■ケーリーの不変式論(その3)
判別式は1次変換しても不変であったが,不変式のような性質をもつものは他のもないだろうか?
===================================
そのようなものとして,射影変換における複比がある.
(AC/BC)/(AD/BD)=(AC・BD)/(BC・AD)
これを(ABCD)で表すと(ABCD)=(A’B’C’D’)
(ABCD)=−1のとき,(AC/BC)=−(AD/BD)
すなわち,C,Dは線分ABを同じ比に内分・外分する(調和点列をなす)
===================================
[おまけ]
arccosx+arccosy=arccos(xy−√(1−x^2)√(1−y^ー2))
===================================