Feladat: B.4227 Korcsoport: 16-17 Nehézségi fok: nehéz
Megoldó(k):  Tóth Barnabás 
Füzet: 2010/november, 476 - 477. oldal  PDF  |  MathML 
Témakör(ök): Feladat, Húrnégyszögek, Koszinusztétel alkalmazása, Algebrai átalakítások
Hivatkozás(ok):Feladatok: 2009/december: B.4227

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 a, b, c, d oldalakkal. Legyen a BD átló hossza e. Ekkor a szemközti szögek összege 180, vagyis amennyiben az A csúcsnál lévő szög α, akkor a C csúcsnál lévő szög 180-α. Írjuk fel a koszinusz-tételt az ABD és BCD háromszögekben:

e2=a2+d2-2adcosα,e2=b2+c2-2bccos(180-α)==b2+c2+2bccosα.
A jobb oldalakat egyenlővé téve és cosα-t kifejezve:
a2+d2-2adcosα=b2+c2+2bccosα,a2+d2-b2-c2=cosα(2ad+2bc),cosα=a2+d2-b2-c22ad+2bc.

 
 

Megfordítva: ha az a2+d2-b2-c22ad+2bc érték -1 és +1 közé esik, akkor szerkeszthető húrnégyszög az a, b, c, d szakaszokból, hiszen akkor van olyan α szög, amelynek koszinusza a2+d2-b2-c22ad+2bc, és olyan
e=a2+d2-2adcosα=b2+c2+2bccosα
szakasz, amelyre |a-d|<e<a+d és |b-c|<e<b+c. Ekkor a megszerkeszhető a, d, e és b, c, e oldalú háromszögeket közös e oldaluknál összeragasztva olyan négyszöget kapunk, amelynek az e átlóval szemközti szögei α és 180-α, vagyis a négyszög húrnégyszög.
Vizsgáljuk meg, hogy teljesülnek-e a -1-re és +1-re vonatkozó egyenlőtlenségek:
-1<a2+d2-b2-c22ad+2bc,-2ad-2bc<a2+d2-b2-c2,0<(a+d)2-(c-b)2=(a+d-c+b)(a+d+c-b).
Mivel az a, b, c, d szakaszokból négyszög szerkeszthető, azért a+d+b>c és a+d+c>b, tehát mindkét szorzótényező pozitív, így az egyenlőtlenség fennáll. Hasonlóan, az
1>a2+d2-b2-c22ad+2bc
egyenlőtlenség ekvivalens átalakításával:
2ad+2bc>a2+d2-b2-c2,0>(a-d)2-(c+b)2=(a-d-c-b)(a-d+c+b).
Mivel d+c+b>a és a+c+b>d, az első szorzótényező negatív, a második pozitív, így az egyenlőtlenség fennáll.
Tehát az a, b, c, d oldalakból húrnégyszög is szerkeszthető.