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. Legyenek az háromszögnek az és csúcsából kiinduló súlyvonalai merőlegesek egymásra. Így közös pontjukból, az súlypontból az oldalt derékszögben látjuk, rajta van az átmérőjű Thalész-kör kerületén, tehát -nek az oldal felezőpontjától való távolsága egyenlő az oldal felével: . És mivel harmadolja a súlyvonalat, azért , vagyis rajta van a körüli sugarú körön. ‐ Meggondolásunk megfordítható, a feltétel tehát nemcsak szükséges, hanem elégséges is.
A súlyvonal bármely háromszögben egyszerűen kifejezhető a három oldallal, így az előbbi helyzetfeltételt átalakíthatjuk a háromszög oldalai közti méretes feltétellé. Legyen tükörképe -re , ekkor a paralelogramma átlói és oldalai között fennáll:
Ez esetünkben a feltétel a talált alakja alapján így specializálódik: és ez ugyancsak szükséges és elegendő az , , oldalakkal meghatározott háromszög és oldalaihoz tartozó súlyvonalak merőlegességéhez.
Megjegyzés. Abból, hogy a vizsgált háromszögekben rajta van a körüli sugarú körön, következik, hogy a további két oldal nagyságra nézve és közé esik: , , hiszen a körnek az egyenesen levő, -hoz legközelebbi és -tól legtávolabbi pontjára , , és ha egybeesnék -vel, -vel, akkor már nem jönne létre valódi háromszög. Mégsem kell a talált feltétel mellé még azt is kikötnünk, hogy a háromszög legrövidebb oldala legyen. Ha ugyanis pl. lenne, ahol akkor -ből és ekkor , , oldalakkal nem szerkeszthető háromszög, mert nem teljesül a háromszög-egyenlőtlenség, hiszen . A felhasznált segédtételt úgy kapjuk, hogy Pitagorasz tételét alkalmazzuk a , , , derékszögű háromszögekre, ahol , a , csúcs vetülete az egyenesen. |