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. Az eredeti állítás helyett lássuk be a következőt: az háromszög területe egyenlő az és háromszögek területének összegével. A két állítás egyenértékű (ekvivalens). Ugyanis ha két egyenlő területű síkidomból elhagyjuk a közös részüket, akkor a megmaradó részek területe is egyenlő lesz. Márpedig az és síkidomokból közös részüket az és háromszögeket elhagyva egyrészt az négyszög, másrészt az és háromszögek maradnak.
Most már csak azt kell belátnunk, hogy | | (1) |
Húzzuk meg mindhárom háromszögnek az oldalhoz tartozó magasságát. A magasságok talppontjait jelöljük rendre , és -mal. Így (1) jobb oldala a következő alakba írható: | | hiszen egy derékszögű trapéz, s mivel felezi -t, , és felezi -t, így középvonal és . Ezzel igazoltuk az állítást. Az állítás nyilván nem igaz, ha a négyszög konkáv. Ekkor ugyanis vagy az vagy az háromszög nem tartalmazza az , ill. háromszöget, pl. ábránkon ez utóbbi áll fenn. |
|