- 973 名前：Kummer ◆g2BU0D6YN2 [2007/03/16(金) 21:43:32 ]
- よって
(2281, 3142, 1082)S^(-1)TS^(-3)TS^5TS^3 = (1, 0, 1)
行列の積 U = S^(-1)TS^(-3)TS^5TS^3 を計算すると。
U = (11, 31)/(-16, -45)
U の逆行列は V = U^(-1) = (-45, -31)/(16, 11)
よって
(1, 0, 1)V = (2281, 3142, 1082)
>>758 より
x = -45, y = 16 が 2281 = x^2 + y^2 の解である。
実際、45^2 + 16^2 = 2025 + 256 = 2281
