Digamos que [tex]n[/tex] e [tex]p-n[/tex] têm um divisor em comum, [tex]d[/tex]. Desse modo: [tex]n = xd\\p -n = yd\\\\p - xd = yd\\p = yx + xd\\p = d (y + x)[/tex]
Como [tex]p[/tex] é primo, [tex]d = 1[/tex] ou [tex]d=p[/tex]. Porém temos também que:
[tex]d \leq min(n,\: p-n) < p[/tex]
Restando unicamente [tex]d = 1[/tex], demonstrando a sentença original.
Lista de comentários
Verified answer
Digamos que [tex]n[/tex] e [tex]p-n[/tex] têm um divisor em comum, [tex]d[/tex]. Desse modo:
[tex]n = xd\\p -n = yd\\\\p - xd = yd\\p = yx + xd\\p = d (y + x)[/tex]
Como [tex]p[/tex] é primo, [tex]d = 1[/tex] ou [tex]d=p[/tex]. Porém temos também que:
[tex]d \leq min(n,\: p-n) < p[/tex]
Restando unicamente [tex]d = 1[/tex], demonstrando a sentença original.