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. Megoldás. Vegyünk fel egy húrnégyszöget , , , oldalakkal. Legyen a átló hossza . Ekkor a szemközti szögek összege , vagyis amennyiben az csúcsnál lévő szög , akkor a csúcsnál lévő szög . Írjuk fel a koszinusz-tételt az és háromszögekben:
A jobb oldalakat egyenlővé téve és -t kifejezve:
Megfordítva: ha az érték és közé esik, akkor szerkeszthető húrnégyszög az , , , szakaszokból, hiszen akkor van olyan szög, amelynek koszinusza , és olyan | | szakasz, amelyre és . Ekkor a megszerkeszhető , , és , , oldalú háromszögeket közös oldaluknál összeragasztva olyan négyszöget kapunk, amelynek az átlóval szemközti szögei és , vagyis a négyszög húrnégyszög. Vizsgáljuk meg, hogy teljesülnek-e a -re és -re vonatkozó egyenlőtlenségek:
Mivel az , , , szakaszokból négyszög szerkeszthető, azért és , tehát mindkét szorzótényező pozitív, így az egyenlőtlenség fennáll. Hasonlóan, az egyenlőtlenség ekvivalens átalakításával:
Mivel és , az első szorzótényező negatív, a második pozitív, így az egyenlőtlenség fennáll. Tehát az , , , oldalakból húrnégyszög is szerkeszthető.
|