Loading [MathJax]/jax/output/HTML-CSS/jax.js

martes, 11 de septiembre de 2012

Problema del día. Teoría de números. (11 de septiembre)

Se sabe que en todo triángulo rectángulo con lados enteros x,y,z, éstos son de la forma x=2st, y=s2t2 y z=s2+t2, (con x,y catetos y z la hipotenusa), con s,t enteros. Se dice entonces que (x,y,z) es una terna pitagórica.
Muestra que si (x,y,z) es una terna pitagórica, entonces se satisface que el producto xyz es múltiplo de 30.

24 comentarios:

  1. Respuestas
    1. No, Diego. En el enunciado del problema dice que x,y,z son todos enteros.

      Borrar
  2. xyz=2st(s2t2)(s2+t2), para que xyz sea múltiplo de 30, debe ser múltiplo de 2, 3 y 5. Vemos que ya tiene un factor 2, entonces queda demostrar que es múltiplo de 3 y de 5.
    Si s o t son múltiplos de 3, xyz también lo es porque x=2st, supongamos que no lo son. s2,t21(mod3) (ignorando el caso en el que son congruentes a 0), entonces s2t211=0(mod3), s2t2 es múltiplo de 3 y xyz también 3.
    Si s o t son múltiplos de 5, xyz también lo es porque x=2st, supongamos que no lo son. s2,t21,1(mod5), si tienen igual congruencia, su diferencia (s2t2) tiene congruencia 0 mod 5 y es múltiplo de 5 igual que xyz. Si s2,t2 tienen distinta congruencia, su suma (s2+t2) tiene congruencia 1+(-1)=0, entonces su suma es múltiplo de 5 y xyz también.
    xyz es múltiplo de 2, 3 y 5, entonces es múltiplo de 30.

    ResponderBorrar
  3. Este comentario ha sido eliminado por el autor.

    ResponderBorrar
  4. Si x=2st, y=s2t2, z=s2+t2 xyz=(2st)(s2t2)(s2+t2).
    Si 30=235(2st)(s2t2)(s2+t2) debe cumplir con tales criterios de divisibilidad.
    Divisibilidad por 2.- Es fácil ver que: 2|(2st)(s2t2)(s2+t2)
    Divisibilidad por 3.- las congruencias (mod.3) son: (0,1,2), al elevarlas al cuadrado, solo pueden ser (0,1):
    02=00(mod3)
    12=11(mod3)
    22=41(mod3)
    Si 3|s 3|(2st)(s2t2)(s2+t2), lo mismo sucede si 3|t, para el caso en que 3 no divide a ninguno s2,t21(mod3)s2t20(mod3)3|(2st)(s2t2)(s2+t2)
    \bullet Divisibilidad por 5.- las congruencias (mod.5) son: (0,1,2,3,4), al elevarlas al cuadrado, solo pueden ser (0,1,4):
    02=00(mod5)
    12=11(mod5)
    22=44(mod5)
    32=94(mod5)
    42=161(mod5)
    Si 5|s 5|(2st)(s2t2)(s2+t2), lo mismo sucede si 5|t, para el caso en que 5 no divide a ninguno s2,t2(1,1)(mod3), si ambos son congruentes a 1 o a 1, sucede que: 5|(s2t2)5|(2st)(s2t2)(s2+t2), si ambos son congruentes a 1 y 1 respectivamente, sucede que 5|s2+t25|(2st)(s2t2)(s2+t2)
    Tenemos que cumple con los criterios de divisibilidad requeridos
    30|xyz Q.E.D.

    ResponderBorrar
  5. *en el caso de Divisibilidad por 5 puse que: s2,t2(1,1)(mod3), ahí es:
    s2,t2(1,1)(mod5)

    ResponderBorrar
  6. Se puede decir que t^2 es lo mismo que -t^2

    ResponderBorrar
  7. pues primero se que x+y>z entonces
    2st+22t2>s2+t2
    2stt2>t2
    2st>2t2
    2s>2t
    s>t
    Ademas factorizo el 30 por lo tanto tengo que lo dividen el 2,3,5 y se que 2s5t2st5 es congruente con 0 mod 30 y ya que es par menos par entonces este numeros es par por lo tanto ya se que 2s5t2st5 es congruente con 0 mod 2 ahora solo me falta con el 3 y el 5.

    ResponderBorrar
    Respuestas
    1. bueno pues primero vemos el y tenemos que un numero puede ser 0,1,2 mod 3 sabemos que los cuadrados solo pueden ser 0,1 entonces hay varios casos en el que s=1 t=1, s=0 t=1,s=1 t=0, s=0 t=0, y los demas casos tiene solucion excepto estos dos s=0 t=1,s=1 t=0,

      Borrar
    2. pero ya que se multiplican xyz tenemos que si uno es 1 y el otro es 0, entonces seria x=(2*1*0)y=(1+0)z=(1+0) esto pasa cuando esto pasa s=0 t=1 y analogamente cuando es s=1 t=0 entonces ya tenemos el 3, ahora solo falta el 5 en este los cuadrados solo pueden ser 0,1,4 entonces cuando mientras sean iguales sabemos que seran congruentes con 5 entonces cuando usen el 0 seran congruentes por x y cuando sea 1 y 4 va a estar el caso de z en cual seran 1+4, por lo tanto sera congruente al 5
      entonces si es congruente con el 2,3 y 5 son congruentes con el 30

      Borrar
    3. 1. De dónde sacas 2s5t2st5?
      2. No das ningun argumento para el resto de los casos considerando módulo 3.
      3. Puedes ser más explícito en tu argumento para el módulo 5?

      Borrar
  8. Para que xyz sea multiplo de 30 debe de tener al menos 1 factor 2, 3 y5. El factor 2 lo encontramos inmediatamente en x=2st.

    Para hayar el factor 3 usaremos modulo 3. s2,t2(1,0)(mod()3) pero si s2 o t2 es congruente a 0 (mod3) s o t ya es multiplo de 3 y se encontrara en x porque x=2st. El unico caso en el que no se puede hacer esto es cuando s2(1)(mod()3) y t2(1(mod()3). Si esto sucede, el factor 3 se encontrara en y porque s2t2(11)(0)(mod3).

    Ahora solo nos falta encontrar el factor 5. Sabemos que s2,t2(0,1,4)(mod5). Si alguno es congruente 0 (mod5) habremos encontrado nuestro factor 5 en x. Si s y t tienen la misma congruencia, el factor 5 estara en y porque se restaran y nos daran 0. El ultimo caso es cuando uno de ellos es congruente 1 y el otro a 4. En este caso nuestro factor 5 estara en z porque se sumaran las congruencias y 1+4=5(0)(mod()5)

    Como ya hayamos todos los factores, al multiplicar xyz obtendremos un multiplo de 30

    ResponderBorrar
  9. queremos provar que xyz es multiplo de 2,3,5
    primero nos fijamos que 2st(s2t2)(s2+t2) tiene un factor 2 osea que ya tenemos el factor 2
    entonces ya nomas queremosprovar que 3,5/st(s2t2)(s2+t2) luego nos fijamos que st(s2t2)(s2+t2)=s5tst5=st(s4t4) luego nos fijamos en que s4,t41,0mod5 entonces solo tenemos cuatro casos
    caso1 s40mod5 t41mod5
    nos fijamos que para que s40mod5 entonces s0mod5 entonces en ese caso si nos dio multiplo de 5
    caso 2 seria alternar las congruencias y pues pasaria lo mismo t0mod5 y entonces la multiplicacion como tiene un factor t pues acavamos este casso y nos da multiplo de 5
    caso 3 s4,t40mod5
    con solo verlo acavamos pues tenemos factores 5 en la multiplicacion porque como s40mod5 entonces s0mod5
    caso 4 s4,t41mod5
    pues tendriamos que s4t40mod5 y como lo anterior es un factor en la multiplicacion pues acavamos
    como ya isimos los cuetro caso entonces 5/xyz
    y con el tres pasa lo mismo
    nos fijamos en que s4,t41,0mod3 entonces solo tenemos cuatro casos
    caso1 s40mod3 t41mod3
    nos fijamos que para que s40mod5 entonces s0mod3 entonces en ese caso si nos dio multiplo de 3
    caso 2 seria alternar las congruencias y pues pasaria lo mismo t0mod3 y entonces la multiplicacion como tiene un factor t pues acavamos este casso y nos da multiplo de 3
    caso 3 s4,t40mod3
    con solo verlo acavamos pues tenemos factores 3 en la multiplicacion porque como s40mod3 entonces s0mod3
    caso 4 s4,t41mod3
    pues tendriamos que s4t40mod3 y como lo anterior es un factor en la multiplicacion pues acavamos
    por lo anterior tenemos que 30/xyz

    ResponderBorrar
  10. en los casos del tres se me pasaron unos modulos 5 que en realidad sn modulo 3

    ResponderBorrar
  11. Nos fijamos en que x=2st0mod2
    xyz0mod2

    Sabemos que x20,1mod3
    Luego vemos que si s2,t20mod3
    s,t0mod3
    x=2st0mod3
    xyz0mod3
    Luego, si s2t21mod3
    y=s2t20mod3
    xyz0mod3

    Sabemos que x20,1,4mod5
    Luego vemos que si s2,t20mod5
    s,t0mod5
    x=2st0mod5
    xyz0mod5
    Luego, si s2t21,4mod5
    y=s2t20mod5
    xyz0mod5
    Y por ultimo, si SPDG s21mod3 y t24mod5
    z=s2+t20mod5
    xyz0mod5

    Luego, como 2|xyz,3|xyz,5|xyz2×3×5=30|xyz

    Si xyz es una terna pitagorica, entonces se cumple que 30|xyz

    ResponderBorrar
  12. http://s739.photobucket.com/albums/xx34/leo0_9506/Ommch/?action=view&current=CAM000361.jpg

    ResponderBorrar
  13. http://s739.photobucket.com/albums/xx34/leo0_9506/Ommch/?action=view&current=CAM000361.jpg

    ResponderBorrar
  14. Como 30=2*3*5, demostrare que xyz es multiplo de cada uno de esos factores.
    Veo que xyz=2st(s2t2)(s2+t2), enotonces 2|xyz ya que 2 divide a 2st.
    Luego para el caso del 3 si s o t son multiplos de 3 xyz tambien lo sera, ahora si ninguno lo es, me fijo que s,t van a ser congruentes a 1 modulo 3, entonces donde esta (s2t2) la resta de congruencias dara 0 y por lo tanto sera multiplo de 3.
    Ahora para el caso del 5 hago lo mismo, me fijo que si supongo que 5 no divide a s,t entonces s2,t2 son congruentes a 1 o 4 modulo 5, entonces la combinaciones de las congruencias posibles son:(1,4),(1,1),(4,1),(4,4), en la primera y la tercera al sumarse las congruencias dara 0 modulo 5, y en la segunda y cuarta al restarse tambien dara 0 modulo 5.Entonces 5|xyz.
    Entonces si xyz es multiplo de 2,3 y 5 xyz es multiplo de 30

    ResponderBorrar
  15. Descomponemos en primos a 30 : 2×3×5
    Sabemos que si s o t son múltiplos de 3 o 5 , xyz va a ser múltiplo del número correspondiente porque tenemos que x=2st .
    Múltiplo de 2 :
    Tenemos que xyz tiene un factor 2 en x=2st
    xyz es múltiplo de 2 .
    Múltiplo de 3 :
    s,t0(mod3)\checkmark
    s,t1,2(mod3)
    s2,t21,1(mod3)
    s2t2110(mod3)\checkmark
    Múltiplo de 5 :
    s,t0(mod5)\checkmark
    s,t1,2,3,4(mod5)
    s2,t21,4,4,1(mod5)
    Podemos tener cuatro casos distintos:
    s2,t21(mod3)
    s2t2110(mod5)\checkmark
    s2,t24(mod3)
    s2t2440(mod5)\checkmark
    Los ultimos dos casos son cuando s y t tienen congruencias distintas. Utilizando s2t2 , tengo como resultado 3 o 2 lo cual no me resulta util.
    Esto se reduce a un solo caso, utilizando s2+t2 .
    s2+t21+40(mod5)\checkmark

    xyz es múltiplo de 30 .

    ResponderBorrar
  16. Para que xyz sea un múltiplo de 30 debe ser divisible entre 2 , 3 y 5
    Vemos que xyz=(2st)(s2t2)(s2+t2)
    Por lo cual 2 dividira a xyz
    Tenemos que si tanto s o t son multiplos de 3 o 5, como =2st hemos acabado, si no lo son tenemos dos casos que aplican para ambas congruencias:
    Para s2,t2 hay 2 congruencias modulo 3, 1 y 2
    Si s2 y t2 tienen la misma congruencia, s2t2 será multiplo de 3 y acabamos esa parte, si tienen diferente congruencia, al sumar (s2+t2) vemos que es multiplo de 3 y acabamos.
    Para s2,t2 hay 2 congruencias modulo 5, 1 y 4 Y de forma reciproca con lo anterior, si son iguales las congruencias, al restar acabamos, si son diferentes, al sumar acabamos.
    Por lo cual queda demostrado de xyz es múltiplo de 30.

    ResponderBorrar
    Respuestas
    1. Tienes un error en cuanto a la línea que dice:
      "Para s2,t2 hay 2 congruencias modulo 3, 1 y 2"

      Para cualquier cuadrado perfecto r, se tiene que r0,1mod3. Corrige eso y ya te pongo carita feliz :p

      Borrar
  17. http://www.facebook.com/photo.php?fbid=4611736575675&set=a.4586100454788.189149.1360331970&type=3&theater

    ResponderBorrar