Takéto riešenie má jednu ohromnú výhodu. Je symetrické a táto symetria prináša peknú kopu "obmedzení a požiadaviek" na čísla k, m, n. Napríklad k musí byť párne (aby sa k^2 dalo rozdeliť na polovicu) a musí platiť, že k^2 = 2mn .
Prečo ma tieto "obmedzenia" tak potešili? No kvôli Veľkej Fermatovej vete predsa! Napríklad rovnica x^3 + y^3 = z^3 sa dá geometricky interpretovať takto - nájdi dve kocky, z ktorých za dá poskladať tretia. A keby to bolo na štvrtú, tak sú to štvorrozmerné kocky. Atď. Takže pekne symetricky cez rohy zlepím dve kocky, pre čísla k, m, n nájdem vzťah (triviálny polynóm), ktorý musia spĺňať, dokážem, že to nejde a hop, jednoduchý dôkaz fermatovho typu je na svete. Trochu kreslenia kocečiek (viď obr. vpravo) a hotovo, je to tu. Dokáž, že neexistujú prirodzené k, m, n, pre ktoré platí 3mn(2k+m+n)=k^3 a máš pulitzera za matematiku ;-)Vráťme sa k štvorcom a pytagorejským číslam. Ak má štvorec, ktorý je ich prienikom, hranu k a platí, že k^2 = 2mn, tak jeden štvorec má hranu k+m, druhý k+n a výsledný k+m+n. To sa dá ohromne pekne využiť pri generovaní aj riadne veľkých pytagorejských čísiel len tak, rovno z hlavy.
Aha, nech je napr. k=42. Súčin mn potom musí byť polovicou k^2, teda napr. "obdĺžnik", m=21 a n=42 a potom (42+21)^2 + (42+42)^2=(42+21+42)^2, čo je 63^2 + 84^2=105^2. Alebo "obdĺžnik" m=7 a n=126 (dostal som sa k nemu z toho predošlého takto m=21/3 a n=42*3) a hneď máme pytagorejskú trojicu 49^2 + 168^2=175^2 . Alebo (načo sa trocháriť) nech je k=2018. Potom m=1009, n=2018, pytagorejská trojica 3027^2 + 4036^2=5045^2. Rovno z hlavy! A hneď! Takéto skills musia (teda aspoň v určitých kruhoch) vyvolať záujem, nie? ;-)
Ďakujem za pozornosť
