A szöveg csak Firefox böngészőben jelenik meg helyesen. Használja a fenti PDF file-ra mutató link-et a letöltésre. Legyenek az első háromszög befogói és , átfogója , ekkor a második háromszögéi , és , és Pitagorasz tétele szerint | | A másodikból az elsőt levonva átrendezés és egyszerűsítés után Ez csak úgy állhat fenn, ha c osztható 5-tel: , ahol is egész szám. Ekkor Ezt felhasználva első egyenletünk alapján -t is kifejezhetjük -vel: | | Innen átrendezés és egyszerűsítés után Ezek alapján és az | | (2) | -re vonatkozó másodfokú egyenlet két gyöke. Ezek csak úgy lehetnek egészek, ha a diszkrimináns egy egész szám négyzete: | | Ebből | |
A szorzat tényezői egyező párosságúak, mert -vel, tehát páros számmal különböznek. Így mindkettő páros, hiszen a szorzatuk páros. Feltehetjük, hogy pozitív, akkor az első tényező pozitív, tehát a második is, és az első a nagyobb. A szóba jövő felbontásai: . A két tényezőt és -nel jelölve innen | | és a befogók, mint a (2) egyenlet két gyöke | | Behelyettesítve -re a kapott 50, 1; 25, 2; 10, 5 értékpárokat, a következő háromszög-oldalakat kapjuk: | |
Az utolsó számhármas nem szolgáltat háromszög oldalakat, az első kettőről meggyőződhetünk, hogy kielégítik a pitagoraszi egyenletet és a feladat értelmében megnövelt oldalhosszak is. (Ez a harmadik hármasra is teljesül.) Megjegyzés. Hasonló meggondolással jutunk célhoz akkor is, ha felhasználjuk, hogy ha egy derékszögű háromszög oldalhosszai relatív prím egészek, akkor előállíthatók a=u2-v2, b=2uv, c=u2+v2 alakban, ahol u és v egymáshoz relatív prím természetes számok, amelyek egyike páros, másikuk páratlan, és ezeket (1)-be helyettesítjük.
Lásd pl. H. Rademacher ‐ O. Toeplitz: Számokról és alakzatokról, Középisk. Szakköri Füzetek, 2. kiadás, Tankönyvkiadó, Budapest, 1954, 87‐88. o. |