Pitagorasz tétele, 3 dimenzióban

 

Felmerült bennem: érvényes-e Pitagorasz tétele, illetve egy hasonló állítás a térben (azért első lépésben szerényen megmaradva a 3 dimenziós térben)?

Természetesen sík akárhány dimenziós térben is létezik, és abban a síkban értelmezhető és érvényes a Pitagorasz tétel. De ha már térben vagyunk, szakadjunk el a síkbeli háromszög. Ami nem is olyan nehéz. Mi más lenne a térbeli „háromszög”, ha nem a tetraéder? És mi más lenne a térbeli „derékszögű háromszög”. Azt viszont pontosítani kell, hogy mit tekintünk derékszögű tetraédernek, hisz több értelmezés is lehet. Mi azt a meghatározást fogadjuk el, hogy derékszögű tetraéder az a tetraéder, amelynek egyuk (derékszögű) csúcsához tartozó három szög mindegyike derékszög. Az ilyen tetraéder egy kocka része.)

Egy másik fogós lérdésnek az tűnt, hogy mire vonatkoztassuk a kereset eredményt. Az eredeti Pitagorasz tétel a háromszög oldalaira vonatkozik, amelyek egydimenziós alakzatok. És ha a témát a kétdimenziós térről felvittük a háromdimenziósba, jogosnak tűnk, hogy az eredmény elemeit vigyük fel, vagyis egydimenziósak (egyenes szakaszok) helyett kétdimenziósak legyenek (síkbeli háromszögük). Érdekes, hogy mindkettőre az oldal szót használjuk, csak éppen az utóbbi oldalak oldalai a tetraéder élei.

Egy másik fogós kérdés volt a négyzetre emelés értelmezése. A háromszög oldalainak négyzete egy egyszerű, „természetes” négyzet. De mi egy síkalakzat négyzete? És nem lenne indokol itt négyzetre emelés helyett köbemelést várni.

A konkrét vizsgálat gyorsan megadta a meglepően egyszerű és „ismerős” eredményt:

 

A derékszögű tetraéder tétele: A három derékszögű oldal területének négyzete összege egyenlő a negyedik oldal területének négyzetével.

 

A bizonyítás viszonylag egyszerű, de figyelmet és türelmet igénylő munkával elvégezhető. Magam inkább egy általános modell programozásával győződtem meg a tétel igaz voltáról (a szokás hatalma).

Mi tagadás, az eredmény megerősítése nagy öröm volt számomra. Két lehetőség van: vagy ez az eredmény már ismert, vagy még senki nem tette közé. Az örömöm nem függ ettől.

Kissé abszurd, de ma már így vagyunk tudományban, technikában, alkotásban: több idő, energia kell annak bizonyításához, hogy te vagy az első, mint magának az eredmény eléréséhez. Sajnos, az élet túl rövid ahhoz, hogy elsőségek bizonyítására pazaroljuk. Ebben inkább számítsunk azokra, akik abban lelik kétes örömüket, hogy megcáfolhatják mások elsőségét.

 

 

* * *

 

A 666 EDP-számhármas

 

Van-e megoldása az

a² + b² = c²

egyenletnek?

Nyilvánvalóan a válasz attól függ, hogy hol keressük a megoldást. Például a páratlan természetes számok körében nincs megoldás.

Más esetekben ismeretesek vagy találhatók megoldások, de akkor felmerülnek olyan kérdések: egy vagy sok megoldás létezik-e, illetve hogyan lehet ezeket megtalálni.

Igen, bizonyos esetekben igaz lehet, hogy csak egy megoldás létezik, például ha azt az egyszámjegyű természetes számok körében keressük.

Elég közismert a helyzet, ha megoldásokat a természetes számok körében. Ezzel az érdekes és szinte szórakoztató témával – távolról sem elsőként – a híres Püthagorasz is foglalkozott, ezért a hálás utókor pitagoraszi számhármasoknak nevezi a fenti egyenlet természetes számokból álló megoldásait

