ΔΙΟΦΑΝΤΟΥ ΑΛΕΞΑΝΔΡΕΩΣ ΑΡΙΘΜΗΤΙΚΩΝ Δ΄

Aritmética, Libro IVArithmetica, Book IV

Los 40 problemas del cuarto libro griego (en el orden original iba después de los cuatro libros árabes, hoy perdidos en griego). Entran los cubos: dividir un número en dos cubos, igualar sumas y diferencias de cubos, cubos que deben ser cuadrados. Aparecen también las primeras soluciones indeterminadas dadas como expresiones (IV.19), los problemas de productos más uno (IV.19–20, origen de las cuádruplas diofánticas), la suma de cuatro cuadrados (IV.29–30) y los problemas 36–37, que en notación moderna son sistemas con recíprocos.

Las resoluciones reproducen paso a paso lo que hace Diofanto, incluidos los intentos que descarta por llevar a raíces irracionales o a valores negativos («demasiado grande», dice él) y los problemas auxiliares que resuelve antes (IV.8, 9, 28, 31, 39), según Tannery (1893) y Heath (1910). La columna de ecuaciones da la formulación moderna y permite ejecutar la resolución en SageMath; todas las celdas devuelven las respuestas de Diofanto.

The 40 problems of the fourth Greek book (in the original order it came after the four Arabic books, now lost in Greek). Cubes enter: dividing a number into two cubes, equating sums and differences of cubes, cubes that must be squares. Here too appear the first indeterminate solutions given as expressions (IV.19), the problems on products plus one (IV.19–20, the origin of Diophantine quadruples), the sum of four squares (IV.29–30) and problems 36–37, which in modern notation are systems in reciprocals.

The solutions reproduce step by step what Diophantus does, including the attempts he discards for leading to irrational roots or to negative values (“too large”, he says) and the auxiliary problems he solves first (IV.8, 9, 28, 31, 39), following Tannery (1893) and Heath (1910). The equations column gives the modern formulation and lets you run the solution in SageMath; every cell returns Diophantus’s answers.

oculta las soluciones para intentar los problemas; muestra las ecuaciones para ver, junto a cada uno, su formulación moderna, su resolución algebraica y una celda de SageMath; con las ecuaciones a la vista, muestra la geometría para ver qué variedad define el problema (dimensión, género, parametrización, curva elíptica con su grupo de Mordell–Weil y enlace a la LMFDB) hide the solutions to try the problems yourself; show the equations to see, beside each one, its modern formulation, its algebraic solution and a SageMath cell; with the equations shown, show the geometry to see which variety the problem defines (dimension, genus, parametrization, elliptic curve with its Mordell–Weil group and LMFDB link)

Numeración de Tannery y Heath. Diofanto intercala varios lemas (antes de IV.34, 35 y 36 sobre productos y sumas); aquí se han incorporado al problema correspondiente. Resoluciones cotejadas con la traducción de Christianidis y Oaks (2023).

Numbering of Tannery and Heath. Diophantus inserts several lemmas (before IV.34, 35 and 36, on products and sums); here they are folded into the corresponding problem. Solutions checked against the translation of Christianidis and Oaks (2023).

Comentarios, correcciones y sugerencias: buzón de sugerencias o enrique.gonzalez.jimenez [arroba] uam.es

Comments, corrections and suggestions: suggestion box or enrique.gonzalez.jimenez [at] uam.es