thumb|91 de ghiulele aranjate într-o piramidă pătrată. Deși 91 este un număr piramidal pătratic, el nu este și un pătrat perfect, deci nu este o soluție la problema ghiulelelor. În matematica numerelor figurative problema ghiulelor tratează numerele care sunt atât pătratice, cât și piramidale pătratice. Problema poate fi formulată astfel: având în vedere un aranjament pătrat de ghiulele, pentru care pătrate aceste ghiulele pot fi aranjate într-o piramidă pătrată. Echivalent, care pătrate sunt și suma pătratelor consecutive, începând de la 1.
Formularea ca ecuație diofantică Când ghiulele sunt stivuite într-un cadru pătrat, numărul lor este un număr piramidal pătratic. Thomas Harriot a dat o formulă pentru acest număr în jurul anului 1587, răspunzând la o întrebare adresată de Sir Walter Raleigh în expediția lor în America. Édouard Lucas a formulat problema ghiulelelor prin ecuația diofantică
sau
thumb|300px|4900 de ghiulele pot fi aranjate fie ca un pătrat cu latura de 70, fie ca o piramidă pătrată cu latura de 24 Lucas a emis conjectura că singurele soluții ale acestei ecuații sunt N = 1, M = 1 și N = 24, M = 70, care corespund la 1, respectiv 4900 de ghiulele. În 1918 G. N. Watson a demonstrat conjectura folosind funcții eliptice. Ulterior au fost publicate și demonstrații elementare.
Aplicații Soluția N = 24, M = 70 poate fi folosită pentru generarea unei latice Leech. Rezultatul are importanță în teoria coardelor bosonice în 26 de dimensiuni.
Deși este posibilă acoperirea unui pătrat cu pătrate inegale, asta nu se poate realiza cu soluția problemei ghiulelelor. Suma ariilor pătratelor cu laturile de la 1 la 24 este egală cu aria pătratului cu latura de 70, dar ele nu pot fi aranjate pentru a-l pava.
Probleme asemănătoare Singurele numere care sunt simultan triunghiulare și piramidale pătrate sunt 1, 55, 91 și 208335.
În afară de soluția banală 1, nu există numere care să fie simultan tetraedrice și piramidale pătratice.
Note
Legături externe
Categorie:Numere figurative Categorie:Ecuații diofantice