Estoy publicando esto para preguntar si mi prueba es correcta ya que no he tomado a la teoría de números en un año y me siento un poco oxidado. Si no es correcto, por favor, dime donde me salió mal, así que se puede arreglar.
Quiero demostrar que el $\gcd(2n-1,2n+1)=1$ todos los $n$.
Utilizando el Algoritmo de Euclides, tenemos que $$ 2n+1=(2n-1)\cdot(1)+2 $$ $$ 2n-1=2(n-1)+1 $$ $$ 2=1\cdot(2)+0 $$ Por lo tanto, $\gcd(2n-1,2n+1)=1$ todos los $n$.