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. Szabó Attila megoldása. Az általánosság megszorítása nélkül feltehetjük, hogy az kör középpontja a körülírt kör -t nem tartalmazó ívén van. A háromszög oldalait és szögeit a szokásos módon jelöljük, félkerülete , területe , beírt és körülírt körének sugara rendre és . Legyenek a , , szakaszok látószögei rendre , és . Ekkor a szinusztétel miatt | | (1) | a következő összefüggések egyszerű szögszámolással adódnak: | | (2) | Ismert továbbá, hogy , , . Írjuk fel a koszinusztételt a és háromszögekben:
Mivel , a két jobb oldal egyenlő:
A és háromszögekben felírt koszinusztételekből ugyanígy következik, hogy | | (6) |
Az (5), (6) egyenletek , illetve esetén is teljesülnek. Ha viszont mindkettő teljesülne, az kör középpontja lenne, ami ellentmondás: az általánosság megszorítása nélkül feltehető, hogy . Ekkor (5) mindkét oldalát eloszthatjuk -vel:
Most írjuk fel a koszinusztételt az és háromszögekben is:
miatt a két jobb oldal egyenlő:
(2) miatt : ha ez teljesül, ugyanez fennáll kotangenseikre is, azaz . Felhasználva a kotangens addíciós képletét (nullával osztás nem fordul elő, mivel ):
A bizonyítandóból tehát következik a következő egyenlet teljesülése: | | (13) |
(13) nyilván igaz akkor, ha , azaz derékszög. Tegyük fel most, hogy nem derékszög, azaz oszthatunk -val: ezt elvégezve és felszorozva a nevezőkkel:
Az egyenlet mindkét oldalát beszorozzuk -tel és alkalmazzuk a szinusztételt: másrészt viszont ismert módon és nyilván : ezek együtt ellentmondásra vezetnek, a háromszög tehát -ben derékszögű. Ezt kellett bizonyítani.
Megjegyzés. Nem tettük fel, hogy . Ha a háromszög -ben derékszögű, valóban | | tehát , így . Az tehát, hogy a háromszögnek -ben kell derékszögűnek lennie, az általánosság megszorításaiból ( elhelyezéséből és feltevéséből) következik.
|