18/10/11 01:05:37.64 OZ6fRFUS.net
こうもできる。参考までに。
>>669
(-11/5)^4 ≡ 3^4 ≡ 3 (mod 13) (∵ -11/5 ≡ 3 (mod 13))
∴ (-11/5) not in ker(-)^4 = im(-)^3。
∴ 5x^3 + 11y^3 ≡0 (mod 13) ⇒ x ≡ y ≡ 0 (mod 13) (∵ otherwise (-11/5) ≡ (x/y)^3 (mod 13))
x ≡ y ≡ 0 (mod 13) ⇒ 13z ≡ 0 (mod 13^3) ⇒ z ≡ 0 (mod 13)