?
großesdanke schrieb:
kleiner Tipp schrieb:
nochmal ausführlcher: n^2 = m^2 (mod p) => p | (n^2 - m^2) = (n - m)(m + n) => (da p prim) p | (n-m) oder p | (n+m).
Wenn jetzt n ≠ m ist, so folgt aus 0 <= n < m < p, dass -p < n-m < p, 0 < n+m < 2p.
Jetzt Fallunterscheidung: 1. Fall (p | (n-m)), dann folgt aus -p < n-m < p, dass n-m = 0, also n = m, Widerspruch zu n ≠ m.
2. Fall (p | (n+m)), dann folgt aus 0 < n+m < 2p, dass n+m = p, also n = p-m.
qed.
Danke :xmas:
Keine Ursache, gerne wieder! :xmas1: