18/04/18 14:57:48.83 OD1LF7hc.net
>>261
p|yならp|xとなりv_p(右辺) ≧ 2> 1 = v_p(左辺)より矛盾。よってyはpの倍数でないからx/yはp進整数。このときa = (x/y)^2 (mod p)。
18/04/18 14:57:48.83 OD1LF7hc.net
>>261
p|yならp|xとなりv_p(右辺) ≧ 2> 1 = v_p(左辺)より矛盾。よってyはpの倍数でないからx/yはp進整数。このときa = (x/y)^2 (mod p)。