Ursprungligen postat av Otrolig
Tja, problemformuleringen ger dig att 2a² + 2b² + 2c² = 100 ⇔ a² + b² + c² = 50 där a, b, c tillhör de naturliga talen, {1, 2, 3, ...}. Vi ska nu försöka formalisera det, och vi ser att eftersom 8² = 64 räcker det med om vi undersöker över heltalen {1, 2, 3, 4, 5, 6, 7}.
a = 7: 7² + b² + c² = 50 ⇔ b² + c² = 1 och vi saknar uppenbarligen lösningar här då om b = 1 (minsta och enda möjliga lösning) måste c = 0 vilket ej är giltigt. Lösningar saknas här.
a = 6: 6² + b² + c² = 50 ⇔ b² + c² = 14 och vi ser att endast b = 1, 2, 3 är möjliga. Om b = 1 fås c² = 13 vilket saknar lösningar. Om b = 2 fås c² = 10 vilket saknar lösningar. Om b = 3 fås c² = 5 vilket saknar lösningar.
a = 5: 5² + b² + c² = 50 ⇔ b² + c² = 25 och vi ser att endast b = 1, 2, 3, 4 är möjliga. Om b = 1 fås c² = 24 vilket saknar lösningar. Om b = 2 fås c² = 21 vilket saknar lösningar. Om b = 3 fås c² = 16 vilket har lösningen c = 4 och på samma sätt ger b = 4 att c = 3. Vi har alltså lösningarna (5, 3, 4) och (5, 4, 3).
Såhär kan man fortsätta ända ner till a = 1 (eller om man är lat, använda symmetri). Lösningarna totalt blir i slutändan (3, 4, 5), (3, 5, 4), (4, 3, 5), (4, 3, 5), (4, 5, 3), (5, 3, 4), (5, 4, 3) men då det faktiskt inte spelar någon roll hur vi namnger de olika sidorna i rätblocket så är det väl mer riktigt att säga att det bara finns en lösning till problemet där en sida är 3, en är 4 och en är 5.