平面幾何にこういう定理があるそうです.

Zajicの定理 図でA'X=T_1T_2である
$阿原 一志のブログ

証明は,1点から円への2接線の長さが等しいことだけをつかってできます.

先日,論文のレビューの依頼で届いた論文で,「Zajicの定理は双曲幾何でも成り立つ」という短い論文があったのですが,上の定理は「1点から円への2接線の長さが等しい」ことしか使いませんから,このことが成り立つような幾何であれば全部成り立ちます.つまり「双曲幾何」である意味はないわけで・・・・(汗)こういうのをアクセプトしないでほしいですよね.

やれやれ