メビウス変換
メビウス変換が双曲型 であるとは、それがトレースが実数である行列 formula_17 で