Feladat: F.2757 Korcsoport: 18- Nehézségi fok: átlagos
Megoldó(k):  Becsei T. ,  Erben P. ,  Németh 026 L. ,  Podoski Károly ,  Tóth 509 P. Z. 
Füzet: 1990/április, 156 - 157. oldal  PDF  |  MathML 
Témakör(ök): Háromszögek hasonlósága, Háromszögek nevezetes tételei, Szögfelező egyenes, Prímtényezős felbontás, Feladat
Hivatkozás(ok):Feladatok: 1989/szeptember: F.2757

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.

Használjuk az ábra jelöléseit. A BD szögfelező a b oldalt x és b-x részekre osztja. A szögfelezőre vonatkozó tétel szerint

b-xx=ca,amibőlx=aba+c.(1)



 
 

Az ABC és BDC háromszögek hasonlóságából ab=xa, innen (1) alapján ab=ba+c, azaz
a2+ac=b2.(2)

Jelölje a és c legnagyobb közös osztóját k, ekkor
a=ka1,c=kc1,(3)
és az a1, c1 számok egymáshoz relatív prímek. (2) alapján ekkor b2=a2+ac=k2(a12+a1c1), tehát
a12+a1c1=a1(a1+c1)=b12(4)
is négyzetszám, ahol nyilván b=kb1. Mivel a1-nek és c1-nek nincs 1-nél nagyobb közös osztója, ezért a1 és a1+c1 is relatív prímek; ezek szorzata, b12 csak úgy lehet négyzetszám, ha a1 és a1+c1 is négyzetszám:
a1=A2,a1+c1=B2.
Ebből (3) és (4) alapján a, b, c-re azt kapjuk, hogy
a=kA2,b=kAB,c=k(B2-A2).(5)
Az a, b, c értékek szükségképpen pozitívak, így k>0; AB>0 miatt feltehető, hogy A>0 és B>0, és ekkor B>A. A háromszög-egyenlőtlenség következtében
k(B+A)(B-A)=k(B2-A2)=c<a+b=k(A2+AB)=kA(A+B),
azaz
B-A<A,B<2A.

Az eddigi tulajdonságok együttesen már elégségesek is ahhoz, hogy az a, b, c oldalakkal rendelkező háromszög eleget tegyen a feladat feltételeinek: ha ugyanis k, A és B olyan természetes számok, amelyekre fennáll A<B<2A, akkor a belőlük (5) szerint elkészített a, b, c (pozitív egész) számokra a<b<a+c és c=k(B-A)(B+A)<kA(B+A)=a+b; a, b, c tehát valóban egy háromszög oldalai, és (5)-ből láthatóan következik (2). Mivel a<b, ezért az a-val szemközti szög hegyesszög. A koszinusztétel értelmében
cosα=c2+b2-a22bc=c2+ac2bc=a+c2b=b2a,cosβ=c2+a2-b22ac=c2-ac2ac=c-a2a,


így
cos2α=2cos2α-1=b22a2-1=b2-2a22a2=ac-a22a2=c-a2a=cosβ,
tehát valóban 2α=β.
A feladat követelményeit ezek szerint azok a háromszögek elégítik ki, melyek oldalai a=kA2, b=kAB és c=k(B2-A2), ahol k, A, B pozitív egészek és A<B<2A.