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. Ha egy szabályos ötszög valamelyik csúcsából kiinduló oldalait meghosszabbítjuk a szemközti oldal egyeneséig, olyan háromszöget kapunk, mint amilyen a feladatban szerepel. Ha összekötjük az ötszög csúcsait az ötszög centrumával, az eredeti háromszöget ‐ vagy legalábbis egy hozzá hasonlót ‐ hét hegyesszögű háromszögre daraboltuk fel. Megmutatjuk, hogy ennél kevesebb hegyesszögű háromszögre nem lehet az eredeti háromszöget feldarabolni, sőt ezen túlmenően azt is megmutatjuk, hogy egyáltalán nincs se a derékszögű, se a tompaszögű háromszögek között olyan, amelyiket hétnél kevesebb hegyesszögű háromszögre lehetne feldarabolni. Ezt úgy fogjuk belátni, hogy feltesszük az ellenkezőjét, és ebből ellentmondásra jutunk.
Tegyük fel tehát, hogy van ‐ esetleg vannak ‐ hétnél kevesebb hegyesszögű háromszögre bontható derék- vagy tompaszögű háromszögek. Vegyünk ezek közül ki egy olyat, amelyet a lehető legkevesebb részre lehet bontani, és tekintsük a minimális kibontását. E minimális felbontásban indul ki a derék-vagy tompaszög csúcsából él, ez azonban nem mehet el a szemközti oldalig. Ellenkező esetben ugyanis két háromszögre vágná az eredeti háromszöget, melyek közül legalább az egyik nem volna hegyesszögű, és legalább eggyel kevesebb hegyesszögű háromszögre lenne felbontva mint az eredeti. Tehát az eredeti felbontás nem volna minimális. A derék- vagy tompaszög csúcsából kiinduló szakasz ezek szerint csak belső pontban végződhet. Ehhez a ponthoz legalább öt háromszög csatlakozik a felbontásban, különben nem lehetne mind hegyesszögű. Rajtuk kívül már csak egy háromszög keletkezhet a felbontásból. Jelöljük a háromszög hegyes szögeinek a csúcsait -val, -vel, a harmadik csúcsot -vel, a már említett belső pontot -vel. Mivel az , , szögek nem mind hegyesszögűek, az , élek nem szerepelhetnek egyszerre a felbontásban (különben ismét azt kapnánk, hogy az eredeti felbontás nem volt minimális). Mondjuk a él nem szerepel a felbontásban, akkor a felbontás -t tartalmazó hegyesszögű háromszögének nem lehet csúcsa. Ennek a háromszögnek nyilván sem lehet csúcsa, tehát az -hoz csatlakozó háromszögnek csúcsa. A -ből induló további élek végpontjai csak eddig még nem említett pontok lehetnek, tehát a felbontásban még legalább további csúcs keletkezik. Ezek között nem lehet újabb belső pont, különben ahhoz is öt háromszög csatlakozna, amelyek közül legfeljebb csak kettő csatlakozhatna -hez, együtt tehát legalább háromszögünk volna. Tehát a -ből induló további élek végpontjai az háromszög oldalain vannak. Ha köztük van az szakaszon levő, a hozzá vezető él az háromszöget olyan részekre vágná, amelyek közül az egyik választható volna helyére, tehát nem volna minimális. Ha nincs e pontok közt -n levő, akkor -n vagy -n van közöttük kettő: jelöljük ezek közül a -hez közelebbit -vel, a másikat -val. Ekkor az (vagy ha , -n van, a ) háromszöget vágja ketté két olyan részre, amelyek közül az egyik létezése ellentmond minimális tulajdonságának. Állításunkat ezzel bebizonyítottuk. |