1 votos

Demostrar que : $\text{gcd}\bigg(a+b, \frac{a^p+b^p}{a+b}\bigg)=1 \ \text{or} \ p$

Si $p$ es un primo impar y $a,b$ son números enteros relativamente primos, demuestre que : $$\text{gcd}\bigg(a+b, \frac{a^p+b^p}{a+b}\bigg)=1 \ \text{or} \ p$$

Como es obligatorio mostrar los intentos de evitar el cierre de los puestos, aquí está el mío :

En primer lugar, he intentado simplificar:

La factorización da : $$\frac{a^p+b^p}{a+b}=a^{p-1}-a^{p-2}+a^{p-3}-a^{p-4}+\dots-a+1$$ Para calcular $\text{gcd}$ podemos reducirlo, utilizando el hecho de que $p$ es un primo impar, ya que es impar, $p-1$ es par, por lo que : \begin{align} \frac{a^p+b^p}{a+b}&=a^{p-1}-a^{p-2}+\dots+a^{2x}-a^{2x-1}+\dots-a+1 \\\ &=(-1)^{p-1}-(-1)^{p-2}+\dots+(-1)^{2x}-a+1 \ (\text{mod} \ a+1) \\\ &=1+1+1\dots+1 \equiv p(\text{mod} \ a+1) \end{align} Así, por el algoritmo euclidiano : $$\text{gcd}\bigg(a+b, \frac{a^p+b^p}{a+b}\bigg)=\text{gcd}(a+1,p)$$

Y aquí es donde estoy atascado, pensé que se supone que debo reorganizarlo, pero, por desgracia no tengo nada, ¿Alguna sugerencia? Estaré muy agradecido.

0voto

Electroelf Puntos 328

Sugerencia :

Utiliza una factorización similar : $$\frac{a^p+b^p}{a+b}=a^{p-1}-a^{p-2}b+a^{p-3}b^2+\dots -ab^{p-2}+b^{p-1}$$

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X