Processing math: 100%

domingo, 23 de septiembre de 2012

Problema del día. Algebra (23 de septiembre)

Determina todas las parejas de enteros positivos (a,b) tales que ab es un número primo y ab es un cuadrado perfecto.

21 comentarios:

  1. Como ab es un cuadrado, la suma de los exponentes de cada factor primo en a y b es par.
    Si a=p2n+1k,b=p2m+1l, con p primo, ab=p2n+1kp2m+1l=p(p2nkp2ml), que sólo sería primo si (p2nkp2ml)=1, entonces son consecutivos y (p2nk,p2ml)=1, entonces n,m=0 y k,l no tienen factores en común. k,l tienen que ser cuadrados y a la vez consecutivos, pero eso no se puede.
    Si a=p2nk,b=p2ml, ab=(p2nk)(p2ml)=p2(p2n2kp2m2l) que no es primo.
    Entonces a,b no tienen factores en común y a=x2,b=y2 con x,y positivos y (x,y)=1. ab=x2y2=(x+y)(xy) que sólo es primo si uno de (x+y),(xy) es primo y el otro es 1 (si uno tuviera varios factores primos su producto no sería primo, igual si los dos fueran primos).
    Como y es positivo, x+y>xy, entonces xy=1 y x=y+1. Entonces x,y son números consecutivos que sumados dan un primo.
    Entonces a,b son todos los números tales que a=(y+1)2,b=y2 donde y es un número tal que 2y+1 es un primo (a,b tienen que tener esa forma, y para cualquier y que para el que 2y+1 es primo existen a,b).

    ResponderBorrar
  2. Sea mcd(a,b)=k
    Sea a1=ak,b1=bk
    ab=a1kb1k=k(a1b1)=p
    k=p,(a1b1)=1ok=1,(a1b1)=p

    Caso 1: k=p,a1b1=1
    a1=b1+1
    a=k(b1+1),b=kb1
    ab=(k2)(b1+1)(b1)=n2(b1+1)(b1)=m2
    Supongamos quemb1m\textlessb1+1
    m2\textlessb1(b1+1)
    Supongamos que mb1+1m\textgreaterb1
    m2\textgreaterb1(b1+1)
    b1\textlessm\textlessb1+1\textsccontradiccionmZ
    a1b11

    Caso 2: k=1,a1b1=p
    Como k=(a,b)=1,ab=n2a=x2,b=y2
    Luego ab=x2y2=(x+y)(xy)=p
    xy=1,x+y=p
    2y+1=p

    yZ+ tal que 2y+1=p$\exists\: a,b\in\mathbb{Z}^+ \text{ con } a=(y+1)^2,b=y^2\text{ que cumplen }a-b=p,ab=n^2$

    ResponderBorrar
  3. Me fijo que como a,b son enteros entonces m2 tambien lo es. Luego
    m=ab Entonces (a,b) tienen raiz cuadrada exacta: sea a=x2 y b=y2. Entonces ab=x2y2=(x+y)(xy)=p entonces como p es primo x+y=p y xy=1. Y si restamos ambas ecuaciones nos queda que 2y=p1 p=2y+1. Entonces para sacar el valor de a solo sustituyo y me queda que x2y2=2y+1 x2=y2+2y+1=(y+1)2 entonces como a=x2. Todos los enterosa,b que satisfacen las condiciones del problema son para todas las y que existen tales que 2y+1 es primo y (a,b)=(y+12),y

    ResponderBorrar
    Respuestas
    1. Donde puse a=x2 y b=y2 solo se cumple si mcd(a,b)=1:
      Supongamos que a y b no son primos relativos Entonces sea el mcd(a,b)=d con d>1 entonces a=dk y b=dj entonces
      ab=dkdj=d(kj)=p como p es primo y d>1 entonces
      d=p y kj=1.
      Entonces ab=(dk)(dj)=d2kj=d2(k(k1))=m2.Entonces:
      m=dk(k1) entonces como la raiz de k(k1) debe ser entera y como k y k1 son primos relativos la raiz de k y la de k1 debe ser entera lo cual es una contradiccion ya que k y k1 son consecutivos.entonces kj=p y d=1 como queriamos demostrar.

      Borrar
  4. hasta aqui llevo
    http://www.facebook.com/photo.php?fbid=390108677727619&set=a.389248274480326.91304.100001854706497&type=3&theater

    ResponderBorrar
  5. primero me fije en que comoab=k2 entonces ab=k2 entoncs los dos numeros son cuadrados perfectos entonces digamos a=x2,b=y2 entonces sabemos que ab=p=x2y2=(xy)(x+y) pero como p es primo entonces x+y=P,xY=1 y es facil ver que para que x+y=p y eso es lo unico q llevo hasta ahora.

    ResponderBorrar
    Respuestas
    1. Bien, sólo falta ver que para decir que a y b son cuadrados perfectos primero tienes que demostrar que son primos relativos (podría pasar algo como a=2 y b=8, donde el producto es un cuadrado pero ninguno lo es por su cuenta)

      Borrar
  6. http://www.facebook.com/photo.php?fbid=393997047337762&set=a.384382948299172.87730.100001824112299&type=3&theater

    ResponderBorrar
  7. Primero nos fijamos en que si ab=r2 entonces ab=r
    Si sumamos los exponentes de cada factor primo de a y b el resultado sera un numero par de exponente en cada primo. Hasta ahi es a donde he llegado.

    ResponderBorrar
  8. Intento.-
    Tenemos 2 casos:
    Caso mcd(a,b)=xa=xy,b=xzab=xyxz=x(yz) lo cual debe ser primo, para no salirnos de este caso, yz=1x es primo.
    Caso mcd(a,b)=1a=x2,b=y2ab=x2y2=(x+y)(xy), lo cual debe ser primo, por lo que x+y o xy es primo, si x+y=1 entonces alguno es igual a 0, pero a o b tendría que ser igual a 0 sabemos que son enteros positivos, por lo tanto xy=1, x+y es primo.

    ResponderBorrar
    Respuestas
    1. En el primer caso, después de que llegas a que x es primo, cómo descartas ese caso? (falta decir por qué el producto no puede ser cuadrado.)
      En el segundo caso, falta concluir (decir que a=(y+1)2,b=y2 con 2y+1=p)

      Borrar
    2. Este comentario ha sido eliminado por el autor.

      Borrar
    3. Solución completa.-
      Tenemos 2 casos:
      Caso 1.-
      mcd(a,b)=xa=xy,b=xzab=xyxz=z(yz) lo cual debe ser primo, para no salirnos de este caso: yz=1y=z+1,x es primo. De lo anterior tenemos que: ab=x2yz=x2z(z+1), lo cual debe ser cuadrado perfecto, entonces si x2 ya lo es, tendremos que: z(z+1) es un cuadrado perfecto, como mcd(z,z+1)=1z,z+1 son cuadrados perfectos, lo cual es facil ver que no se puede pues: z+1=n2,z=m2n2m2=(n+m)(nm)=1n+m=nmm=mm=0z=0b=0 lo cual es una contradicción pues b es un entero positivo.
      Caso 2.-
      mcd(a,b)=1a=x2,b=y2ab=x2y2=(x+y)(xy)
      lo cual debe ser primo,
      (xy)\textless(x+y)xy=1x=y+1x+y=2y+1 lo cual debe ser primo. Sabemos que 2y+1 puede representar a cualquier primo impar, por lo tanto, existe una pareja por cada primo existente.

      Borrar
  9. Vemos que ab es un cuadrado perfecto, por lo que ab$debeserunentero,deahí,definimos:a = m^2yb = n^2vemosquem^2 - n^2esunnúmeroprimo,endondeestoesiguala(m+n)(m-n)ycomoesunprimo,yambossonpositivos,vemosquem-n = 1ym+nesunnúmeroprimo.Deaquisumamosm+n+m-n=p+1=2myobtenemosquea= \frac{(p+1)^2}{2}\Analogamentelasrestamosyobtenemosqueb= \frac{(p-1)^2}{2}\Porloqueab= (\frac{(p+1)^2}{2}\)(\frac{(p+1)^2}{2}\)Dedondeexpandimosyfactorizamos,ynosqueda:ab= (\frac{(p^2-1)}{4}\)^2Endondep = m+n = a-bEntoncesab= (\frac{((a-b)^2-1)}{4}\)^2Deaqui,ab= (\frac{(1)}{16}\)((a-b)^4-2(a-b)^2+1)
    Y de ahi en adelante, segui factorizando, quedo una ecuación de cuarto grado, la cual resolvi en 5 páginas, y me quedo que las posibles raices de b son a1 o a+1 Pero de ahi ya no sale nada bonito. Hasta ahi he llegado.

    ResponderBorrar
    Respuestas
    1. Falta ver que para decir que a y b son cuadrados perfectos primero tienes que demostrar que son primos relativos (podría pasar algo como a=2 y b=8, donde el producto es un cuadrado pero ninguno lo es por su cuenta).
      Además, tienes un error en el despeje de a y b, debería quedar a=(p+12)2 y b=(p12)2

      Borrar