Itt meg kell egyezni azt, hogy megoldást keresve, nem feladatunk három számot találni. A megoldáshoz elegendő megtalálni a három keresett számból (a, b, c) bármely kettőt. A harmadik egyértelműen kiszámítható a kettőből. Ez ebben a témakörben különböző speciális feladattípusokat eredményez, mint például az, hogy egy adott „érdekes” számról megkérdezzük, hogy felírható-e két négyzet összegeként, esetleg azt, hogy hányféleképpen.

De lássuk végre, mi hozott össze minket ma!

A kérdés az, hogy létezik-e megoldása a fenti egyenletnek az egyiptomi törtek körében? (egyiptomi törtnek a természetes számok inverzeit, az 1/n típusú számok.) Vagyis a következő egyenlet megoldásai érdekelnek:

1/a² + 1/b² = 1/c²

Azonnal látjuk, hogy a „klasszikus” pitagoraszi hármas, a 3, 4, 5 itt semmilyen felállásban nem kínál megoldást, de még egyenként sem vezetnek eredményhez.

Egy fogós diofantoszi egyenletet kapunk. „Első ránézésre” sejthető, hogy akad megoldás, de néhány összefüggésen túl. amelyre visszatérek, megoldó képletet nem találtam, ezért türelmetlenségemben kiléptem a szent matematikából, és átmentem a nem kevésbé szent programozásba. Egy kis python-program percek alatt összegyűjtötte nekem azokat a megoldásokat, ahol a és b kisebb 10 000.

Éppen 666 lett. Érdekes. Remélem, senki nem babonás.

Itt a trónkövetelő, amely Püthagorasz „klasszikus” 3²+4²=5² helyére lép:

1/15² + 1/20² = 1/12²

Más érdekesség az, hogy a 666 megoldás között 42 megoldáspárban az „a” értékhez különböző „b” értékek akadnak. Például:

195, 260, 156

195, 468, 180

A „b” (vagyis a nagyobb) esetében érték megoldás között már 50 megoldáspár van azonos „b” értékkel, és egy olyan megoldáshármas, amikor ugyanaz a helyzet:

2275, 7800, 2184

3250, 7800, 3000

5850, 7800 , 680

A „c” érték esetében a helyzet már egészen „drámai”. 164 megoldáspár, 25 megoldáshármas, 15 megoldásnégyes, egy megoldásötös, két megoldáshatos és egy megoldáshetes is akad. Ezt úgy is lehet mondani, hogy egy bizonyos egyiptomi tört (2520) négyzete hét különböző módon állítható fel két egyiptomi tört négyzetének összegeként:

2625, 9000, 2520

2664, 7770, 2520

2730, 6552, 2520

2856, 5355, 2520

2968, 4770, 2520

3150, 4200, 2520

3480, 3654, 2520

(Csak csendben megjegyzem: 2520 = 7Í360. Foszlik Ozirisz titkait takaró lepel.)

Még egy érdekesség: éppen a kutatási terület határán a python két olyan megoldást talált, ahol két szomszédos szám szerepel:

2020, 9999, 1980

7500, 10000, 6000

A vizsgált megoldásokat nyilvánvalóan nem nevezhetjük pitagoraszi számhármasoknak, inkább az EDP-számhármas megnevezést javasolnám, ahol a betűk jelentése: egyiptomi, diofantoszi, pitagoraszi.

 

 

* * *

 

Szenzációs applikáció

 

A brit The Guordian kiszúrta ezt az új szenzációs appot a Google-store-ban.

Az AI technológiájú program kihasználja a híres Fermat tétel még híresebb bizonyításának egy váratlan következményét és a Poincaré-módszert, így 99%-os pontossággal megjósolja a heti lottó-számokat.

A forradalmi FIXFUX app egyelőre ingyenesen letölthető.

 

* * *