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. A szimmetria középpontját egyelőre vegyük fel tetszőlegesen. Világos, hogy a felvett pontra nézve szimmetrikus sokszögek közül maximális területű az az idom lesz, amelyet az adott háromszög és ennek pontra tükrözöttje, háromszög egyaránt lefed, mert minden más pontra szimmetrikus, a háromszög belsejében fekvő idom beleesik e közös részbe is. Ezek után az a kérdés, melyik az a pont, amelyre nézve tükrözve a háromszöget, a két háromszög közös részének területe a lehető legnagyobb? Jelöljük a szokásos módon a háromszög magasságvonalait , , -vel, pont távolságait az egyes oldalaktól , , -vel. Feltehető, hogy
Ellenkező esetben ugyanis az háromszög tükörképének valamelyik csúcspontja a háromszög belsejébe esik és (l. a 2. ábrát!) az paralelogramma olyan idom, mely középpontjára nézve tükrös tulajdonságú, tehát a feladat követelményének megfelel és a területe nagyobb, mint a két háromszög közös részének területe. Ismeretes, hogy az -ek és -k között fennáll a következő összefüggés A közös rész területe akkor lesz a legnagyobb, ha az háromszögből kimaradt (bevonalkázott) háromszögek területének összege minimális. Jelöljük a kimaradó háromszögek területeit , , -vel, összegüket -nal, területét -vel. Valamely kis háromszög területe úgy aránylik az területéhez, mint magasságaik négyzete, tehát pl. ebből összegük | | A szögletes zárójelben levő kifejezés harmadrésze három négyzet számtani közepe. Ez a négyzetes közép nagyobb vagy egyenlő a három mennyiség számtani közepének négyzeténél, következésképpen (felhasználva (1)-et)
akkor minimális, ha az egyenlőség áll fenn, ami akkor és csakis akkor következik be, ha a kis zárójelben levő mennyiségek egyenlők, ez esetben pedig A legutolsó egyenlőség (1)-ből következik.) (2) szerint pont az súlypontja és adott háromszögbe írható, egy pontra szimmetrikus és maximális területű az a sokszög, mely a háromszög és a háromszög súlypontjára vonatkozó tükörképének közös része. E közös rész területe -a a háromszögének. Megjegyzés: A tétel megfelelője fennáll a térben is, ha háromszög helyett tetraédert mondunk és a beírható egy pontra szimmetrikus maximális köbtartalmú poliédert keressük. Bizonyítható, bogy ez a tetraéder és a súlypontjára tükrözött tetraéder közös része. A bizonyítás megegyezik a háromszögre adott bizonyítással.
Az egyes törteket a megfelelő oldal hosszával bővítve a nevezők értéke megegyezik, s ugyanazt a területet jelenti, mint a számlálók összege.Legyen ugyanis , , három tetszőleges pozitív szám, és a számtani közepük . Legyen , , . Ekkor | | | | Egyenlőség csak az , azaz esetben állhat fenn. |