11/07/29 02:18:21.99 XmbqFN8c0
「(p,q)=1よりp^2が17の倍数かつq^2が1」
が引っかかるんだが。
17ｑ^2＝ｐ^2…＊
ｐ＝17ｋとおける。（ｋ∈Z）
＊に代入して整理すると、
17ｋ^2＝ｑ^2
よってｑは17の倍数であるから、
「ｐとｑは互いに素」に矛盾している。
この流れ・・・のはず・・・
11/07/29 02:18:21.99 XmbqFN8c0
「(p,q)=1よりp^2が17の倍数かつq^2が1」
が引っかかるんだが。
17ｑ^2＝ｐ^2…＊
ｐ＝17ｋとおける。（ｋ∈Z）
＊に代入して整理すると、
17ｋ^2＝ｑ^2
よってｑは17の倍数であるから、
「ｐとｑは互いに素」に矛盾している。
この流れ・・・のはず・・・