¿Hay números enteros positivos a,b,c,da,b,c,da, b, c, d tales que (a,b,c)(a,b,c)(a, b, c) y ( b,c,d)(b,c,d)(b, c, d) son ternas pitagóricas?

La terna pitagórica es una terna de números enteros. ( a , b , C ) tal que a 2 + b 2 = C 2 . ¿Existe alguna terna pitagórica tal que, no sólo a 2 + b 2 , pero también b 2 + C 2 es un numero cuadrado? Si no, ¿cómo probarlo?

Traté de probar la inexistencia de la siguiente manera: si es cierto, significaría que hay un par de números enteros tales que tanto la suma como la diferencia de sus cuadrados es un número cuadrado. Llamemos a estos números enteros a y b y a < b . Entonces, hay números enteros C y d tal que:

a 2 + b 2 = C 2 a 2 b 2 = d 2

Multiplicando esas ecuaciones da:

a 4 = ( C d ) 2 + b 4

Esto es similar al último teorema de Fermat para norte = 4 , pero usarlo solo muestra que C d no puede ser un número cuadrado, no es que no haya soluciones enteras.

Hay triples pitagóricos. X 2 + y 2 = a 2 + b 2 = z 2 Y no hay ninguno. Todavía lo demostró Euler.
@individ ¿podría aclarar su comentario?
Tu ecuación no tiene soluciones.
@individ ¿Y cómo demostrar que no hay soluciones?
Estoy tratando de resolver esto y si tal d existe debe satisfacer 2 b 2 = ( a + d ) ( d a ) . No sé... ¿Quizás esto te da algunas ideas? También a y d debe tener la misma paridad. Y 2 ( a + d ) ( a d ) debe ser de la forma 4 k .

Respuestas (2)

Estos son triples con X 2 + y 2 = 2 z 2 , Todo positivo y mcd ( X , y ) = 1.

February 14, 2015   x^2 + y^2 = 2 z^2
           x           y           z
           1           1           1
           1           7           5
           1          41          29
           1         239         169
           7          17          13
           7          23          17
           7         103          73
           7         137          97
          17          31          25
          17          73          53
          17         193         137
          17         431         305
          23          47          37
          23          89          65
          23         289         205
          31          49          41
          31         151         109
          31         311         221
          41         113          85
          41         119          89
          47          79          65
          47         217         157
          47         497         353
          49          71          61
          49         257         185
          49         457         325
          71          97          85
          71         391         281
          73         161         125
          73         263         193
          79         119         101
          79         401         289
          89         191         149
          89         329         241
          97         127         113
         103         271         205
         103         313         233
         113         217         173
         113         463         337
         119         167         145
         119         233         185
         119         479         349
         127         161         145
         137         367         277
         137         409         305
         151         343         265
         161         199         181
         161         281         229
         167         223         197
         191         329         269
         193         497         377
         199         241         221
         217         353         293
         217         487         377
         223         287         257
         233         383         317
         241         287         265
         281         433         365
         287         337         313
         287         359         325
         337         391         365
         359         439         401
         391         449         421
jagy@phobeusjunior
Voy a buscar el cuaderno en el que hice el trabajo de borrador. Pero estoy bastante seguro de que todos esos casos fallan por la misma razón, que z 2 X 2 no es un cuadrado perfecto. Editar: acabo de verificar, todos esos casos fallan para ese caso.

Para el ( a , b , C ) y ( b , C , d ) Triples pitagóricas para trabajar, observamos:

  1. a , b , C es primitivo (de lo contrario se reduce por el gcd)
  2. asimismo b , C , d es primitivo
  3. Usando la solución tradicional para un triple: 2 metro norte ; metro 2 norte 2 ; metro 2 + norte 2 , entonces C es impar
  4. si C es raro en el ( b , C , d ) triple, entonces b debe ser par = 2 metro norte
  5. Entonces nosotros tenemos ( 2 metro norte , metro 2 + norte 2 , d ) para el segundo triple
  6. Entonces ( 2 metro norte ) 2 + ( metro 2 + norte 2 ) 2 = metro 4 + 6 metro 2 norte 2 + norte 4 = d 2 el cual es un

Pero HC Pocklington de St John's College en 1913 probó que 6 para el coeficiente de X 2 y 2 en la ecuacion general X 4 + d X 2 y 2 + y 4 = z 2 es imposible por módulos primos, en este caso 6 != 7 mod 8 Ver HC Pocklington. "Algunas imposibilidades diofánticas" Proc. Camb. Fil. Soc, 17: pp 110 – 118, 1914.

(¿error de tipografía?). No entiendo "6!=7 mod 8".
@DanielWainfleet Significa 6 ! = 720 = 8 90 no puede ser de la forma 8 norte + 7 .