B.3711. Az s1,s2,...,s2004 nemnegatív valós számok összege 2, továbbá tudjuk, hogy
s1s2+s2s3+...+s2003s2004+s2004s1=1.
Határozzuk meg ezen feltételek mellet az S=s12+s22+...+s20042 kifejezés lehetséges legkisebb és legnagyobb értékét.
Megoldás: Nem megy az általánosság rovására, ha az si-k (egyik) legnagyobbikának s1-et vesszük. Felírhatjuk, hogy
(s1+s2+..+s2004)s1-(s1s2+s2s3+...+s2003s2004+s2004s1)=2s1-1,
ezért
s12-s2s3+s3(s1-s4)+s4(s1-s5)+...+s2003(s1-s2004)=2s1-1. | (1) |
s1 a számok között a legnagyobb, ezért s12s2s3,és si(s1-si+1)0 és ebből az adódik, hogy (1) jobb oldala is nemnegatív, tehát
2s1-10,
amiből
| (2) |
(1)-ből adódik, hogy
(s1-1)2=s3(s2+s4-s1)-s4(s1-s5)-s5(s1-s6)-...-s2003(s1-s2004). | (3) |
Most tegyük fel hogy s11, azaz (3) mindkét oldala pozitív. Mivel si(s1-si+1) alakú tagok mindegyike nemnegatív, szükséges, hogy s3(s2+s4-s1)>0 legyen, ami csak akkor lehet, ha
.
(3)-at átalakítva kapjuk, hogy
(s1-1)2=-s3(s1-s2)+s4(s3+s5-s1)-s5(s1-s6)-...-s2003(s1-s2004), | (5) |
amiből az előbbihez hasonló okoskodással
adódik. Ilyen átalakítással kapjuk még, hogy
(4), (6), és (7) felhasználásával kapjuk, hogy
s1+s2+s3+s4+s5+s6+s8>4s12,
ami ellentmondás, hiszen .
Ezek szerint s1=1, vagyis (3) jobb oldala 0. s3=0, ugyanis ellenkező esetben s2+s4<1, és így s3(s2+s4-s1)<0, amiből si(s1-si+1)0 miatt az adódik, hogy (3) jobb oldala negatív. Ezzel a gondolatmenettel igazolható (5)-ből, hogy s4=0, és (3) jobb oldalának további átrendezéséből pedig az, hogy si=0, ha i=3,4,5,...,2003.
Innentől már egyszerű a dolgunk, hiszen tudjuk, hogy s1=1 és s2+s2004=1, és S=s12+s22+s20042 maximumát és minimumát keressük.
S=s12+s22+s20042=1+(s2+s2004)2-2s2s2004=2-2s2s2004
s2s2004 minimuma 0, mondjuk s2=0 esetén, tehát S maximuma 2.
A számtani-mértani közép közti összefüggés szerint
ha és .
Ezek alapján S minimuma , ekkor az egyik si=1, két "szomszédja" , S maximuma pedig 2, ha két szomszédos si értéke 1.
Strenner Balázs 12.o.
Teleki Blanka Gimnázium, Székesfehérvár
|