平面幾何にこういう定理があるそうです.
Zajicの定理 図でA'X=T_1T_2である
![$阿原 一志のブログ](https://stat.ameba.jp/user_images/20111130/11/kazuaha63/66/0b/p/t02200175_0392031111642974703.png?caw=800)
証明は,1点から円への2接線の長さが等しいことだけをつかってできます.
先日,論文のレビューの依頼で届いた論文で,「Zajicの定理は双曲幾何でも成り立つ」という短い論文があったのですが,上の定理は「1点から円への2接線の長さが等しい」ことしか使いませんから,このことが成り立つような幾何であれば全部成り立ちます.つまり「双曲幾何」である意味はないわけで・・・・(汗)こういうのをアクセプトしないでほしいですよね.
やれやれ