■ケーリーの不変式論(その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))

===================================