Professional Documents
Culture Documents
R M M
ROM A N IA N MAT HEMAT IC AL MAG AZINE
SOLUTIONS
Founding Editor
DANIEL SITARU
Available online ISSN-L 2501-0099
www.ssmrmh.ro
www.ssmrmh.ro
Proposed by
Daniel Sitaru – Romania
Mehmet Şahin-Ankara-Turkyie
Marian Ursărescu-Romania
George Apostolopoulos-Messolonghi-Greece
Ionuț Florin Voinea-Romania, D.M. Bătinețu-Giurgiu-Romania
Cristian Miu-Romania, Neculai Stanciu-Romania
Florică Anastase-Romania
Vasile Mircea Popa-Romania
𝒓𝒄 .
𝟏 𝟏 𝟏
𝑭 = [𝑷𝑩𝑪] + [𝑷𝑪𝑨] + [𝑷𝑨𝑩] = 𝒂 ⋅ 𝒉𝟏 + 𝒃 ⋅ 𝒉 𝟐 + 𝒄 ⋅ 𝒉𝟑 =
𝟐 𝟐 𝟐
𝟏 𝒂𝟏 𝟏 𝒃𝟏 𝟏 𝒄𝟏 𝟏
= ( ⋅ 𝒓𝒂 ) 𝒂 + ( ⋅ 𝒓𝒃 ) 𝒃 + ( ⋅ 𝒓𝒄 ) 𝒄 = (𝒂𝟏 𝒓𝒂 + 𝒃𝟏 𝒓𝒃 + 𝒄𝟏 𝒓𝒄 )
𝟐 𝒂 𝟐 𝒃 𝟐 𝒄 𝟐
JP.392 𝒛𝟏 , 𝒛𝟐 , 𝒛𝟑 ∈ ℂ∗ different in pairs such that
|𝒛𝟏 | = |𝒛𝟐 | = |𝒛𝟑 | = 𝟏, 𝑨(𝒛𝟏 ), 𝑩(𝒛𝟐 ), 𝑪(𝒛𝟑 ). Prove that:
𝒛𝟐 𝒛𝟑 𝟏
𝐈𝐟 ∑ = 𝐭𝐡𝐞𝐧 𝑨𝑩 = 𝑩𝑪 = 𝑪𝑨.
𝟏𝟒𝒛𝟐 𝒛𝟑 − 𝒛𝟐𝟐 − 𝒛𝟐𝟑 𝟓
𝒄𝒚𝒄
𝟗
=
𝟗+ (𝐬𝐢𝐧𝟐 𝑨 + 𝐬𝐢𝐧𝟐 𝑩 + 𝐬𝐢𝐧𝟐 𝑪)
𝑳𝒆𝒊𝒃𝒏𝒊𝒛
𝒂𝟐 𝟏 𝟏 𝟗
𝑨𝒍𝒔𝒐, 𝒘𝒆 𝒉𝒂𝒗𝒆 ∶ ∑ 𝐬𝐢𝐧 𝑨 = ∑ 𝟐 = 𝟐
∑ 𝒂𝟐 ⏞
≤ . 𝟗𝑹𝟐 =
𝟒𝑹 𝟒𝑹𝟐 𝟒𝑹 𝟐 𝟒
𝟏 𝟒
→ ∑ ≥
𝟑 + 𝐬𝐢𝐧𝟐 𝑨 𝟓
𝒄𝒚𝒄
𝟖𝟏
𝑻𝒉𝒆𝒓𝒆𝒇𝒐𝒓𝒆, ∑ 𝒉𝒂 𝟑 ≤ (𝟗𝑹𝟑 − 𝟔𝟒𝒓𝟑 ).
𝟖
Solution 3 by Nguyen Van Canh-Ben Tre-Vietnam
𝒉𝒂 ≤𝒎𝒂 𝟐𝒃𝟐 + 𝟐𝒄𝟐 − 𝒂𝟐 𝟐𝑭
∑ 𝒉𝟑𝒂 = ∑(𝒉𝟐𝒂 ⋅ 𝒉𝒂 ) ≤ ∑(𝒎𝟐𝒂 ⋅ 𝒉𝒂 ) = ∑ ⋅ =
𝟒 𝒂
𝒄𝒚𝒄 𝒄𝒚𝒄 𝒄𝒖𝒄 𝒄𝒚𝒄
𝒃𝒄(𝒃𝟐 +𝒄𝟐)≤𝒃𝟒 +𝒄𝟒 𝟒(𝒂𝟒 + 𝒃𝟒 + 𝒄𝟒 ) − 𝒂𝒃𝒄∑𝒂 𝟖(𝒔𝟒 − (𝟗𝑹𝒓 + 𝟏𝟐𝒓𝟐 )𝒔𝟐 + (𝟒𝑹𝒓 + 𝒓𝟐 )𝟐 ) (𝟏)
≤ = ≤
𝟖𝑹 𝟖𝑹
𝟖𝟏(𝟗𝑹𝟑 − 𝟔𝟒𝒓𝟑 )
≤
𝟖
(𝟏) ⇔ 𝟖(𝒔𝟒 − (𝟗𝑹𝒓 + 𝟔𝒓𝟐 )𝒔𝟐 + (𝟒𝑹𝒓 + 𝒓𝟐 )𝟐 ) ≤ 𝟖𝟏(𝟗𝑹𝟒 − 𝟔𝟒𝑹𝒓𝟑 )
Let 𝒇(𝒖) = 𝒖𝟐 − (𝟗𝑹𝒓 + 𝟔𝒓𝟐 )𝒖 + (𝟒𝑹𝒓 + 𝒓𝟐 )𝟐 ; (∵ 𝒖 = 𝒔𝟐 )
𝒖≥𝟏𝟔𝑹𝒓−𝟓𝒓𝟐
𝒇′ (𝒖) = 𝟐𝒖 − (𝟗𝑹𝒓 + 𝟔𝒓𝟐 ) ≥ 𝟐(𝟏𝟔𝑹𝒓 − 𝟓𝒓𝟐 ) − (𝟗𝑹𝒓 + 𝟔𝒓𝟐 )
𝑹≥𝟐𝒓
= 𝟐𝟑𝑹𝒓 − 𝟏𝟔𝒓𝟐 ≥ 𝟑𝟎𝒓𝟐 ⇒ 𝒇′ (𝒖) ≥ 𝟎 ⇒ 𝒇(𝒖) ↗ [𝟏𝟔𝑹𝒓 − 𝟓𝒓𝟐 , 𝟒𝑹𝟐 + 𝟒𝑹𝒓 + 𝟑𝒓𝟐 ]
(𝟐)
⇒ 𝟖[(𝟒𝑹𝟐 + 𝟒𝑹𝒓 + 𝟑𝒓𝟐 )𝟐 − (𝟗𝑹𝒓 + 𝟔𝒓𝟐 )(𝟒𝑹𝟐 + 𝟒𝑹𝒓 + 𝟑𝒓𝟐 ) + (𝟒𝑹𝒓 + 𝒓𝟐 )𝟐 ] ≤
≤ 𝟖𝟏(𝟗𝑹𝟒 − 𝟔𝟒𝑹𝒓𝟑 )
(𝟐) ⇔ 𝟖[(𝟒𝒕𝟐 + 𝟒𝒕 + 𝟑) − (𝟗𝒕 + 𝟔)(𝟒𝒕𝟐 + 𝟒𝒕 + 𝟑) + (𝟒𝒕 + 𝟏)𝟐 ]
𝑹
≤ 𝟖𝟏(𝟗𝒕𝟒 − 𝟔𝟒𝒕), (∵ 𝒕 = ≥ 𝟐)
𝒓
⇔ 𝟖(𝟏𝟔𝒕𝟒 − 𝟒𝒕𝟑 − 𝟒𝒕𝟐 − 𝟏𝟗𝒕 − 𝟖) ≤ 𝟕𝟐𝟗𝒕𝟒 − 𝟓𝟏𝟖𝟒𝒕
⇔ 𝟔𝟎𝟏𝒕𝟒 + 𝟑𝟐𝒕𝟑 + 𝟑𝟐𝒕𝟐 − 𝟓𝟎𝟑𝟐𝒕 + 𝟔𝟒 ≥ 𝟎
⇔ (𝒕 − 𝟐)(𝟔𝟎𝟏𝒕𝟑 + 𝟏𝟐𝟑𝟒𝒕𝟐 + 𝟐𝟓𝟎𝟎𝒕 − 𝟑𝟐) ≥ 𝟎
Which is true from 𝒕 ≥ 𝟐 ⇒ 𝒕 − 𝟐 ≥ 𝟎 and
𝒕≥𝟐
𝟔𝟎𝟏𝒕𝟑 + 𝟏𝟐𝟑𝟒𝒕𝟐 + 𝟐𝟓𝟎𝟎𝒕 − 𝟑𝟐 > 2500𝑡 − 32 > 16𝒕 − 𝟑𝟐 > 𝟏𝟔 ⋅ 𝟐 − 𝟑𝟐 = 𝟎
⇒ (𝟐) ⇒ (𝟏) it’s true.
𝟏 𝒙𝟒 − 𝒙𝟐 + 𝟏 𝒙𝟐 𝟏 𝒙𝟐 𝑨𝑴−𝑮𝑴
=∑ ( + ) = ∑ (√𝒙𝟒 − 𝒙𝟐 + 𝟏 + ) ≥
𝒚 √𝒙𝟒 − 𝒙𝟐 + 𝟏 √𝒙𝟒 − 𝒙𝟐 + 𝟏 𝒚 √𝒙𝟒 − 𝒙𝟐 + 𝟏
𝒄𝒚𝒄 𝒄𝒚𝒄
𝟏 𝒙𝟐 𝒙 𝑨𝑴−𝑮𝑴 𝟒 𝒙 𝒚 𝒛 𝒕
≥ ∑ ⋅ 𝟐√√𝒙𝟒 − 𝒙𝟐 + 𝟏 ⋅ = 𝟐∑ ≥ 𝟐⋅𝟒⋅ √ ⋅ ⋅ ⋅ =𝟖
𝒚 √𝒙𝟒 − 𝒙𝟐 + 𝟏 𝒚 𝒚 𝒛 𝒕 𝒙
𝒄𝒚𝒄 𝒄𝒚𝒄
𝟏 𝟏
√ 𝒙𝟐 + −𝟏+ ≥ 𝟐, 𝐭𝐫𝐮𝐞 𝐟𝐨𝐫 (𝑨𝑴 − 𝑮𝑴)
𝒙𝟐 𝟏
√ 𝒙𝟐 + 𝟐−𝟏
𝒙
Now,
𝒙𝟒 + 𝟏 𝟒 𝒙𝟒 + 𝟏 𝟒
∑ ≥ 𝟒 ⋅ √∏ ≥ 𝟒 ⋅ √ 𝟐𝟒 = 𝟖
𝒄𝒚𝒄
𝒚√𝒙𝟒 − 𝒙𝟐 +𝟏 𝒄𝒚𝒄
𝒙√𝒙𝟒 − 𝒙𝟐 +𝟏
𝒙𝟒 + 𝟏 𝒙
→ ≥ 𝟐.
𝒚√𝒙𝟒 − 𝒙𝟐 + 𝟏 𝒚
𝐒𝐢𝐦𝐢𝐥𝐚𝐫𝐥𝐲, 𝐰𝐞 𝐡𝐚𝐯𝐞 ∶
𝒚𝟒 + 𝟏 𝒚 𝒛𝟒 + 𝟏 𝒛 𝒕𝟒 + 𝟏 𝒕
≥ 𝟐. , ≥ 𝟐. 𝒂𝒏𝒅 ≥ 𝟐.
𝒛√𝒚𝟒 − 𝒚𝟐 + 𝟏 𝒛 𝒕√𝒛𝟒 − 𝒛𝟐 + 𝟏 𝒕 𝒙√𝒕𝟒 − 𝒕𝟐 + 𝟏 𝒙
𝑨𝑴−𝑮𝑴
𝒙 𝒚 𝒛 𝒕 𝟒 𝒙 𝒚 𝒛 𝒕
→ 𝑳𝑯𝑺(∗) ≥ 𝟐( + + + ) ⏞
≥ 𝟐. 𝟒√ . . . = 𝟖.
𝒚 𝒛 𝒕 𝒙 𝒚 𝒛 𝒕 𝒙
𝒃𝒄
Let 𝒂 = 𝑩𝑪, 𝒃 = 𝑪𝑨, 𝒄 = 𝑨𝑩 be the lengths of the sides. We know that 𝑨𝑭 = 𝒂+𝒃,
𝒃𝒄
𝑨𝑬 = .
𝒂+𝒄
Using the law of cosines in triangle 𝑨𝑭𝑬, we have 𝑬𝑭𝟐 = 𝑨𝑭𝟐 + 𝑨𝑬𝟐 − 𝟐𝑨𝑭 ⋅ 𝑨𝑬 ⋅ 𝐜𝐨𝐬 𝑨.
𝒃𝟐 +𝒄𝟐−𝒂𝟐
Also, we know that: 𝐜𝐨𝐬 𝑨 = . So,
𝟐𝒃𝒄
𝟐 𝟐 𝟐 𝟐
𝟐
𝒃𝒄 𝒃𝒄 𝟐𝒃 𝒄 𝒃𝟐 + 𝒄𝟐 − 𝒂𝟐
𝑬𝑭 = ( ) +( ) − ⋅ =
𝒂+𝒃 𝒂+𝒄 (𝒂 + 𝒃)(𝒂 + 𝒄) 𝟐𝒃𝒄
𝟏 𝟏 𝒃𝟐 + 𝒄𝟐 − 𝒂𝟐
= 𝒃𝟐 𝒄𝟐 ( + − )=
(𝒂 + 𝒃)𝟐 (𝒂 + 𝒄)𝟐 𝒃𝒄(𝒂 + 𝒃)(𝒂 + 𝒄)
𝟐 𝟐
𝒃𝒄(𝒂 + 𝒄)𝟐 + 𝒃𝒄(𝒂 + 𝒃)𝟐 − (𝒃𝟐 + 𝒄𝟐 − 𝒂𝟐 )(𝒂 + 𝒃)(𝒂 + 𝒄)
=𝒃 𝒄 ⋅ =
𝒃𝒄(𝒂 + 𝒃)𝟐 (𝒂 + 𝒄)𝟐
𝒃𝟐 𝒄𝟐
= ⋅
(𝒂 + 𝒃)𝟐 (𝒂 + 𝒄)𝟐
𝟐 𝟐
𝟏 𝟏 𝟐 𝒃𝒄(𝒃 − 𝒄)𝟐 𝒂𝟐 𝒃𝒄
=𝒃 𝒄 ( − ) − + =
𝒂+𝒄 𝒂+𝒃 (𝒂 + 𝒃)(𝒂 + 𝒄) (𝒂 + 𝒃)(𝒂 + 𝒄)
𝒃𝒄(𝒃 − 𝒄)𝟐 𝒂𝟐 𝒃𝒄
=− [( 𝒂 + 𝒃)( 𝒂 + 𝒄) − 𝒃𝒄] +
(𝒂 + 𝒃)𝟐 (𝒂 + 𝒄)𝟐 (𝒂 + 𝒃)(𝒂 + 𝒄)
𝟐𝒔𝒂𝒃𝒄(𝒃 − 𝒄)𝟐 𝒂𝟐 𝒃𝒄
=− + ≤
(𝒂 + 𝒃)𝟐 (𝒂 + 𝒄)𝟐 (𝒂 + 𝒃)(𝒂 + 𝒄)
𝑨𝑴−𝑮𝑴
𝒂𝟐 𝒃𝒄 𝑬𝑭 𝒃 𝒄 𝟏 𝒃 𝒄
≤ → ≤√ . ⏞
≤ ( + )
(𝒂 + 𝒃)(𝒂 + 𝒄) 𝑩𝑪 𝒂+𝒃 𝒂+𝒄 𝟐 𝒂+𝒃 𝒂+𝒄
𝑬𝑭 𝟏 𝒃 𝒄 𝟏 𝒃 𝒂 𝟏
→ ∑ ≤∑ ( + ) = ∑( + ) = ∑𝟏
𝑩𝑪 𝟐 𝒂+𝒃 𝒂+𝒄 𝟐 𝒂+𝒃 𝒂+𝒃 𝟐
𝑬𝒖𝒍𝒆𝒓
𝟑 𝟑 𝑹
⏞
= ( 𝟏 + 𝟏) ≤ (𝟏 + ).
𝟒 𝟒 𝟐𝒓
𝑫𝑬 𝑬𝑭 𝑭𝑫 𝟑 𝑹
𝑻𝒉𝒆𝒓𝒆𝒇𝒐𝒓𝒆, + + ≤ (𝟏 + ).
𝑨𝑩 𝑩𝑪 𝑪𝑨 𝟒 𝟐𝒓
JP.396 Let 𝒉𝒂 , 𝒉𝒃 , 𝒉𝒄 be the altitudes from the vertices 𝑨, 𝑩, 𝑪 respectively, 𝑹
the circumradius and 𝒓 the inradius of a triangle 𝑨𝑩𝑪. Let 𝑨𝟏 , 𝑩𝟏 and 𝑪𝟏 be
chose on the sides 𝑩𝑪, 𝑪𝑨 and 𝑨𝑩 so that 𝑨𝑨𝟏 , 𝑩𝑩𝟏 and 𝑪𝑪𝟏 bisect the
angles of 𝑨𝑩𝑪. Let 𝒉𝑨 , 𝒉𝒃 and 𝒉𝑪 denote the altitudes of triangles
𝑨𝑩𝟏 𝑪𝟏 , 𝑩𝑪𝟏 𝑨𝟏 and 𝑪𝑨𝟏 𝑩𝟏 from the vertices 𝑨, 𝑩, 𝑪, respectively.
𝟑 𝒉 𝟑 𝒉 𝟑 𝒉 𝟑 𝑹
Prove that: √ 𝒂 + √ 𝒃 + √ 𝒄 ≤ 𝟑 √𝟐 ⋅ .
𝒉 𝒉 𝑨 𝒉 𝑩 𝟐𝒓 𝑪
𝟑 𝒉𝒂 𝟑 𝑹
𝑻𝒉𝒆𝒓𝒆𝒇𝒐𝒓𝒆, ∑√ ≤ 𝟑√𝟐.
𝒉𝑨 𝟐𝒓
𝒄𝒚𝒄
JP.397 Solve for real numbers:
𝒙 −𝟏) 𝒙 +𝟏)
𝟑𝐥𝐨𝐠𝟐(𝟑 = 𝟐𝐥𝐨𝐠𝟑(𝟐 +𝟏
Proposed by Ionuț Florin Voinea-Romania
Solution 1 by proposer
𝒇(𝒙) = 𝒈(𝒚)
Lemma. Let be 𝒇, 𝒈: (𝟎, ∞) → ℝ have strictly monotonically and {𝒇(𝒚) = 𝒈(𝒛).
𝒇(𝒛) = 𝒈(𝒙)
Then 𝒙 = 𝒚 = 𝒛 has unique solution for the system.
Proof. Let’s suppose 𝒇, 𝒈 − increasing functions.
If 𝒙 < 𝑦 then 𝒇(𝒙) < 𝑓 (𝒚) ⇒ 𝒈(𝒚) < 𝑔(𝒛), 𝒈 ↗⇒ 𝒚 < 𝑧, 𝑓 ↗⇒ 𝑓(𝒚) < 𝑓(𝒛) ⇒
𝒈(𝒛) < 𝑔(𝒙), 𝒈 ↗⇒ 𝒛 < 𝑥.
So, 𝒙 < 𝑦 < 𝑧 < 𝑥 impossible. Analogous, for 𝒙 > 𝑦 ⇒ 𝑥 > 𝑦 > 𝑧 > 𝑥 impossible.
Hence, 𝒙 = 𝒚 ⇒ 𝒈(𝒚) = 𝒈(𝒛); 𝒈 ↗⇒ 𝒈 −injective function, then 𝒚 = 𝒛 ⇒ 𝒙 = 𝒚 = 𝒛.
𝟑𝒙 − 𝟏 > 0 ⇒ 𝟑𝒙 > 1 ⇒ 𝑥 ∈ (𝟎, ∞)
𝒙 −𝟏) 𝒙 +𝟏) 𝒙 +𝟏)
𝟑𝐥𝐨𝐠𝟐 (𝟑 = 𝟐𝐥𝐨𝐠 𝟑 (𝟐 + 𝟏 ⟺ 𝐥𝐨𝐠 𝟐 (𝟑𝒙 − 𝟏) = 𝐥𝐨𝐠 𝟑 ( 𝟐𝐥𝐨𝐠 𝟑 (𝟐 + 𝟏); (∗)
𝒙 +𝟏)
Let 𝒚 = 𝐥𝐨𝐠 𝟐 (𝟑𝒙 − 𝟏) and 𝒛 = 𝐥𝐨𝐠 𝟑 ( 𝟐𝐥𝐨𝐠 𝟑 (𝟐 + 𝟏) = 𝐥𝐨𝐠 𝟑 (𝟐𝒙 + 𝟏) then (∗) ⟺
𝐥𝐨𝐠 𝟐 (𝟐𝒙 + 𝟏) = 𝐥𝐨𝐠 𝟑 (𝟐𝒚 + 𝟏) = 𝒛 ⟺ 𝐥𝐨𝐠 𝟐 (𝟑𝒙 − 𝟏) = 𝒛 ⟺ 𝟑𝒙 − 𝟏 = 𝟐𝒛
𝟑𝒙 = 𝟐𝒛 + 𝟏 ⟺ 𝒙 = 𝐥𝐨𝐠 𝟑 (𝟐𝒛 + 𝟏)
Proof. Let’s suppose 𝒇(𝒂) = 𝒃 > 𝑎. Then 𝒇(𝒇(𝒂)) = 𝒇(𝒃) > 𝑓(𝒂) = 𝒂 and
Let’s suppose 𝒇(𝒂) = 𝒃 < 𝑎. Then 𝒇(𝒇(𝒂)) = 𝒇(𝒃) < 𝑓(𝒂) < 𝑎 and
𝟑 𝒙 𝟏 𝒙 𝟑 𝒙 𝟏 𝒙
( ) − ( ) = 𝟏; (𝒙 → ( ) ↗; 𝒙 → ( ) ↘)
𝟐 𝟐 𝟐 𝟐
𝟑 𝒙 𝟏 𝒙
So, 𝒖(𝒙) = (𝟐) − (𝟐) injective and 𝒙 = 𝟏 unique solution.
𝐥𝐨𝐠(𝒏+𝟏) 𝐥𝐨𝐠 𝒏
⋅𝐥𝐨𝐠(𝒆𝐥𝐨𝐠(𝒏+𝟏)−𝟏) ⋅𝐥𝐨𝐠(𝒆𝐥𝐨𝐠 𝒏 +𝟏)
𝒆 𝐥𝐨𝐠 𝒏 = 𝒆𝐥𝐨𝐠(𝒏+𝟏) +𝟏
𝐥𝐨𝐠(𝒏+𝟏)
𝒙 −𝟏) 𝐥𝐨𝐠(𝒆𝒙⋅𝐥𝐨𝐠(𝒏+𝟏)−𝟏 )⋅
(𝒏 + 𝟏)𝐥𝐨𝐠𝒏 ((𝒏+𝟏) =𝒆 𝐥𝐨𝐠 𝒏
(𝟏)
= ∑(𝒂𝟑 + 𝒃𝟑 ) − 𝟐 ∑ 𝒂𝒃√𝒂𝒃 + 𝟐𝟒 = 𝟐 ∑ 𝒂𝟑 + 𝟏𝟖 ≤ ∑(𝒂 + 𝒃)𝟑 =
𝒄𝒚𝒄 𝒄𝒚𝒄 𝒄𝒚𝒄 𝒄𝒚𝒄
= 𝟐 ∑ 𝒂𝟑 + 𝟑 ∑ 𝒂𝒃(𝒂 + 𝒃)
𝒄𝒚𝒄 𝒄𝒚𝒄
(𝟏) ⇔ ∑ 𝒂𝒃(𝒂 + 𝒃) ≥ 𝟔;
𝒄𝒚𝒄
Therefore,
𝟐
∑(𝒂√𝒂 − 𝒃√𝒃) + 𝟐𝟒 ≤ ∑(𝒂 + 𝒃)𝟑
𝒄𝒚𝒄 𝒄𝒚𝒄
= 𝟐(𝒂𝟑 + 𝒃𝟑 + 𝒄𝟑 ) − 𝟔
Hence,
𝟐
𝟐𝟒 + ∑(𝒂√𝒂 − 𝒃√𝒃) = 𝟏𝟖 + 𝟐(𝒂𝟑 + 𝒃𝟑 + 𝒄𝟑 ); (𝟐)
𝒄𝒚𝒄
We must to prove:
Therefore,
𝟐
∑(𝒂√𝒂 − 𝒃√𝒃) + 𝟐𝟒 ≤ ∑(𝒂 + 𝒃)𝟑
𝒄𝒚𝒄 𝒄𝒚𝒄
𝑨𝑴−𝑮𝑴
𝟑 ∑ 𝒂𝒃(𝒂 + 𝒃) ≥ 𝟏𝟖 ⇔ ∑ 𝒂𝒃(𝒂 + 𝒃) ≥ 𝟔, ∑ 𝒂𝒃(𝒂 + 𝒃) ≥ 𝟐 ∑ 𝒂𝒃√𝒂𝒃
𝒄𝒚𝒄 𝒄𝒚𝒄 𝒄𝒚𝒄 𝒄𝒚𝒄
Therefore,
𝟐
∑(𝒂√𝒂 − 𝒃√𝒃) + 𝟐𝟒 ≤ ∑(𝒂 + 𝒃)𝟑
𝒄𝒚𝒄 𝒄𝒚𝒄
∑(𝒂𝟐 − 𝒃𝟐 )𝟐 = 𝟐(𝒂𝟒 + 𝒃𝟒 + 𝒄𝟒 ) − 𝟐 ∑ 𝒂𝟐 𝒃𝟐
𝒄𝒚𝒄 𝒄𝒚𝒄
𝟏
𝒂𝟒 + 𝒃𝟒 + 𝒄𝟒 = ∑ 𝒂𝟐 𝒃𝟐 + ∑(𝒂𝟐 − 𝒃𝟐 )𝟐 =
𝟐
𝒄𝒚𝒄 𝒄𝒚𝒄
𝟏
⇒ 𝒂𝟒 + 𝒃𝟒 + 𝒄𝟒 ≥ 𝟏𝟔𝑭𝟐 + [(𝒂𝟐 − 𝒃𝟐 )𝟐 + (𝒃𝟐 − 𝒄𝟐 )𝟐 + (𝒄𝟐 − 𝒂𝟐 )𝟐 ]
𝟐
Solution 3 by Marian Ursărescu-Romania
We must show that:
𝟏
𝒂𝟒 + 𝒃𝟒 + 𝒄𝟒 ≥ 𝟏𝟔𝑭𝟐 + (𝟐𝒂𝟒 + 𝟐𝒃𝟒 + 𝟐𝒄𝟒 − 𝟐𝒂𝟐 𝒃𝟐 − 𝟐𝒃𝟐 𝒄𝟐 − 𝟐𝒄𝟐 𝒂𝟐 ) ⇔
𝟐
𝒂𝟐 𝒃𝟐 + 𝒃𝟐 𝒄𝟐 + 𝒄𝟐 𝒂𝟐 ≥ 𝟏𝟔𝑭𝟐 ; (𝟏)
But (𝒂𝒃)𝟐 + (𝒃𝒄)𝟐 + (𝒄𝒂)𝟐 ≥ 𝒂𝒃𝒄(𝒂 + 𝒃 + 𝒄); (𝟐)
From (1)&(2) we must show that: 𝒂𝒃𝒄(𝒂 + 𝒃 + 𝒄) ≥ 𝟏𝟔𝑭𝟐 ; (𝟑)
But 𝒂𝒃𝒄 = 𝟒𝑹𝒓𝒔, 𝒂 + 𝒃 + 𝒄 = 𝟐𝒔, 𝑭 = 𝒔𝒓; (𝟒)
From (3)&(4) we must show that: 𝟒𝑹𝒓𝒔 ⋅ 𝟐𝒔 ≥ 𝟏𝟔𝒓𝟐 𝒔𝟐 ⇔ 𝑹 ≥ 𝟐𝒓 (𝑬𝒖𝒍𝒆𝒓).
𝟏 𝟏
∑ 𝒂𝟒 = 𝟏𝟔𝑭𝟐 + ∑(𝒂𝟐 − 𝒃𝟐 )𝟐 ⇔ ∑ 𝒂𝟒 ≥ 𝟏𝟔𝑭𝟐 + (𝟐 ∑ 𝒂𝟒 − 𝟐 ∑ 𝒂𝟐 𝒃𝟐 )
𝟐 𝟐
𝒄𝒚𝒄 𝒄𝒚𝒄 𝒄𝒚𝒄 𝒄𝒚𝒄 𝒄𝒚𝒄
Hence,
𝟑
𝟑 𝟑 𝟑 𝟔 𝟔√𝟐 𝟑
√𝒙(𝒚 + 𝒛) + √𝒚(𝒛 + 𝒙) + √𝒛(𝒙 + 𝒚) ≥ 𝟑 = 𝟑 = 𝟑√𝟐
√𝟒 √𝟖
Equality holds for 𝒙 = 𝒚 = 𝒛 = 𝟏.
Solution 2 by Fayssal Abdelli-Bejaia-Algerie
𝟑 𝟑 𝟑 𝟑
√𝒙(𝒚 + 𝒛) + √𝒚(𝒛 + 𝒙) + √𝒛(𝒙 + 𝒚) ≥ 𝟑 √ 𝟑√𝒙𝒚𝒛(𝒙 + 𝒚)(𝒚 + 𝒛)(𝒛 + 𝒙)
𝑨𝑴−𝑮𝑴
But: (𝒙 + 𝒚)(𝒚 + 𝒛)(𝒛 + 𝒙) ≥ 𝟖𝒙𝒚𝒛 (𝑪𝒆𝒔𝒂𝒓𝒐); (𝟏)
𝟑 𝟑 𝟑 𝟑 𝟑 𝟑 𝟑
√𝒙(𝒚 + 𝒛) + √𝒚(𝒛 + 𝒙) + √𝒛(𝒙 + 𝒚) ≥ 𝟑 √ √𝟖(𝒙𝒚𝒛)𝟐 = 𝟑 √𝟐√(𝒙𝒚𝒛)𝟐
𝟑 𝟑 𝟔
But 𝟑√𝒙𝒚 + 𝟑√𝒚𝒛 + 𝟑√𝒛𝒙 ≥= 𝟑 √ √(𝒙𝒚𝒛)𝟐 ⇒ 𝟑 ≥ 𝟑√(𝒙𝒚𝒛)𝟐 ⇒ 𝒙𝒚𝒛 ≤ 𝟏; (𝟐)
𝟑 𝟑 𝟑 𝟑 𝟑
? 𝟑
√𝒙(𝒚 + 𝒛) + √𝒚(𝒛 + 𝒙) + √𝒛(𝒙 + 𝒚) ≥ 𝟑 √𝟐 √(𝒙𝒚𝒛)𝟐 ≥ 𝟑√𝟐 ⇒
𝟑 𝟔 𝟑
√𝟐 ⋅ √(𝒙𝒚𝒛)𝟐 ≥ √𝟐 ⇒ 𝒙𝒚𝒛 ≥ 𝟏; (𝟑)
𝟑 𝟑 𝟑 𝟑 𝟑 𝟑
⇒ √𝒙(𝒚 + 𝒛) + √𝒚(𝒛 + 𝒙) + √𝒛(𝒙 + 𝒚) ≥ 𝟑 √𝟐 √(𝒙𝒚𝒛)𝟐 ≥ 𝟑√𝟐
𝟑 𝟏 𝟑 𝟏 𝟑 𝟏
= √ (𝟏 + 𝟏)(𝒙 + 𝒙)(𝒚 + 𝒛) + √ (𝟏 + 𝟏)(𝒚 + 𝒚)(𝒛 + 𝒙) + √ (𝟏 + 𝟏)(𝒛 + 𝒛)(𝒙 + 𝒚)
𝟒 𝟒 𝟒
𝟑 𝟏
𝟑 𝟑
≥ √ ( 𝟑√𝟏 ⋅ 𝒙𝒚 + 𝟑√𝟏 ⋅ 𝒚𝒛 + 𝟑√𝟏 ⋅ 𝒚𝒙 + √𝟏 ⋅ 𝒛𝒙 + 𝟑√𝟏 ⋅ 𝒛𝒚 + √𝟏 ⋅ 𝒙𝒛) =
𝟒
𝟑 𝟏 𝟑 𝟏
𝟑
≥ 𝟐 ⋅ √ ( 𝟑√𝒙𝒚 + 𝟑√𝒚𝒛 + 𝟑√𝒛𝒙) = 𝟐 ⋅ √ ⋅ 𝟑 = 𝟑√𝟐
𝟒 𝟒
𝟑 𝒂𝟑 + 𝒄𝟑 𝟑 𝒃𝟑 + 𝒄𝟑 𝟑 𝒄𝟑 + 𝒃𝟑
√ +√ +√ ≥𝟑
𝟐 𝟐 𝟐
𝟑 𝒂𝟑 + 𝒄𝟑 𝟑 𝒃𝟑 + 𝒄𝟑 𝟑 𝒄𝟑 + 𝒃𝟑 𝒂 + 𝒄 𝒃 + 𝒄 𝒄 + 𝒂
√ +√ +√ ≥ + +
𝟐 𝟐 𝟐 𝟐 𝟐 𝟐
Solution 1 by proposer
𝟏 𝟏 𝟏 𝟏
We have + 𝒚𝒛 + 𝒛𝒙 = 𝟐 ⇔ 𝒙𝒚𝒛 = 𝟐(𝒙 + 𝒚 + 𝒛)
𝒙𝒚
Assume WLOG that 𝒙 ≤ 𝒚 ≤ 𝒛. Then it follows that (since 𝒙, 𝒚, 𝒛 are positive integers).
𝒔𝟐 +𝒓𝟐 +𝟒𝑹𝒓
But ≤ 𝟐𝑹 + 𝟓𝒓. This inequality can be proved using Gerretsen inequality
𝟐𝑹
𝟔𝒂 − 𝟒𝒄 𝟐𝒂 + 𝟒(𝒂 − 𝒄) 𝒂≥𝒄 𝟐𝒂 ? 𝑹
𝑾𝒆 𝒉𝒂𝒗𝒆 ∶ = ⏞
≥ ⏞
≥
𝒄 𝒄 𝒄 𝒓
𝟐𝒂𝒃𝒄
=
(−𝒂 + 𝒃 + 𝒄)(𝒂 − 𝒃 + 𝒄)(𝒂 + 𝒃 − 𝒄)
𝟑√𝟑 𝟐
𝟑√𝟑
≥ ⋅ 𝟖𝑭 =
𝟑𝟐𝑭𝟒 𝟒𝑭𝟐
√𝟑
Equality holds for 𝒂 = 𝒃 = 𝒄; 𝒙 = 𝒚 = 𝒛 = .
𝟑
𝟑
√𝟑 √𝟑 √𝟑 √𝟑
𝑩𝒚 𝑨𝑴 − 𝑮𝑴, 𝒘𝒆 𝒉𝒂𝒗𝒆 ∶ 𝒙𝟐 + + ≥ 𝟑 √ 𝒙𝟐 . . =𝟏 →
𝟗𝒙 𝟗𝒙 𝟗𝒙 𝟗𝒙
𝟐√𝟑
𝟏 − 𝒙𝟐 ≤ (𝑨𝒏𝒅 𝒂𝒏𝒂𝒍𝒐𝒈𝒔)
𝟗𝒙
𝟗 𝒙 𝒂 𝟒 𝟑√𝟑 ( 𝒙 + 𝒚 + 𝒛) − ( 𝒚 + 𝒛) 𝟒
𝑳𝑯𝑺(∗) ≥ ∑ .
.( ) = ∑ .𝒂
𝟐√𝟑 𝒚 + 𝒛 𝟐𝑭 𝟑𝟐𝑭𝟒 𝒚+𝒛
𝒄𝒚𝒄 𝒄𝒚𝒄
𝟑√𝟑 𝒂𝟒
= [(∑ 𝒙 ) (∑ ) − ∑ 𝒂𝟒 ] ≥
𝟑𝟐𝑭𝟒 𝒚+𝒛
𝒄𝒚𝒄 𝒄𝒚𝒄 𝒄𝒚𝒄
𝟐
𝑩𝒆𝒓𝒈𝒔𝒕𝒓𝒐𝒎
𝟑√𝟑 (𝒂𝟐 + 𝒃𝟐 + 𝒄𝟐 )𝟐 𝟑√𝟑
⏞
≥ [(∑ 𝒙 ) . − ∑ 𝒂𝟒
] = [(∑ 𝒂𝟐 ) − 𝟐 ∑ 𝒂𝟒 ]
𝟑𝟐𝑭𝟒 𝟐 ( 𝒙 + 𝒚 + 𝒛) 𝟔𝟒𝑭𝟒
𝒄𝒚𝒄 𝒄𝒚𝒄 𝒄𝒚𝒄 𝒄𝒚𝒄
𝟑√𝟑
= (𝟐 ∑ 𝒂𝟐 𝒃𝟐 − ∑ 𝒂𝟒 )
𝟔𝟒𝑭𝟒
𝒄𝒚𝒄 𝒄𝒚𝒄
𝑻𝒉𝒆𝒓𝒆𝒇𝒐𝒓𝒆,
𝟏 𝟏 𝟏 𝟑√𝟑
+ + ≥ .
(𝒚 + 𝒛)(𝟏 − 𝒙𝟐 ) 𝒉 𝒂 𝟒 (𝒛 + 𝒙)(𝟏 − 𝒚𝟐 ) 𝒉 𝒃 𝟒 (𝒙 + 𝒚)(𝟏 − 𝒛𝟐 ) 𝒉 𝒄 𝟒 𝟒𝑭𝟐
√𝟑
Equality holds for 𝒂 = 𝒃 = 𝒄; 𝒙 = 𝒚 = 𝒛 = .
𝟑
𝟏 𝟐
𝒇( ) ≥ 𝒇 ( 𝒙) ⇒ ≥ 𝒇(𝒙)
√𝟑 𝟑√𝟑
𝟏 𝒙 𝟏 𝟏 𝟑√𝟑 𝒙 𝟏
∑ 𝟐 𝟒
=∑ ⋅ 𝟑
⋅ 𝟒≥ ∑ ⋅ 𝟒=
(𝒚 + 𝒛)(𝟏 − 𝒙 )𝒉𝒂 𝒚 + 𝒛 𝒙 − 𝒙 𝒉𝒂 𝟐 𝒚 + 𝒛 𝒉𝒂
𝒄𝒚𝒄 𝒄𝒚𝒄 𝒄𝒚𝒄
𝟑√𝟑 𝒙 𝟏
= ∑( + 𝟏 − 𝟏) ⋅ 𝟒 =
𝟐 𝒚+𝒛 𝒉𝒂
𝒄𝒚𝒄
𝟏 𝟐
𝟑√𝟑 ) 𝟑√𝟑 𝟏 ( 𝑩𝒆𝒓𝒈𝒔𝒕𝒓𝒐𝒎
𝒉𝟐𝒂
= ( )
𝒙+𝒚+𝒛 ∑ − ∑ 𝟒 ≥
𝟐 𝒚+𝒛 𝟐 𝒉𝒂
𝒄𝒚𝒄 𝒄𝒚𝒄
𝟐
𝟐
𝟑√𝟑 𝟏 𝟑√𝟑 𝟏 𝟑√𝟑 𝒂𝟐 + 𝒃𝟐 + 𝒄𝟐 𝟑√𝟑 𝒂𝟒
≥ (∑ 𝟐 ) − ∑ 𝟒= ( ) − ∑ =
𝟒 𝒉𝒂 𝟐 𝒉𝒂 𝟒 𝟒𝑭𝟐 𝟐 𝟏𝟔𝑭𝟐
𝒄𝒚𝒄 𝒄𝒚𝒄 𝒄𝒚𝒄
𝟏 𝟏
+ ≥ 𝟐 𝐬𝐢𝐧 𝒛
𝒙 𝒚
Proposed by D.M.Bătineţu-Giurgiu, Daniel Sitaru-Romania
Solution 1 by proposer
𝟏 𝑨𝑴−𝑮𝑴 𝐬𝐢𝐧 𝒛
(𝒙 + 𝐬𝐢𝐧 𝒛) ( + 𝐬𝐢𝐧 𝒛) ≥ 𝟐√𝒙 ⋅ 𝐬𝐢𝐧 𝒛 ⋅ 𝟐√ = 𝟒 𝐬𝐢𝐧 𝒛
𝒙 𝒙
𝟏 𝟒 𝐬𝐢𝐧 𝒛
+ 𝐬𝐢𝐧 𝒛 ≥ ; ( 𝟏)
𝒙 𝒙 + 𝐬𝐢𝐧 𝒛
Analogous,
𝟏 𝟒 𝐬𝐢𝐧 𝒛
+ 𝐬𝐢𝐧 𝒛 ≥ ; ( 𝟐)
𝒚 𝒚 + 𝐬𝐢𝐧 𝒛
By adding (1),(2) we get:
𝟏 𝟏 𝟒 𝐬𝐢𝐧 𝒛 𝟒 𝐬𝐢𝐧 𝒛
+ + 𝟐 𝐬𝐢𝐧 𝒛 ≥ + ⇔
𝒙 𝒚 𝒙 + 𝐬𝐢𝐧 𝒛 𝒚 + 𝐬𝐢𝐧 𝒛
𝟏 𝟏 𝟒 𝐬𝐢𝐧 𝒛 𝟒 𝐬𝐢𝐧 𝒛 𝟏 𝟏
+ ≥ + − 𝟐 𝐬𝐢𝐧 𝒛 = 𝟐 𝐬𝐢𝐧 𝒛 (𝟐 ( + ) − 𝟏) ≥
𝒙 𝒚 𝒙 + 𝐬𝐢𝐧 𝒛 𝒚 + 𝐬𝐢𝐧 𝒛 𝒙 + 𝐬𝐢𝐧 𝒛 𝒚 + 𝐬𝐢𝐧 𝒛
≥ 𝟐 𝐬𝐢𝐧 𝒛 (𝟐 ⋅ 𝟏 − 𝟏) = 𝟐 𝐬𝐢𝐧 𝒛
𝝅
Equality holds for 𝒙 = 𝒚 = 𝟏; 𝒛 = .
𝟐
Therefore,
𝟏 𝟏
+ ≥ 𝟐 𝐬𝐢𝐧 𝒛.
𝒙 𝒚
𝟏 𝟏 𝟏 𝟏
𝟏≤ + ≤ +
𝒙 + 𝐬𝐢𝐧 𝒛 𝒚 + 𝐬𝐢𝐧 𝒛 𝟐√𝒙 ⋅ 𝐬𝐢𝐧 𝒛 𝟐√𝒚 ⋅ 𝐬𝐢𝐧 𝒛
𝟏 𝟏 𝟏 𝟏 𝟏 𝟏 𝟏 𝟏 𝟏
⇒ 𝟐√𝐬𝐢𝐧 𝒛 ≤ + ⇒ 𝟒 𝐬𝐢𝐧 𝒛 ≤ + + ≤ + + +
√𝒙 √𝒚 𝒙 𝒚 √𝒙𝒚 𝒙 𝒚 𝒙 𝒚
Hence,
𝟏 𝟏
𝟐 𝐬𝐢𝐧 𝒛 ≤ +
𝒙 𝒚
𝝅
Equality holds for 𝒙 = 𝒚 = 𝟏; 𝒛 = 𝟐 .
(𝒂𝟐 + 𝒃𝟐 + 𝒄𝟐 )𝟐 (𝒂𝟐 + 𝒃𝟐 + 𝒄𝟐 )𝟐
≥ ≥ =
𝟒(𝒂𝒃 + 𝒃𝒄 + 𝒄𝒂) − (𝒂𝟐 + 𝒃𝟐 + 𝒄𝟐 ) 𝟒(𝒂𝟐 + 𝒃𝟐 + 𝒄𝟐 ) − (𝒂𝟐 + 𝒃𝟐 + 𝒄𝟐 )
𝒂𝟐 + 𝒃𝟐 + 𝒄𝟐 𝑰𝒐𝒏𝒆𝒔𝒄𝒖−𝑾𝒆𝒊𝒕𝒛𝒆𝒏𝒃𝒐𝒄𝒌 𝟒√𝟑𝑭
= ≥
𝟑 𝟑
Equality holds for 𝒂 = 𝒃 = 𝒄.
Solution 2 by Daniel Văcaru-Romania
𝒂𝟑 𝒂𝟒 𝑩𝒆𝒓𝒈𝒔𝒕𝒓𝒐𝒎 (𝒂𝟐 + 𝒃𝟐 + 𝒄𝟐 )𝟐
∑ =∑ ≥ ; ( 𝟏)
𝟐(𝒃 + 𝒄) − 𝒂 𝟐𝒂(𝒃 + 𝒄) − 𝒂𝟐 𝟒(𝒂𝒃 + 𝒃𝒄 + 𝒄𝒂) − 𝒂𝟐 − 𝒃𝟐 − 𝒄𝟐
𝒄𝒚𝒄 𝒄𝒚𝒄
SP.391 Find:
∑𝒌𝒊=𝟏 𝒊𝟐
−𝟏
𝒏 𝒌
𝛀 = 𝐥𝐢𝐦 ∑ (𝟏 + (∑ 𝒊𝟐 ) ) − 𝒏𝒆
𝒏→∞
𝒌=𝟏 𝒊=𝟏
( )
Proposed by Florică Anastase-Romania
Solution 1 by proposer
𝟏 𝟏 ′ 𝒙
( )
𝐥𝐢𝐦
( 𝟏 + 𝒙) 𝒙 − 𝒆 𝑳′ 𝑯
= 𝐥𝐢𝐦 (𝟏 + ) (
𝟏 𝒙 𝐥𝐨𝐠(𝟏 + 𝒙)
) = 𝒆 ⋅ 𝐥𝐢𝐦 𝒙 + 𝟏 − 𝐥𝐨𝐠 𝒙 + 𝟏 =
𝒙→𝟎 𝒙 𝒙→𝟎 𝒙 𝒙 𝒙→𝟎 𝒙𝟐
𝒙 − (𝒙 + 𝟏) 𝐥𝐨𝐠(𝒙 + 𝟏) 𝑳′ 𝑯 𝟏 − 𝐥𝐨𝐠(𝒙 + 𝟏) − 𝟏
= 𝒆 ⋅ 𝐥𝐢𝐦 = 𝒆 ⋅ 𝐥𝐢𝐦
𝒙→𝟎 𝒙 𝟐 ( 𝒙 + 𝟏) 𝒙→𝟎 𝟑𝒙𝟐 + 𝟐𝒙
−𝟏 𝒆
= 𝒆 ⋅ 𝐥𝐢𝐦 =−
𝒙→𝟎 (𝒙 + 𝟏)(𝟔𝒙 + 𝟐) 𝟐
𝟏
( 𝟏 + 𝒙) 𝒙 − 𝒆 𝒆
𝐁𝐞𝐜𝐚𝐮𝐬𝐞: 𝐥𝐢𝐦 = − 𝐭𝐡𝐞𝐧 ∀𝜺 > 0, ∃𝛿 (𝜺) > 0 𝐬𝐮𝐜𝐡 𝐭𝐡𝐚𝐭 |𝐱| < 𝜹(𝛆)
𝒙→𝟎 𝒙 𝟐
𝟏 𝟏
(𝟏 + 𝒙)𝒙 − 𝒆 𝒆 ( 𝟏 + 𝒙) 𝒙 − 𝒆 𝒆
⇒| − ( )| < 𝜀 ⇔ −𝜀 < − (− ) < 𝜀
𝒙 𝟐 𝒙 𝟐
𝟏
𝒆 (𝟏 + 𝒙)𝒙 − 𝒆 𝒆
⇔ −𝜺 − < <𝜀−
𝟐 𝒙 𝟐
𝟏 𝟏 𝟏
𝟎< 𝟐 < ⋯ < < < 𝛿(𝜀)
𝟏 + 𝟐𝟐 + ⋯ + 𝒏𝟐 𝟏𝟐 + 𝟐𝟐 𝟏𝟐
We have the following relationship:
𝟐 𝟏 +𝟐 𝟐 𝟐
𝟏 𝟏 𝟏
𝒆 (𝟏 + ) − 𝒆 𝒆 𝒆 (𝟏 + ) −𝒆 𝒆
−𝜺 − < 𝟏𝟐 < 𝜀 − , −𝜺 − < 𝟏 𝟐 + 𝟐𝟐 <𝜀−
𝟐 𝟏 𝟐 𝟐 𝟏 𝟐
𝟏𝟐 𝟏𝟐 + 𝟐𝟐
⋮
𝟏𝟐+𝟐𝟐 +⋯+𝒏𝟐
𝟏
𝒆 (𝟏 + 𝟏𝟐 + 𝟐𝟐 + ⋯ + 𝒏𝟐 ) −𝒆 𝒆
−𝜺 − < <𝜀−
𝟐 𝟏 𝟐
𝟐 𝟐
𝟏 +𝟐 + ⋯+ 𝒏 𝟐
Summing these up relations, it follows that:
𝟏 𝟏 𝟏
𝐖𝐡𝐞𝐫𝐞, 𝟐
𝒂𝒏 =
+ 𝟐 𝟐
+ ⋯+ 𝟐 ; 𝒏 ≥ 𝟏.
𝟏 𝟏 +𝟐 𝟏 + 𝟐 + ⋯ + 𝒏𝟐
𝟐
Now, we get:
𝒏 𝒏
𝟔 𝟏 𝟏 𝟒
𝒂𝒏 = ∑ = 𝟔∑( + − )=
𝒌(𝒌 + 𝟏)(𝟐𝒌 + 𝟏) 𝒌 𝒌 + 𝟏 𝟐𝒌 + 𝟏
𝒌=𝟏 𝒌=𝟏
𝒏 𝒏
𝟏 𝟏 𝟏 𝟏
= 𝟔∑( − ) − 𝟐𝟒 ∑ ( − )=
𝒌+𝟏 𝒌 𝟐𝒌 + 𝟏 𝟐𝒌
𝒌=𝟏 𝒌=𝟏
𝟏
= 𝟔( − 𝟏) − 𝟐𝟒(𝑯𝟐𝒏+𝟏 − 𝑯𝟐𝒏 − 𝟏).
𝒏+𝟏
𝐥𝐢𝐦 (𝑯𝒏 − 𝐥𝐨𝐠 𝒏) = 𝜸
𝒏→∞
𝟐𝒏 + 𝟏
𝑯𝟐𝒏+𝟏 − 𝑯𝟐𝒏 = (𝑯𝟐𝒏+𝟏 − 𝐥𝐨𝐠(𝟐𝒏 + 𝟏)) − (𝑯𝟐𝒏 − 𝐥𝐨𝐠 𝟐𝒏) + 𝐥𝐨𝐠
𝟐𝒏
𝐥𝐢𝐦 (𝑯𝟐𝒏+𝟏 − 𝑯𝟐𝒏 ) = 𝐥𝐨𝐠 𝟐 𝐚𝐧𝐝 𝐥𝐢𝐦 𝒂𝒏 = 𝟔(𝟑 − 𝟒 𝐥𝐨𝐠 𝟐)
𝒏→∞ 𝒏→∞
Therefore,
−𝟏 ∑𝒌
𝒊=𝟏 𝒊
𝟐
𝒏 𝒌
𝒆
𝛀 = 𝐥𝐢𝐦 ∑ (𝟏 + (∑ 𝒊𝟐 ) ) − 𝒏𝒆 = − ⋅ 𝟔(𝟑 − 𝟒 𝐥𝐨𝐠 𝟐) =
𝒏→∞ 𝟐
𝒌=𝟏 𝒊=𝟏
( )
= 𝟑𝒆(𝟒 𝐥𝐨𝐠 𝟐 − 𝟑)
Solution 2 by Adrian Popa-Romania
𝒌
𝒌(𝒌 + 𝟏)(𝟐𝒌 + 𝟏)
∑ 𝒊𝟐 =
𝟔
𝒊=𝟏
𝒏 𝒌(𝒌+𝟏)(𝟐𝒌+𝟏)
𝟔 𝟔
∑ (𝟏 + ) =
𝒌(𝒌 + 𝟏)(𝟐𝒌 + 𝟏)
𝒌=𝟏
𝟏 𝟏 𝟏
𝐖𝐡𝐞𝐫𝐞, 𝟐
𝒂𝒏 =
+ 𝟐 𝟐
+ ⋯+ 𝟐 ; 𝒏 ≥ 𝟏.
𝟏 𝟏 +𝟐 𝟏 + 𝟐 + ⋯ + 𝒏𝟐
𝟐
Now, we get:
𝒏 𝒏
𝟔 𝟏 𝟏 𝟒
𝒂𝒏 = ∑ = 𝟔∑( + − )=
𝒌(𝒌 + 𝟏)(𝟐𝒌 + 𝟏) 𝒌 𝒌 + 𝟏 𝟐𝒌 + 𝟏
𝒌=𝟏 𝒌=𝟏
𝒏 𝒏
𝟏 𝟏 𝟏 𝟏
= 𝟔∑( − ) − 𝟐𝟒 ∑ ( − )=
𝒌+𝟏 𝒌 𝟐𝒌 + 𝟏 𝟐𝒌
𝒌=𝟏 𝒌=𝟏
𝟏
= 𝟔( − 𝟏) − 𝟐𝟒(𝑯𝟐𝒏+𝟏 − 𝑯𝟐𝒏 − 𝟏).
𝒏+𝟏
𝐥𝐢𝐦 (𝑯𝒏 − 𝐥𝐨𝐠 𝒏) = 𝜸
𝒏→∞
𝟐𝒏 + 𝟏
𝑯𝟐𝒏+𝟏 − 𝑯𝟐𝒏 = (𝑯𝟐𝒏+𝟏 − 𝐥𝐨𝐠(𝟐𝒏 + 𝟏)) − (𝑯𝟐𝒏 − 𝐥𝐨𝐠 𝟐𝒏) + 𝐥𝐨𝐠
𝟐𝒏
𝐥𝐢𝐦 (𝑯𝟐𝒏+𝟏 − 𝑯𝟐𝒏 ) = 𝐥𝐨𝐠 𝟐 𝐚𝐧𝐝 𝐥𝐢𝐦 𝒂𝒏 = 𝟔(𝟑 − 𝟒 𝐥𝐨𝐠 𝟐)
𝒏→∞ 𝒏→∞
Therefore,
−𝟏 ∑𝒌
𝒊=𝟏 𝒊
𝟐
𝒏 𝒌
𝒆
𝛀 = 𝐥𝐢𝐦 ∑ (𝟏 + (∑ 𝒊𝟐 ) ) − 𝒏𝒆 = − ⋅ 𝟔(𝟑 − 𝟒 𝐥𝐨𝐠 𝟐) =
𝒏→∞ 𝟐
𝒌=𝟏 𝒊=𝟏
( )
33 NUMBER 26-RMM AUTUMN EDITION 2022-SOLUTIONS
www.ssmrmh.ro
= 𝟑𝒆(𝟒 𝐥𝐨𝐠 𝟐 − 𝟑)
SP.392 Let (𝒙𝒏 )𝒏≥𝟏 , (𝒚𝒏 )𝒏≥𝟏 be sequences of real numbers such that
𝒙𝟏 = 𝟏, 𝒚𝟏 = 𝒂𝟐 + 𝒂 + 𝟏,
∗
𝒂𝟐 + 𝒂𝒙𝒏 + 𝒙𝒏 𝒚𝒏 𝒂𝟐 + 𝒂𝒚𝒏 + 𝒙𝒏 𝒚𝒏
𝒂 > 1, ∀𝑛 ∈ ℕ 𝐚𝐧𝐝 𝒙𝒏+𝟏 = , 𝒚𝒏+𝟏 = . 𝐅𝐢𝐧𝐝:
𝒚𝒏 𝒙𝒏
𝐥𝐢𝐦 𝒙𝒏 , 𝐥𝐢𝐦 𝒚𝒏 .
𝒏→∞ 𝒏→∞
𝟏 𝟏 𝒂 𝟏 𝒂
− = 𝟐
; (𝒚𝒏 → +∞) ⇒ =
𝒂 + 𝒙 𝒏 𝒂 + 𝒚𝒏 ( 𝒂 + 𝟏 ) 𝒂 + 𝒙𝒏 ( 𝒂 + 𝟏) 𝟐
(𝒂 + 𝟏)𝟐 ( 𝒂 + 𝟏) 𝟐 𝟐𝒂 + 𝟏 𝟏
⇔ 𝒂+𝒍= ⇔𝒍= −𝒂= ⇒ 𝐥𝐢𝐦 𝒙𝒏 = 𝟐 + .
𝒂 𝒂 𝒂 𝒏→∞ 𝒂
Solution 2 by Kamel Gandouli Rezgui-Tunisia
𝒂𝟐 + 𝒂𝒙𝒏 + 𝒚𝒏 𝒙𝒏 𝒂𝟐 + 𝒂𝒚𝒏 + 𝒚𝒏 𝒙𝒏
𝒙𝒏+𝟏 = , 𝒚𝒏+𝟏 =
𝒚𝒏 𝒙𝒏
𝟐𝒂𝟔𝟐 + 𝟐𝒂 + 𝟏
𝒙𝟐 = < 𝒚𝟐
𝒂𝟐 + 𝒂 + 𝟏
𝒂𝟐 + 𝒂𝒙𝒏 + 𝒚𝒏 𝒙𝒏 𝒂𝟐 + 𝒂𝒚𝒏 + 𝒚𝒏 𝒙𝒏
𝒙𝒏+𝟏 − 𝒚𝒏+𝟏 = − =
𝒚𝒏 𝒙𝒏
(𝒙𝒏 − 𝒚𝒏 )(𝒂𝟐 + 𝒂𝒚𝒏 + 𝒂𝒙𝒏 + 𝒙𝒏 𝒚𝒏 ) (𝒙𝒏 − 𝒚𝒏 )(𝒂 + 𝒙𝒏 )(𝒂 + 𝒚𝒏 )
= =
𝒙 𝒏 𝒚𝒏 𝒙 𝒏 𝒚𝒏
By mathematical induction 𝒚𝒏 > 𝒙𝒏 , ∀𝒏 ∈ ℕ
Now, 𝒙𝟏 , 𝒙𝟐 > 0. Suppose 𝒙𝒏 > 0, 𝒚𝒏 > 0 then
𝒂𝟐 + 𝒂𝒙𝒏 + 𝒚𝒏 𝒙𝒏 𝒂𝟐 + 𝒂𝒙𝒏
𝒙𝒏+𝟏 = = + 𝒙𝒏 > 0
𝒚𝒏 𝒚𝒏
𝒂𝟐 + 𝒂𝒚𝒏 + 𝒚𝒏 𝒙𝒏 𝒂𝟐 + 𝒂𝒚𝒏
𝒚𝒏+𝟏 = = + 𝒚𝒏 > 0, ∀𝑛 ∈ ℕ
𝒙𝒏 𝒙𝒏
( 𝒂 + 𝟏) 𝟐 ( 𝒂 + 𝟏) 𝟐 𝟏
⇒ 𝒂 + 𝒙𝒏 < ⇒ 𝒙𝒏 < − 𝒂 = 𝟐 + < 3, ∀𝑎 > 1
𝒂 𝒂 𝒂
⇒ 𝒙𝒏 < 3, ∀𝑛 ∈ ℕ∗ ; ⇒ (𝒙𝒏 )𝒏≥𝟏 − is bounded ; (𝟏)
𝒂𝟐 + 𝒂𝒙𝒏 𝒂𝟐 + 𝒂𝒚𝒏
𝒙𝒏+𝟏 − 𝒙𝒏 = > 0 𝐚𝐧𝐝 𝒚𝒏+𝟏 − 𝒚𝒏 = > 0 ⇒ (𝒙𝒏 )𝒏≥𝟏 , (𝒚𝒏 )𝒏≥𝟏 ↗; (𝟐).
𝒚𝒏 𝒙𝒏
From (𝟏), (𝟐) we obtain that (𝒙𝒏 )𝒏≥𝟏 is convergent.
Let 𝒙 = 𝐥𝐢𝐦 𝒙𝒏 , 𝒙 ∈ (𝟏, 𝟑) and suppose that 𝒚 = 𝐥𝐢𝐦 𝒚𝒏 ; 𝒚 ∈ ℝ hence,
𝒏→∞ 𝒏→∞
𝒂𝟐 + 𝒂𝒙 + 𝒙𝒚
𝒙= ⇔ 𝒙𝒚 = 𝒂𝟐 + 𝒂𝒙 + 𝒙𝒚 ⇔ 𝒙 = −𝒂 𝐜𝐨𝐧𝐭𝐫𝐚𝐝𝐢𝐜𝐭𝐢𝐨𝐧! ⇒ 𝐥𝐢𝐦 𝒚𝒏 = ∞.
𝒚 𝒏→∞
𝟏 𝟏 𝒂 𝟏 𝒂
− = ; (𝒚 𝒏 → +∞) ⇒ =
𝒂 + 𝒙 𝒏 𝒂 + 𝒚𝒏 ( 𝒂 + 𝟏 ) 𝟐 𝒂 + 𝒙𝒏 ( 𝒂 + 𝟏) 𝟐
35 NUMBER 26-RMM AUTUMN EDITION 2022-SOLUTIONS
www.ssmrmh.ro
(𝒂 + 𝟏)𝟐 ( 𝒂 + 𝟏) 𝟐 𝟐𝒂 + 𝟏 𝟏
⇔ 𝒂+𝒙 = ⇔𝒙= −𝒂= ⇒ 𝐥𝐢𝐦 𝒙𝒏 = 𝟐 + .
𝒂 𝒂 𝒂 𝒏→∞ 𝒂
Solution 3 by Ruxandra Daniela Tonilă-Romania
𝒂𝟐 + 𝒂𝒙𝒏 + 𝒙𝒏 𝒚𝒏 𝒂(𝒂 + 𝒙𝒏 ) + (𝒂 + 𝒙𝒏 )𝒚𝒏 − 𝒂𝒚𝒏 (𝒂 + 𝒙𝒏 )(𝒂 + 𝒚𝒏 )
𝒙𝒏+𝟏 = = = −𝒂
𝒚𝒏 𝒚𝒏 𝒚𝒏
(𝒂 + 𝒙𝒏 )(𝒂 + 𝒚𝒏 ) 𝟏 𝒚𝒏
⇒ 𝒂 + 𝒙𝒏+𝟏 = ⇒ =
𝒚𝒏 𝒂 + 𝒙𝒏+𝟏 (𝒂 + 𝒙𝒏 )(𝒂 + 𝒚𝒏 )
𝟏 𝒙𝒏
𝐒𝐢𝐦𝐢𝐥𝐚𝐫𝐥𝐲, = 𝐭𝐡𝐞𝐧:
𝒂 + 𝒚𝒏+𝟏 (𝒂 + 𝒙𝒏 )(𝒂 + 𝒚𝒏 )
𝟏 𝟏 𝒚𝒏 − 𝒙 𝒏 (𝒚𝒏 + 𝒂) − (𝒙𝒏 + 𝒂) 𝟏 𝟏
− = = = −
𝒂 + 𝒙𝒏+𝟏 𝒂 + 𝒚𝒏+𝟏 (𝒂 + 𝒙𝒏 )(𝒂 + 𝒚𝒏 ) (𝒂 + 𝒙𝒏 )(𝒂 + 𝒚𝒏 ) 𝒂 + 𝒙𝒏 𝒂 + 𝒚 𝒏
Namely,
𝟏 𝟏 𝟏 𝟏 𝟏 𝟏
− = − =⋯= − =
𝒂 + 𝒙𝒏+𝟏 𝒂 + 𝒚𝒏+𝟏 𝒂 + 𝒙𝒏 𝒂 + 𝒚𝒏 𝒂 + 𝒙 𝟏 𝒂 + 𝒚𝟏
𝟏 𝟏 𝒂
= − 𝟐
=
𝒂 + 𝟏 ( 𝒂 + 𝟏) ( 𝒂 + 𝟏) 𝟐
𝟏 𝒂 𝟏 𝒂
= 𝟐
+ > ; (𝒙𝒏 > 0, 𝒚𝒏 > 0, ∀𝒏 ∈ ℕ∗ − 𝐢𝐧𝐝𝐮𝐜𝐭𝐢𝐨𝐧)
𝒂 + 𝒙𝒏+𝟏 (𝒂 + 𝟏) 𝒂 + 𝒚𝒏+𝟏 (𝒂 + 𝟏)𝟐
( 𝒂 + 𝟏) 𝟐 ( 𝒂 + 𝟏) 𝟐 𝟏
⇒ 𝒂 + 𝒙𝒏 < ⇒ 𝒙𝒏 < − 𝒂 = 𝟐 + < 3, ∀𝑎 > 1
𝒂 𝒂 𝒂
∗
⇒ 𝒙𝒏 < 3, ∀𝑛 ∈ ℕ ; ⇒ (𝒙𝒏 )𝒏≥𝟏 − is bounded ; (𝟏)
𝒂𝟐 + 𝒂𝒙𝒏 𝒂𝟐 + 𝒂𝒚𝒏
𝒙𝒏+𝟏 − 𝒙𝒏 = > 0 𝐚𝐧𝐝 𝒚𝒏+𝟏 − 𝒚𝒏 = > 0 ⇒ (𝒙𝒏 )𝒏≥𝟏 , (𝒚𝒏 )𝒏≥𝟏 ↗; (𝟐).
𝒚𝒏 𝒙𝒏
From (𝟏), (𝟐) we obtain that (𝒙𝒏 )𝒏≥𝟏 is convergent.
Let 𝒙 = 𝐥𝐢𝐦 𝒙𝒏 , 𝒙 ∈ (𝟏, 𝟑) and suppose that 𝒚 = 𝐥𝐢𝐦 𝒚𝒏 ; 𝒚 ∈ ℝ hence,
𝒏→∞ 𝒏→∞
𝟐
𝒂 + 𝒂𝒙 + 𝒙𝒚
𝒙= ⇔ 𝒙𝒚 = 𝒂𝟐 + 𝒂𝒙 + 𝒙𝒚 ⇔ 𝒙 = −𝒂 𝐜𝐨𝐧𝐭𝐫𝐚𝐝𝐢𝐜𝐭𝐢𝐨𝐧! ⇒ 𝐥𝐢𝐦 𝒚𝒏 = ∞.
𝒚 𝒏→∞
𝟏 𝟏 𝒂 𝟏 𝒂
− = 𝟐
; (𝒚𝒏 → +∞) ⇒ =
𝒂 + 𝒙 𝒏 𝒂 + 𝒚𝒏 ( 𝒂 + 𝟏 ) 𝒂 + 𝒙𝒏 ( 𝒂 + 𝟏) 𝟐
(𝒂 + 𝟏)𝟐 ( 𝒂 + 𝟏) 𝟐 𝟐𝒂 + 𝟏 𝟏
⇔ 𝒂+𝒙 = ⇔𝒙= −𝒂= ⇒ 𝐥𝐢𝐦 𝒙𝒏 = 𝟐 + .
𝒂 𝒂 𝒂 𝒏→∞ 𝒂
𝒇 −increasing function on (𝟎, 𝟏). How, 𝒇(𝟎) = 𝟎 then, 𝒙 − 𝐥𝐨𝐠(𝟏 + 𝒙) > 0, ∀𝑥 ∈ (𝟎, 𝟏).
𝒙
Now, let be the function 𝒈: [𝟎, 𝟏) → ℝ, 𝒈(𝒙) = 𝒙 + 𝐥𝐨𝐠(𝟏 − 𝒙) with 𝒈′ (𝒙) = − 𝟏−𝒙 < 0,
∀𝒙 ∈ (𝟎, 𝟏) then, 𝒈 −decreasing on (𝟎, 𝟏) then, 𝒈(𝒙) < 𝑔(𝟎) = 𝟎, ∀𝒙 ∈ (𝟎, 𝟏).
𝟏 𝟏 𝟏
𝐋𝐞𝐭: 𝒙𝒏 = + +⋯+
𝒏 𝒏+𝟏 𝒏+𝒌⋅𝒏
Using the inequality (∗), it follows that:
𝟏 𝟏 𝟏
𝐥𝐨𝐠 (𝟏 + ) < < − 𝐥𝐨𝐠 (𝟏 − )
𝒏 𝒏 𝒏
𝟏 𝟏 𝟏
𝐥𝐨𝐠 (𝟏 + )< < − 𝐥𝐨𝐠 (𝟏 − )
𝒏+𝟏 𝒏+𝟏 𝒏+𝟏
⋮
𝟏 𝟏 𝟏
𝐥𝐨𝐠 (𝟏 + )< < − 𝐥𝐨𝐠 (𝟏 − )
𝒏+𝒌⋅𝒏 𝒏+𝒌⋅𝒏 𝒏 + 𝒌𝒏
Adding these relations, it follows that:
𝒌𝒏 𝒌𝒏
𝟏 𝟏
𝐥𝐨𝐠 (∏ (𝟏 + )) < 𝒙𝒏 < − 𝐥𝐨𝐠 (∏ (𝟏 − ))
𝒏+𝒊 𝒏+𝒊
𝒊=𝟎 𝒊=𝟎
𝒌𝒏 𝒌𝒏
𝟏 𝟏 𝟏 𝒏−𝟏
𝐁𝐮𝐭: ∏ (𝟏 + ) = 𝒌 + 𝟏 + 𝐚𝐧𝐝 ∏ (𝟏 − )= 𝐭𝐡𝐮𝐬,
𝒏+𝒊 𝒏 𝒏+𝒊 𝒏 + 𝒌𝒏
𝒊=𝟎 𝒊=𝟎
𝟏 𝒌+𝟏
𝐥𝐨𝐠 (𝒌 + 𝟏 + ) < 𝒙𝒏 < 𝐥𝐨𝐠 (𝒌 + 𝟏 + ) 𝐭𝐡𝐞𝐧,
𝒏 𝒏−𝟏
𝒏 𝒌 𝒏 𝒌
𝟏 𝑺𝒏 𝟏 𝒌+𝟏
𝐋𝐞𝐭: 𝒚𝒏 = ∑ (𝟏 + ) − 𝒏; 𝒏, 𝒌 ≥ 𝟏 ⇒ 𝒚𝒏 = ∑ (𝟏 + ) − 𝒏; 𝒏 ≥ 𝟏.
𝒏 𝒏
𝒌=𝟏 𝒌=𝟏
We have:
𝒏
𝒏 𝟏 𝒏+𝟏
𝟏 𝒏+𝟏 (𝟏 + 𝒏) −𝟏
𝒚𝒏 ≤ 𝒏 (𝟏 + ) −𝒏 =
𝒏 𝟏
𝒏
𝒏
𝟏 𝒏+𝟏 𝟏
(𝟏 + 𝒏) −𝟏 (𝟏 + 𝒙)𝟏+𝒙 − 𝟏 𝑳′ 𝑯
𝐥𝐢𝐦 = 𝐥𝐢𝐦 = 𝟏; (𝟏)
𝒏→∞ 𝟏 𝒙→𝟎 𝒙
𝒏
𝟏
𝒕 𝟏
From Bernoulli inequality, (𝟏 + 𝒕)𝒎 ≤ 𝟏 + 𝒎 for 𝒕 = 𝒏 and 𝒎 = 𝒌 + 𝟏, we get:
𝟏
𝟏 𝒌+𝟏 𝟏
(𝟏 + ) ≤𝟏+
𝒏 𝒏(𝒌 + 𝟏)
Namely,
𝒌 𝟏 𝟏
𝟏 𝒌+𝟏 𝟏+ 𝟏+ 𝒏(𝒌 + 𝟏) + 𝒌 + 𝟏
(𝟏 + ) = 𝒏 ≥ 𝒏 =
𝒏 𝟏 𝟏 𝒏(𝒌 + 𝟏) + 𝟏
𝟏 𝒌+𝟏 𝟏+ (
(𝟏 + 𝒏) 𝒏 𝒌 + 𝟏)
It follows that:
𝒏 𝒏 𝒏
𝒏(𝒌 + 𝟏) + 𝒌 + 𝟏 𝒌 𝒌−𝟏
𝒚𝒏 ≥ ∑ ( − 𝟏) = ∑ ≥∑ =
𝒏(𝒌 + 𝟏) + 𝟏 𝒏(𝒌 + 𝟏) + 𝟏 𝒏𝒌
𝒌=𝟏 𝒌=𝟏 𝒌=𝟏
𝒏 𝒏
𝟏 𝟏 𝟏 𝟏 𝑯𝒏
∑( − ) = 𝟏− ∑ = 𝟏− → 𝟏; (𝟐)
𝒏 𝒏𝒌 𝒏 𝒌 𝒏
𝒌=𝟏 𝒌=𝟏
Therefore,
We have:
𝒏
𝒏 𝒌 𝒏 𝟏 𝒏+𝟏
𝟏 𝑺𝒏 𝟏 𝒏+𝟏 (𝟏 + 𝒏) −𝟏
∑ (𝟏 + ) − 𝒏 ≤ 𝒏 (𝟏 + ) −𝒏=
𝒏 𝒏 𝟏
𝒌=𝟏
𝒏
𝒏
𝟏 𝒏+𝟏 𝟏
(𝟏 + 𝒏) −𝟏 (𝟏 + 𝒙)𝟏+𝒙 − 𝟏 𝑳′ 𝑯
𝐥𝐢𝐦 = 𝐥𝐢𝐦 = 𝟏; (𝟏)
𝒏→∞ 𝟏 𝒙→𝟎 𝒙
𝒏
𝟏
𝒕 𝟏
From Bernoulli inequality, (𝟏 + 𝒕)𝒎 ≤ 𝟏 + 𝒎 for 𝒕 = 𝒏 and 𝒎 = 𝒌 + 𝟏, we get:
𝟏
𝟏 𝒌+𝟏 𝟏
(𝟏 + ) ≤𝟏+
𝒏 𝒏(𝒌 + 𝟏)
Namely,
𝒌 𝟏 𝟏
𝟏 𝒌+𝟏 𝟏+ 𝟏+ 𝒏(𝒌 + 𝟏) + 𝒌 + 𝟏
(𝟏 + ) = 𝒏 ≥ 𝒏 =
𝒏 𝟏 𝟏 𝒏(𝒌 + 𝟏) + 𝟏
𝟏 𝒌+𝟏 𝟏+ (
(𝟏 + 𝒏) 𝒏 𝒌 + 𝟏)
Therefore,
𝒏 𝒌
𝟏 𝑺𝒏,𝒌
𝛀 = 𝐥𝐢𝐦 (∑ (𝟏 + ) − 𝒏) = 𝟏
𝒏→∞ 𝒏
𝒌=𝟏
𝑭𝒏 𝑭𝟐𝒏
𝑼𝒏 = ∑ =∑ =
𝒄𝒚𝒄
√𝑭𝟐𝒏 + 𝒂𝑭𝒏+𝟏 𝑭𝒏+𝟐 𝑭 ⋅ √𝑭𝟑𝒏 + 𝒂𝑭𝒏 𝑭𝒏+𝟏 𝑭𝒏+𝟐
𝒄𝒚𝒄 √ 𝒏
𝑭𝟐𝒏
=∑ , ∀𝒏 ∈ ℕ, 𝐰𝐡𝐞𝐫𝐞 𝒑𝒏 = 𝑭𝒏 𝑭𝒏+𝟏 𝑭𝒏+𝟐 , ∀𝒏 ∈ ℕ; (𝟏)
𝒄𝒚𝒄 √𝑭𝒏 ⋅ √𝑭𝟑𝒏 + 𝒂𝒑𝒏
𝟒𝑭𝟐𝒏+𝟐
= ; (∗)
√𝑭𝒏 ⋅ √𝑭𝟑𝒏 + 𝒂𝑭𝒏 𝑭𝒏+𝟏 𝑭𝒏+𝟐
Now apply Cauchy-Schwarz in the term in denominator, we get
𝟐
(∑ √𝑭𝒏 ⋅ √𝑭𝟑𝒏 + 𝒂𝑭𝒏 𝑭𝒏+𝟏 𝑭𝒏+𝟐 ) ≤ (∑ 𝑭𝒏 ) (∑(𝑭𝟑𝒏 + 𝒂𝑭𝒏 𝑭𝒏+𝟏 𝑭𝒏+𝟐 ))
𝟐
(∑ √𝑭𝒏 ⋅ √𝑭𝟑𝒏 + 𝒂𝑭𝒏 𝑭𝒏+𝟏 𝑭𝒏+𝟐 )
∵ (𝒙 + 𝒚 + 𝒛)𝟑 ≥ 𝒙𝟑 + 𝒚𝟑 + 𝒛𝟑 + 𝟐𝟒𝒙𝒚𝒛
𝟏 𝟏 𝟏
≥ =
∑ √𝑭𝒏 ⋅ √𝑭𝟑𝒏 + 𝒂𝑭𝒏 𝑭𝒏+𝟏 𝑭𝒏+𝟐 (∑ 𝑭𝒏 ) 𝟐
𝟒𝑭𝟐𝒏+𝟐
𝟒𝑭𝟐
Substitute in (∗) we get 𝛀 ≥ 𝟒𝑭𝒏+𝟐
𝟐 = 𝟏.Therefore,
𝒏+𝟐
𝑭𝒏
∑ ≥𝟏
𝒄𝒚𝒄
√𝑭𝟐𝒏 + 𝒂𝑭𝒏+𝟏 𝑭𝒏+𝟐
𝒌=𝟎 𝒌=𝟎
𝒌𝟐 (𝒏 − 𝒌 )𝟐
𝒂𝒌 + 𝒂𝒏−𝒌 = + =
𝟐𝒌𝟐 − 𝟐𝒏𝒌 + 𝒏𝟐 𝟐(𝒏 − 𝒌)𝟐 − 𝟐𝒏(𝒏 − 𝒌) + 𝒏𝟐
𝒌𝟐 (𝒏 − 𝒌 )𝟐
= 𝟐 + =
𝟐𝒌 − 𝟐𝒏𝒌 + 𝒏𝟐 (𝒏 − 𝒌)[𝟐(𝒏 − 𝒌) − 𝟐𝒏] + 𝒏𝟐
𝒌𝟐 (𝒏 − 𝒌 ) 𝟐 𝒌𝟐 (𝒏 − 𝒌 )𝟐
= + = + =
𝟐𝒌𝟐 − 𝟐𝒏𝒌 + 𝒏𝟐 −𝟐𝒌(𝒏 − 𝒌) + 𝒏𝟐 𝟐𝒌𝟐 − 𝟐𝒏𝒌 + 𝒏𝟐 𝒏𝟐 − 𝟐𝒌𝒏 + 𝟐𝒌𝟐
𝒌 𝟐 + (𝒏 − 𝒌 ) 𝟐
= 𝟐 =𝟏
𝒏 − 𝟐𝒌𝒏 + 𝟐𝒌𝟐
Hence,
𝒏−𝟏 𝒏−𝟏
𝟐 ∑ 𝒂𝒌 = ∑ (𝒂𝒌 + 𝒂𝒏−𝒌 ) = 𝒏 − 𝟏
𝒌=𝟏 𝒌=𝟏
and then
𝒏
𝒌𝟐 𝒏+𝟏
∑ 𝟐 =
𝟐𝒌 − 𝟐𝒏𝒌 + 𝒏𝟐 𝟐
𝒌=𝟏
𝒑 𝒎 𝒏 𝒑 𝒎 𝒑
𝒌𝟐 𝒏+𝟏 𝒎(𝒎 + 𝟏) 𝒎
∑ ∑∑ 𝟐 = ∑ ∑ = ∑ ( + )=
𝟐𝒌 − 𝟐𝒏𝒌 + 𝒏𝟐 𝟐 𝟒 𝟐
𝒎=𝟏 𝒏=𝟏 𝒌=𝟏 𝒎=𝟏 𝒏=𝟏 𝒎=𝟏
Hnece,
𝒑 𝒎 𝒏 𝒑 𝒎 𝒑
𝒌𝟐 𝒏+𝟏 𝒎(𝒎 + 𝟏) 𝒎
∑ ∑∑ 𝟐 = ∑ ∑ = ∑ ( + )=
𝟐𝒌 − 𝟐𝒏𝒌 + 𝒏𝟐 𝟐 𝟒 𝟐
𝒎=𝟏 𝒏=𝟏 𝒌=𝟏 𝒎=𝟏 𝒏=𝟏 𝒎=𝟏
𝒑 𝒑
𝟏 𝟏 𝟏 𝒑(𝒑 + 𝟏)(𝟐𝒑 + 𝟏) 𝟏 𝒑(𝒑 + 𝟏)
= ∑ 𝒎𝟐 + ∑ 𝒎 = ⋅ + ⋅ =
𝟒 𝟐 𝟒 𝟔 𝟐 𝟐
𝒎=𝟏 𝒎=𝟏
𝒌𝟐 (𝒏 − 𝒌 )𝟐
𝒂𝒌 + 𝒂𝒏−𝒌 = + =
𝟐𝒌𝟐 − 𝟐𝒏𝒌 + 𝒏𝟐 𝟐(𝒏 − 𝒌)𝟐 − 𝟐𝒏(𝒏 − 𝒌) + 𝒏𝟐
𝒌𝟐 (𝒏 − 𝒌 )𝟐
= + =
𝟐𝒌𝟐 − 𝟐𝒏𝒌 + 𝒏𝟐 (𝒏 − 𝒌)[𝟐(𝒏 − 𝒌) − 𝟐𝒏] + 𝒏𝟐
𝒌𝟐 (𝒏 − 𝒌 ) 𝟐 𝒌𝟐 (𝒏 − 𝒌 )𝟐
= + = + =
𝟐𝒌𝟐 − 𝟐𝒏𝒌 + 𝒏𝟐 −𝟐𝒌(𝒏 − 𝒌) + 𝒏𝟐 𝟐𝒌𝟐 − 𝟐𝒏𝒌 + 𝒏𝟐 𝒏𝟐 − 𝟐𝒌𝒏 + 𝟐𝒌𝟐
𝒌 𝟐 + (𝒏 − 𝒌 ) 𝟐
= =𝟏
𝒏𝟐 − 𝟐𝒌𝒏 + 𝟐𝒌𝟐
Hence,
𝒏−𝟏 𝒏−𝟏
𝟐 ∑ 𝒂𝒌 = ∑ (𝒂𝒌 + 𝒂𝒏−𝒌 ) = 𝒏 − 𝟏
𝒌=𝟏 𝒌=𝟏
and then
𝒏
𝒌𝟐 𝒏+𝟏
∑ 𝟐 𝟐
=
𝟐𝒌 − 𝟐𝒏𝒌 + 𝒏 𝟐
𝒌=𝟏
𝒑 𝒎 𝒏 𝒑 𝒎 𝒑
𝒌𝟐 𝒏+𝟏 𝒎(𝒎 + 𝟏) 𝒎
∑ ∑∑ 𝟐 𝟐
= ∑∑ = ∑( + )=
𝟐𝒌 − 𝟐𝒏𝒌 + 𝒏 𝟐 𝟒 𝟐
𝒎=𝟏 𝒏=𝟏 𝒌=𝟏 𝒎=𝟏 𝒏=𝟏 𝒎=𝟏
𝒑 𝒑
𝟏 𝟏 𝟏 𝒑(𝒑 + 𝟏)(𝟐𝒑 + 𝟏) 𝟏 𝒑(𝒑 + 𝟏)
= ∑ 𝒎𝟐 + ∑ 𝒎 = ⋅ + ⋅ =
𝟒 𝟐 𝟒 𝟔 𝟐 𝟐
𝒎=𝟏 𝒎=𝟏
𝒙 + 𝐥𝐨𝐠 𝒃 (𝒂 + 𝒌) 𝒙 + 𝐥𝐨𝐠 𝒃 (𝒄 + 𝒏 − 𝒌)
𝒂𝒌 + 𝒂𝒏−𝒌 = + =𝟏
𝟐𝒙 + 𝐥𝐨𝐠 𝒃 (𝒂 + 𝒌)(𝒂 − 𝒌 + 𝒏) 𝟐𝒙 + 𝐥𝐨𝐠 𝒃 (𝒂 + 𝒏 − 𝒌)(𝒂 + 𝒌)
Hence,
𝒏−𝟏 𝒏−𝟏
𝟐 ∑ 𝒂𝒌 = ∑ (𝒂𝒌 + 𝒂𝒏−𝒌 ) = 𝒏 − 𝟏
𝒌=𝟏 𝒌=𝟏
and then
𝒏 𝒏−𝟏
𝒏−𝟏 𝒙 + 𝐥𝐨𝐠 𝒃 (𝒂 + 𝒏)
∑ 𝒂𝒌 = ∑ 𝒂𝒌 + 𝒂𝒏 = +
𝟐 𝟐𝒙 + 𝐥𝐨𝐠 𝒃 [𝒂(𝒂 + 𝒏)]
𝒌=𝟏 𝒌=𝟏
So, we get:
𝒏−𝟏 𝒙 + 𝐥𝐨𝐠 𝒃 (𝒂 + 𝒏) 𝒏+𝟏 𝒙 + 𝐥𝐨𝐠 𝒃 (𝒂 + 𝒏)
+ = ⇔ =𝟏⇔
𝟐 𝟐𝒙 + 𝐥𝐨𝐠 𝒃 [𝒂(𝒂 + 𝒏)] 𝟐 𝟐𝒙 + 𝐥𝐨𝐠 𝒃 [𝒂(𝒂 + 𝒏)]
𝟐𝒙 + 𝐥𝐨𝐠 𝒃 [𝒂(𝒂 + 𝒏)] = 𝒙 + 𝐥𝐨𝐠 𝒃 (𝒂 + 𝒏)
𝟏
𝒙 = 𝐥𝐨𝐠 𝒃 ( )
𝒂
Solution 2 by Kamel Gandouli Rezgui-Tunisia
𝒏
𝒙 + 𝐥𝐨𝐠 𝒃 (𝒂 + 𝒌)
𝑺=∑
𝟐𝒙 + 𝐥𝐨𝐠 𝒃 (𝒂 + 𝒌)(𝒂 − 𝒌 + 𝒏)
𝒌=𝟏
𝒏−𝒌= 𝒑→ 𝒌 =𝒏−𝒑
𝒏−𝟏 𝒏
𝒙 + 𝐥𝐨𝐠 𝒃 (𝒂 + 𝒏 − 𝒑) 𝒙 + 𝐥𝐨𝐠 𝒃 (𝒂 + 𝒏 − 𝒑)
𝑺=∑ =∑ +
𝟐𝒙 + 𝐥𝐨𝐠 𝒃 (𝒂 + 𝒏 − 𝒑)(𝒂 + 𝒑) 𝟐𝒙 + 𝐥𝐨𝐠 𝒃 (𝒂 + 𝒏 − 𝒑)(𝒂 + 𝒑)
𝒑=𝟎 𝒑=𝟏
𝒙 + 𝐥𝐨𝐠 𝒃 (𝒂 + 𝒏) 𝒙 + 𝐥𝐨𝐠 𝒃 𝒂
+ −
𝟐𝒙 + 𝐥𝐨𝐠 𝒃 𝒂(𝒂 + 𝒏) 𝟐𝒙 + 𝐥𝐨𝐠 𝒃 𝒂(𝒂 + 𝒏)
𝒙 + 𝐥𝐨𝐠 𝒃 (𝒂 + 𝒏) 𝒙 + 𝐥𝐨𝐠 𝒃 𝒂
+ − =
𝟐𝒙 + 𝐥𝐨𝐠 𝒃 𝒂(𝒂 + 𝒏) 𝟐𝒙 + 𝐥𝐨𝐠 𝒃 𝒂(𝒂 + 𝒏)
𝒙 + 𝐥𝐨𝐠 𝒃 (𝒂 + 𝒏) 𝒙 + 𝐥𝐨𝐠 𝒃 𝒂
=𝒏+ −
𝟐𝒙 + 𝐥𝐨𝐠 𝒃 𝒂(𝒂 + 𝒏) 𝟐𝒙 + 𝐥𝐨𝐠 𝒃 𝒂(𝒂 + 𝒏)
𝒏 𝟏 𝒙 + 𝐥𝐨𝐠 𝒃 (𝒂 + 𝒏) 𝒙 + 𝐥𝐨𝐠 𝒃 𝒂
𝑺= + ( − )
𝟐 𝟐 𝟐𝒙 + 𝐥𝐨𝐠 𝒃 𝒂(𝒂 + 𝒏) 𝟐𝒙 + 𝐥𝐨𝐠 𝒃 𝒂(𝒂 + 𝒏)
𝒙 + 𝐥𝐨𝐠 𝒃 (𝒂 + 𝒏) 𝒙 + 𝐥𝐨𝐠 𝒃 𝒂
− =𝟏
𝟐𝒙 + 𝐥𝐨𝐠 𝒃 𝒂(𝒂 + 𝒏) 𝟐𝒙 + 𝐥𝐨𝐠 𝒃 𝒂(𝒂 + 𝒏)
So, we get:
𝒏−𝟏 𝒙 + 𝐥𝐨𝐠 𝒃 (𝒂 + 𝒏) 𝒏+𝟏 𝒙 + 𝐥𝐨𝐠 𝒃 (𝒂 + 𝒏)
+ = ⇔ =𝟏⇔
𝟐 𝟐𝒙 + 𝐥𝐨𝐠 𝒃 [𝒂(𝒂 + 𝒏)] 𝟐 𝟐𝒙 + 𝐥𝐨𝐠 𝒃 [𝒂(𝒂 + 𝒏)]
𝟐𝒙 + 𝐥𝐨𝐠 𝒃 [𝒂(𝒂 + 𝒏)] = 𝒙 + 𝐥𝐨𝐠 𝒃 (𝒂 + 𝒏)
𝟏
𝒙 = 𝐥𝐨𝐠 𝒃 ( )
𝒂
Solution 3 by Ravi Prakash-New Delhi-India
𝒙+𝐥𝐨𝐠 𝒃 (𝒂+𝒌)
Let 𝒂𝒌 = 𝟐𝒙+𝐥𝐨𝐠 . Hence,
𝒃 (𝒂+𝒌)(𝒂−𝒌+𝒏)
𝒙 + 𝐥𝐨𝐠 𝒃 (𝒂 + 𝒌) 𝒙 + 𝐥𝐨𝐠 𝒃 (𝒄 + 𝒏 − 𝒌)
𝒂𝒌 + 𝒂𝒏−𝒌 = + =𝟏
𝟐𝒙 + 𝐥𝐨𝐠 𝒃 (𝒂 + 𝒌)(𝒂 − 𝒌 + 𝒏) 𝟐𝒙 + 𝐥𝐨𝐠 𝒃 (𝒂 + 𝒏 − 𝒌)(𝒂 + 𝒌)
Hence,
𝑺 = 𝒂𝟏 + 𝒂𝟐 + ⋯ + 𝒂𝒏
𝑺 + 𝒂𝟎 = 𝒂𝟎 + 𝒂𝟏 + ⋯ + 𝒂𝒏−𝟏 + 𝒂𝒏
𝑺 + 𝒂𝟎 = 𝒂𝒏 + 𝒂𝒏−𝟏 +. . . +𝒂𝟏 + 𝒂𝟎
𝒏+𝟏
So, we get: 𝟐(𝑺 + 𝒂𝟎 ) = 𝒏 + 𝟏 ⇒ 𝑺 = − 𝒂𝟎
𝟐
𝒏+𝟏 𝒏+𝟏
𝑺= − 𝒂𝟎 ⇒ 𝑺 − = 𝟎 ⇒ 𝒂𝟎 = 𝟎 ⇒ 𝒙 + 𝐥𝐨𝐠 𝒃 𝒂 = 𝟎
𝟐 𝟐
𝟏
𝒙 = 𝐥𝐨𝐠 𝒃 ( )
𝒂
𝟐√𝟑 √𝟑 √𝟑 𝑨𝑮𝑴 𝟑
√𝟑 √𝟑
𝒙𝟐 + = 𝒙𝟐 + + ≥ 𝟑 ⋅ √ 𝒙𝟐 ⋅ ⋅ =𝟏
𝟗𝒙 𝟗𝒙 𝟗𝒙 𝟗𝒙 𝟗𝒙
𝟐√𝟑 𝟐√𝟑 𝟏 𝟗𝒙
⇒ 𝒙𝟐 + ≥ 𝟏; ∀𝒙 ∈ (𝟎, 𝟏) ⇒ 𝟏 − 𝒙𝟐 ≤ ⇒ ≥
𝟗𝒙 𝟗𝒙 𝟏 − 𝒙𝟐 𝟐√𝟑
𝟏 𝟗𝒙 𝟗 𝒙 (𝟏) 𝟗√𝟑
∑ 𝟐
≥ ∑ = ∑ ≥
(𝟏 − 𝒙 )(𝒎𝒚 + 𝒏𝒛) 𝟐√𝟑(𝒎𝒚 + 𝒏𝒛) 𝟐√𝟑 𝒄𝒚𝒄 𝒎𝒚 + 𝒏𝒛 𝟐(𝒎 + 𝒏)
𝒄𝒚𝒄 𝒄𝒚𝒄
𝒙 𝟑
( 𝟏) ⇔ ∑ ≥
𝒎𝒚 + 𝒏𝒛 𝒎 + 𝒏
𝒄𝒚𝒄
We have:
𝟐
≥ 𝒇(𝒙); ∀𝒙 ≥ 𝟎
𝟑√𝟑
Hence,
𝟏 𝟏 𝒙 𝟑√𝟑 𝒙
∑ =∑ ⋅ ≥ ∑ =
(𝟏 − 𝒙𝟐 )(𝒎𝒚 + 𝒏𝒛) 𝟑
𝒙 − 𝒙 𝒎𝒚 + 𝒏𝒛 𝟐 𝒎𝒚 + 𝒏𝒛
𝒄𝒚𝒄 𝒄𝒚𝒄 𝒄𝒚𝒄
𝐬𝐢𝐧 𝑨 𝟑
∏( + 𝝀𝟐 ) ≥ 𝟗𝝀𝟐 ⋅ √
𝐬𝐢𝐧 𝑩 𝐬𝐢𝐧 𝑪 𝟒
𝒄𝒚𝒄
How
𝟑
𝟏
= (𝟑 + 𝝀𝟐 ) ≥
√𝐬𝐢𝐧 𝑨 𝐬𝐢𝐧 𝑩 𝐬𝐢𝐧 𝑪
𝑨𝑴−𝑮𝑴 𝟑 𝑱𝒆𝒏𝒔𝒆𝒏
𝟑
⏞
≥ ( 𝟐
+𝝀 ) ⏞
≥
𝐬𝐢𝐧 𝑨 + 𝐬𝐢𝐧 𝑩 + 𝐬𝐢𝐧 𝑪
𝑨𝑴−𝑮𝑴
𝟏 𝟏 𝟑
⏞
≥ 𝟐𝟕. . 𝝀𝟐 = 𝟗𝝀𝟐 ≥ 𝟗𝝀𝟐 . √
.
√𝟑 √𝟑 𝟒
𝐬𝐢𝐧 𝑨 𝟑
→ 𝑻𝒉𝒆𝒓𝒆𝒇𝒐𝒓𝒆, ∏( + 𝝀𝟐 ) ≥ 𝟗𝝀𝟐 . √
𝐬𝐢𝐧 𝑩 𝐬𝐢𝐧 𝑪 𝟒
𝒄𝒚𝒄
SP.401 Let 𝑰 be the incentre of triangle 𝑨𝑩𝑪 and let 𝑨′ , 𝑩′ and 𝑪′ be the
intersections of the rays 𝑨𝑰, 𝑩𝑰, and 𝑪𝑰 with the circumcircle of the triangle.
Prove that [𝑨′ 𝑩′ 𝑪′ ] ≥ [𝑨𝑩𝑪], where [∗] −represent the area.
Proposed by George Apostolopoulos-Messolonghi-Greece
Solution 1 by proposer
𝑩 𝑪 𝝅 𝑨
We have: ∠𝑪′ 𝑨′ 𝑩′ = + 𝟐 = 𝟐 − 𝟐 . Using the law of sines, we have
𝟐
𝝅 𝑨 𝑪 𝑪 𝑩
𝑩′ 𝑪′ = 𝟐𝑹 ⋅ 𝐬𝐢𝐧 ( − ) = 𝟐𝑹 ⋅ 𝐜𝐨𝐬 ; 𝑨′ 𝑩′ = 𝟐𝑹 ⋅ 𝐜𝐨𝐬 ; 𝑪′ 𝑨′ = 𝟐𝑹 ⋅ 𝐜𝐨𝐬
𝟐 𝟐 𝟐 𝟐 𝟐
𝑨 𝑩 𝑪
𝑨′ 𝑩′ ⋅𝑩′ 𝑪′ ⋅𝑪′ 𝑨′ 𝟖𝑹𝟑 ⋅𝐜𝐨𝐬 𝐜𝐨𝐬 𝐜𝐨𝐬 𝑨 𝑩 𝑪
We know that: [𝑨′ 𝑩′ 𝑪′ ] = = 𝟐 𝟐 𝟐
= 𝟐𝑹𝟐 𝐜𝐨𝐬 𝟐 𝐜𝐨𝐬 𝟐 𝐜𝐨𝐬 𝟐
𝟒𝑹 𝟒𝑹
𝑨 𝑩 𝑪
Now, we’ll prove that 𝐜𝐨𝐬 𝟐 𝐜𝐨𝐬 𝟐 𝐜𝐨𝐬 𝟐 ≥ 𝐬𝐢𝐧 𝑨 𝐬𝐢𝐧 𝑩 𝐬𝐢𝐧 𝑪. We have:
𝟏 𝟏 𝑪
𝐬𝐢𝐧 𝑨 𝐬𝐢𝐧 𝑩 = (𝐜𝐨𝐬(𝑨 − 𝑩) − 𝐜𝐨𝐬(𝑨 + 𝑩)) ≤ (𝟏 + 𝐜𝐨𝐬 𝑪) = 𝐜𝐨𝐬 𝟐
𝟐 𝟐 𝟐
𝑪 𝑨 𝑩
So, 𝐬𝐢𝐧 𝑨 𝐬𝐢𝐧 𝑩 ≤ 𝐜𝐨𝐬 𝟐 𝟐 and similarly 𝐬𝐢𝐧 𝑩 𝐬𝐢𝐧 𝑪 ≤ 𝐜𝐨𝐬 𝟐 𝟐 , 𝐬𝐢𝐧 𝑪 𝐬𝐢𝐧 𝑨 ≤ 𝐜𝐨𝐬 𝟐 𝟐
𝑨′ 𝑩′ ⋅ 𝑨′ 𝑪′ ⋅ 𝐬𝐢𝐧 𝑩̂
′ 𝑨′ 𝑪′ 𝟏 𝑪 𝑩 𝑨
[𝑨′ 𝑩′ 𝑪′ ] = = 𝟐𝑹 𝐬𝐢𝐧 ⋅ 𝟐𝑹 𝐬𝐢𝐧 ⋅ 𝐜𝐨𝐬 ⇒
𝟐 𝟐 𝟐 𝟐 𝟐
𝑨 𝑩 𝑪
[𝑨′ 𝑩′ 𝑪′ ] = 𝟐𝑹𝟐 ⋅ 𝐜𝐨𝐬 𝐜𝐨𝐬 𝐜𝐨𝐬 ; (𝟏)
𝟐 𝟐 𝟐
𝟐
But [𝑨𝑩𝑪] = 𝟐𝑹 ⋅ 𝐬𝐢𝐧 𝑨 𝐬𝐢𝐧 𝑩 𝐬𝐢𝐧 𝑪 ; (𝟐)
From (1),(2) it follows that
𝑨 𝑩 𝑪 𝑨 𝑩 𝑪
[𝑨′ 𝑩′ 𝑪′ ] 𝟐𝑹𝟐 ⋅ 𝐜𝐨𝐬 𝟐 𝐜𝐨𝐬 𝟐 𝐜𝐨𝐬 𝟐 𝐜𝐨𝐬 𝟐 𝐜𝐨𝐬 𝟐 𝐜𝐨𝐬 𝟐
= = =
[𝑨𝑩𝑪] 𝟐𝑹𝟐 𝐬𝐢𝐧 𝑨 𝐬𝐢𝐧 𝑩 𝐬𝐢𝐧 𝑪 𝑨 𝑨 𝑩 𝑩 𝑪 𝑪
𝐬𝐢𝐧 𝟐 𝐜𝐨𝐬 𝟐 𝐬𝐢𝐧 𝟐 𝐜𝐨𝐬 𝟐 𝐬𝐢𝐧 𝟐 𝐜𝐨𝐬 𝟐
𝟏
= ; (𝟑)
𝑨 𝑩 𝑪
𝟖 𝐬𝐢𝐧 𝐬𝐢𝐧 𝐬𝐢𝐧
𝟐 𝟐 𝟐
𝑨 𝑩 𝑪 𝒓
But 𝐬𝐢𝐧 𝟐 𝐬𝐢𝐧 𝟐 𝐬𝐢𝐧 𝟐 = 𝟒𝑹 ; (𝟒). From (3),(4) we have
[𝑨′ 𝑩′ 𝑪′ ] 𝑹
[𝑨𝑩𝑪]
= 𝟐𝒓 ; (𝟓) and 𝑹 ≥ 𝟐𝒓 (𝑬𝒖𝒍𝒆𝒓); (𝟔)
𝒃𝟐 + 𝒄𝟐 𝟏 𝟏 𝟒𝑹/𝟏 𝟒𝑹
∑ 𝟐
≤ 𝟒𝑹 ∑ ≤ 𝟒𝑹 ∑ = =
𝒎𝒂 𝒎𝒂 𝒉𝒂 𝒓 𝒓
𝒄𝒚𝒄 𝒄𝒚𝒄 𝒄𝒚𝒄
Therefore,
𝟖𝒓𝟐 𝐬𝐢𝐧𝟐 𝑩 + 𝐬𝐢𝐧𝟐 𝑪 𝟏
𝟒
≤ ∑ 𝟐
≤ 𝟐
𝑹 𝒎𝒂 𝟐𝒓
𝒄𝒚𝒄
𝟏 𝟏 𝟐 𝟒𝒔 𝟐 𝑬𝒖𝒍𝒆𝒓 𝟏
= 𝟒∑ = 𝟒 ∑ = ∑ 𝒂 = = ≤
𝒃𝟐 + 𝒄𝟐 𝟐𝒃𝒄 𝒂𝒃𝒄 𝟒𝑹𝒓𝒔 𝑹𝒓 𝟐𝒓𝟐
𝒄𝒚𝒄 𝒄𝒚𝒄 𝒄𝒚𝒄
𝟑𝒂𝟐
≥ 𝟐√𝟐𝒉𝟐𝒂 ⋅ = 𝟐√𝟑𝒂𝟐 𝒉𝟐𝒂 = 𝟐√𝟐(𝟐𝑭)𝟐 = 𝟒√𝟑𝑭
𝟐
𝟏
∑ √𝒂𝟐 + 𝟓𝒂𝒃 + 𝟕𝒃𝟐 ≥ (𝟕 ∑ 𝒂 + 𝟏𝟗 ∑ 𝒃) =
𝒄𝒚𝒄
𝟐√𝟏𝟑 𝒄𝒚𝒄 𝒄𝒚𝒄
𝟏 𝟐𝟔
= (𝟕(𝒂 + 𝒃 + 𝒄) + 𝟏𝟗(𝒂 + 𝒃 + 𝒄)) = (𝒂 + 𝒃 + 𝒄) = √𝟏𝟑(𝒂 + 𝒃 + 𝒄)
𝟐√𝟏𝟑 𝟐√𝟏𝟑
Equality holds for 𝒂 = 𝒃 = 𝒄.
Solution 2 by Adrian Popa-Romania
𝑨𝑮𝑴 𝟏𝟑 𝟐𝟔 𝟕 𝟏𝟗
∑ √𝒂𝟐 + 𝟓𝒂𝒃 + 𝟕𝒃𝟐 ≥ ∑ √𝟏𝟑 √𝒂𝟕 ⋅ 𝒃𝟏𝟗 = √𝟏𝟑 ∑ √𝒂𝟕 ⋅ 𝒃𝟏𝟗 = √𝟏𝟑 ∑ 𝒂𝟐𝟔 ⋅ 𝒃𝟐𝟔
𝒄𝒚𝒄 𝒄𝒚𝒄 𝒄𝒚𝒄 𝒄𝒚𝒄
𝟏 𝟏
𝒏 𝒏 𝒑 𝒏 𝒒
𝒑 𝒒 𝟏 𝟏
𝐁𝐲 𝐇𝐨𝐥𝐝𝐞𝐫: ∑ 𝒂𝒊 𝒃𝒊 ≤ (∑ 𝒂𝒊 ) ⋅ (∑ 𝒃𝒊 ) , 𝐰𝐡𝐞𝐫𝐞 + = 𝟏.
𝒑 𝒒
𝒊=𝟏 𝒊=𝟏 𝒊=𝟏
𝟕 𝟏𝟗
𝟐𝟔 𝟐𝟔 𝟐𝟔 𝟐𝟔
𝟕 𝟏𝟗 𝟕 𝟕 𝟏𝟗 𝟏𝟗
𝐅𝐨𝐫 𝒏 = 𝟑: ∑ 𝒂𝟐𝟔 ⋅ 𝒃𝟐𝟔 ≥ (∑ (𝒂𝟐𝟔 ) ) ⋅ (∑ (𝒃𝟐𝟔 ) ) =
𝒄𝒚𝒄 𝒄𝒚𝒄 𝒄𝒚𝒄
𝟕 𝟏𝟗
𝟐𝟔 𝟐𝟔
𝟏 𝟐𝒂 + 𝟓𝒃 𝟐 𝟐𝒂 + 𝟓𝒃 𝟐
= √[( ) + ⋯+ ( ) + 𝒃𝟐 + 𝒃𝟐 + 𝒃𝟐 ] (𝟏
⏟+ ⋯ + 𝟏) ≥
√𝟓𝟐 ⏟ 𝟕 𝟕 𝟓𝟐 𝒕𝒊𝒎𝒆𝒔
𝟒𝟗 𝒕𝒊𝒎𝒆𝒔
𝑪𝑩𝑺
√𝟏𝟑 𝟐𝒂 + 𝟓𝒃 𝟐𝒂 + 𝟓𝒃 √𝟏𝟑
⏞
≥ (( )+⋯+( ) + 𝒃 + 𝒃 + 𝒃) = (𝟕𝒂 + 𝟏𝟗𝒃)
𝟐𝟔 ⏟ 𝟕 𝟕 𝟏𝟑
𝟒𝟗 𝒕𝒊𝒎𝒆𝒔
√𝟏𝟑
→ √𝒂𝟐 + 𝟓𝒂𝒃 + 𝟕𝒃𝟐 ≥ (𝟕𝒂 + 𝟏𝟗𝒃) (𝑨𝒏𝒅 𝒂𝒏𝒂𝒍𝒐𝒈𝒔)
𝟐𝟔
60 NUMBER 26-RMM AUTUMN EDITION 2022-SOLUTIONS
www.ssmrmh.ro
√𝟏𝟑 √𝟏𝟑
→ ∑ √𝒂𝟐 + 𝟓𝒂𝒃 + 𝟕𝒃𝟐 ≥ ∑(𝟕𝒂 + 𝟏𝟗𝒃) = . 𝟐𝟔 ∑ 𝒂 = √𝟏𝟑(𝒂 + 𝒃 + 𝒄)
𝟐𝟔 𝟐𝟔
𝒄𝒚𝒄 𝒄𝒚𝒄 𝒄𝒚𝒄
𝟐 𝟐
𝟏
= √𝟒𝟗 (∑ 𝒂) + 𝟑 (∑ 𝒂) = √𝟏𝟑 ∑ 𝒂.
𝟐
𝒄𝒚𝒄 𝒄𝒚𝒄 𝒄𝒚𝒄
√𝒃𝟐 + 𝟓𝒃𝒂 + 𝟕𝒂𝟐 + √𝒄𝟐 + 𝟓𝒄𝒃 + 𝟕𝒃𝟐 + √𝒂𝟐 + 𝟓𝒂𝒄 + 𝟕𝒄𝟐 ≥ √𝟏𝟑(𝒂 + 𝒃 + 𝒄)
Or, after summing up both of them, to
𝑺[𝒂, 𝒃, 𝒄] + 𝑺[𝒃, 𝒂, 𝒄] ≥ 𝟐√𝟏𝟑(𝒂 + 𝒃 + 𝒄),
where 𝑺[𝒂, 𝒃, 𝒄] and 𝑺[𝒃, 𝒂, 𝒄] respectively denote the left-hand side of both inequalities.
We will prove that
becomes 𝒇(𝒂) + 𝒇(𝟏 − 𝒂) ≥ √𝟏𝟑, where 𝒇(𝒙) = √𝒙𝟐 + 𝟓𝒙(𝟏 − 𝒙) + 𝟕(𝟏 − 𝒙)𝟐 .
𝟑
Function 𝒇(𝒙) is convex because 𝒇′′ (𝒙) = > 𝟎, ∀𝒙 ∈ [𝟎, 𝟏].
𝟑
𝟒√(𝟑𝒙𝟐 −𝟗𝒙+𝟕)
UNDERGRADUATE PROBLEMS
UP.391
𝒏
(𝟐𝒊 − 𝟏)𝒙
𝒙𝒏 = ∑ 𝐬𝐢𝐧 ,𝒙 > 0
𝒏𝟐
𝒊=𝟏
Find:
𝟏
−𝟏 𝒙𝒏
𝒏 𝒏
𝟏+𝒙
𝛀 = 𝐥𝐢𝐦 𝐥𝐢𝐦 ((∑ 𝒂𝒊 𝒏 ) ⋅ (∑ 𝒂𝒊 ) ) , 𝒂𝒊 > 0, 𝑖 = ̅̅̅̅̅
𝟏, 𝒏
𝒙→𝟎 𝒏→∞
𝒊=𝟏 𝒊=𝟏
( )
Proposed by Florică Anastase-Romania
Solution by proposer
For 𝒂 > 0. We prove that:
𝒏
(𝟐𝒊 − 𝟏)𝒂
𝐥𝐢𝐦 𝒙𝒏 = 𝐥𝐢𝐦 (∑ 𝐬𝐢𝐧 )=𝒂
𝒏→∞ 𝒏→∞ 𝒏𝟐
𝒊=𝟏
𝒙𝟑
Using the well-known inequality: 𝒙 − < 𝐬𝐢𝐧 𝒙 < 𝑥, ∀𝑥 > 0 ⇒
𝟔
𝒂 𝟏 𝒂𝟑 𝒂 𝒂
𝟐
− ⋅ 𝟔 < 𝐬𝐢𝐧 𝟐 < 𝟐
𝒏 𝟔 𝒏 𝒏 𝒏
𝟑𝒂 𝟏 𝟑𝟑 𝒂𝟑 𝟑𝒂 𝟑𝒂
𝟐
− ⋅ 𝟔 < 𝐬𝐢𝐧 𝟐 < 𝟐
𝒏 𝟔 𝒏 𝒏 𝒏
………………………………
(𝟐𝒏 − 𝟏)𝒂 𝟏 (𝟐𝒏 − 𝟏)𝟑 𝒂𝟑 (𝟐𝒏 − 𝟏)𝒂 (𝟐𝒏 − 𝟏)𝒂
𝟐
− ⋅ 𝟔
< 𝐬𝐢𝐧 <
𝒏 𝟔 𝒏 𝒏𝟐 𝒏𝟐
Summing, we get:
𝒏 𝒏 𝒏 𝒏
𝒂 𝒂𝟑 𝟑
(𝟐𝒊 − 𝟏)𝒂 𝒂
⋅ ∑(𝟐𝒊 − 𝟏) − ⋅ ∑( 𝟐𝒊 − 𝟏 ) < ∑ 𝐬𝐢𝐧 < ⋅ ∑(𝟐𝒊 − 𝟏)
𝒏𝟐 𝒏𝟔 𝒏𝟐 𝒏𝟐
𝒊=𝟏 𝒊=𝟏 𝒊=𝟏 𝒊=𝟏
𝒏
𝒂𝟑 𝒂𝟑
⇒ 𝒂𝒏 = 𝒂 ⇒ 𝒃𝒏 = 𝒂 − 𝟔 ⋅ ∑(𝟐𝒊 − 𝟏)𝟑 = 𝒂 − 𝟒
𝒏 𝒏 (𝟐𝒏𝟐 − 𝟏)
𝒊=𝟏
𝒏 𝒏 −𝟏 𝒏 𝒏 −𝟏
−𝟏
𝒏 𝒏 −𝟏 𝒏 (∑𝒏
𝒊=𝟏 𝒂𝒊 )
𝒂 𝒂
= (∑ 𝐥𝐨𝐠 𝒂𝒊 𝒊 ) ⋅ (∑ 𝒂𝒊 ) = 𝐥𝐨𝐠 (∏ 𝒂𝒊 𝒊 )
𝒊=𝟏 𝒊=𝟏 𝒊=𝟏
Therefore,
𝟏
𝒙𝒏 −𝟏
𝒏 𝒏 −𝟏 𝒏 (∑𝒏
𝒊=𝟏 𝒂𝒊 )
𝟏+𝒙𝒏 𝒂
𝛀 = 𝐥𝐢𝐦 𝐥𝐢𝐦 ((∑ 𝒂𝒊 ) ⋅ (∑ 𝒂𝒊 ) ) = (∏ 𝒂𝒊 𝒊 )
𝒙→𝟎 𝒏→∞
𝒊=𝟏 𝒊=𝟏 𝒊=𝟏
( )
63 NUMBER 26-RMM AUTUMN EDITION 2022-SOLUTIONS
www.ssmrmh.ro
UP.392 Find
𝒏
𝟏 𝟐
𝐥𝐢𝐦 𝒏
⋅ ∑ [(√𝒌 + 𝟏 + √𝒌) ]
𝒏→∞ √(𝒏!)((𝟐𝒏 − 𝟏)‼) 𝒌=𝟏
𝒏
𝒏𝟐 𝟏 𝟐
= 𝐥𝐢𝐦 ⋅ 𝟐 ⋅ ∑ [(√𝒌 + 𝟏 + √𝒌) ] ; (𝟏)
𝒏→∞ 𝒏 𝒏
√(𝒏!)((𝟐𝒏 − 𝟏)‼) 𝒌=𝟏
𝒏𝟐 𝒏 𝒏𝟐𝒏 𝑪−𝑫′ 𝑨
𝐥𝐢𝐦 = 𝐥𝐢𝐦 √ =
𝒏→∞ 𝒏 𝒏→∞ 𝒏! ⋅ ((𝟐𝒏 − 𝟏)‼)
√(𝒏!)((𝟐𝒏 − 𝟏)‼)
Hence,
𝟐 𝟐 𝟐
[(√𝒏 + 𝟐 + √𝒏 + 𝟏) ] (√𝒏 + 𝟐 + √𝒏 + 𝟏) [(√𝒏 + 𝟐 + √𝒏 + 𝟏) ] 𝟏
≤ < + , ∀𝒏
𝟐𝒏 + 𝟏 𝟐𝒏 + 𝟏 𝟐𝒏 + 𝟏 𝟐𝒏 + 𝟏
≥𝟏
𝟐 𝟐
[(√𝒏 + 𝟐 + √𝒏 + 𝟏) ] [(√𝒏 + 𝟐 + √𝒏 + 𝟏) ] 𝟏
𝐥𝐢𝐦 ≤ 𝟐 < 𝐥𝐢𝐦 + 𝐥𝐢𝐦 ⇒
𝒏→∞ 𝟐𝒏 + 𝟏 𝒏→∞ 𝟐𝒏 + 𝟏 𝒏→∞ 𝟐𝒏 + 𝟏
𝟐𝒏 + 𝟏 + 𝟐√𝒏(𝒏 + 𝟏)
= 𝐥𝐢𝐦 =𝟐
𝒏→∞ 𝟐𝒏 + 𝟏
Therefore,
𝒏
𝟏 𝟐 𝒆𝟐
𝛀 = 𝐥𝐢𝐦 ∑(√𝒌 + 𝟏 + √𝒌) = ⋅ 𝟐 = 𝒆𝟐
𝒏→∞ 𝒏√(𝒏!)(𝟐𝒏 − 𝟏)‼ 𝒌=𝟏 𝟐
⇒ 𝒃𝒏 = ∑ 𝒂𝒌 = 𝟐𝒏(𝒏 + 𝟏) + 𝒏 = 𝒏(𝟐𝒏 + 𝟑)
𝒌=𝟏
We show that
𝒅𝒏+𝟏
𝐥𝐢𝐦 𝒏√𝒅𝒏 = 𝐥𝐢𝐦 = 𝒆𝟐
𝒏→∞ 𝒏→∞ 𝒅𝒏
𝒅 𝒅𝒎 𝒅𝒎+𝟏 𝒅𝒏
For 𝒏 > 𝑚: 𝒌𝒎 𝟐
𝟏 (𝒆 − 𝜺 )
𝒏−𝒎
≤ 𝒅𝟏 ⋅ 𝒅𝟐 ⋅ … ⋅ 𝒅 ⋅ ⋅…⋅ 𝒅 ≤ 𝒌𝒎 𝟐
𝟐 (𝒆 + 𝜺)
𝒏−𝒎
𝟏 𝒎−𝟏 𝒅𝒎 𝒏−𝟏
𝒎 𝒎 𝟏 𝒎 𝒎
⇒ 𝒌𝟏𝒏 (𝒆𝟐 − 𝜺)𝟏− 𝒏 ≤ 𝒏
𝒅𝒏 ≤ 𝒌𝟐𝒏 (𝒆𝟐 + 𝜺)𝟏− 𝒏
The first integral in the above relation are integral of rational function and are
calculated relatively easily with the Newton-Leibniz formula. The integral have the
following value:
𝟏
𝟏 √𝟐
∫ 𝟒
𝒅𝒂 = (𝝅 + 𝟐 𝐥𝐨𝐠(𝟏 + √𝟐)); (𝟐)
𝟎 𝟏+𝒂 𝟖
𝟏 𝒙𝟐 𝐥𝐨𝐠 𝒙
We calculate now the second integral: ∫𝟎 𝒅𝒙
𝟏+𝒙𝟒
𝒙𝟐
We make the notation: 𝒇(𝒙) = 𝟏+𝒙𝟒 and develop the function in power series.
We have for 𝒙 ∈ (𝟎, 𝟏): 𝒇(𝒙) = 𝒙𝟐 − 𝒙𝟔 + 𝒙𝟏𝟎 − 𝒙𝟏𝟒 + 𝒙𝟏𝟖 − 𝒙𝟐𝟐 + 𝒙𝟐𝟔 − 𝒙𝟑𝟎 +
𝒙𝟑𝟒 − 𝒙𝟑𝟖 …. We obtain:
𝟏
𝟏 𝟏 𝟏 𝟏 𝟏 𝟏 𝟏 𝟏 𝟏 𝟏
∫ 𝒇(𝒙) 𝐥𝐨𝐠 𝒙 𝒅𝒙 = − 𝟐 + 𝟐 − 𝟐 + 𝟐 − 𝟐 + 𝟐 − 𝟐 + 𝟐 − 𝟐 + 𝟐 − ⋯
𝟎 𝟑 𝟕 𝟏𝟏 𝟏𝟓 𝟏𝟗 𝟐𝟑 𝟐𝟕 𝟑𝟏 𝟑𝟓 𝟑𝟗
𝟏 𝟏 𝟏 𝟏 𝟏 𝟏 𝟏 𝟏 𝟏 𝟏
= −( 𝟐 + 𝟐 + 𝟐 + 𝟐 + 𝟐 +⋯) + ( 𝟐 + 𝟐 + 𝟐 + 𝟐 + 𝟐 + ⋯)
𝟑 𝟏𝟏 𝟏𝟗 𝟐𝟕 𝟑𝟓 𝟕 𝟏𝟓 𝟐𝟑 𝟑𝟏 𝟑𝟗
Now we will use the trigamma function, which is defined by the relationship:
∞
𝟏
𝝍𝟏 ( 𝒙 ) = ∑
(𝒙 + 𝒏)𝟐
𝒏=𝟎
∞ ∞
𝟑 𝟏 𝟕 𝟏
𝐖𝐞 𝐜𝐚𝐧 𝐰𝐫𝐢𝐭𝐞: 𝛙𝟏 ( ) = ∑ 𝟐 ; 𝛙𝟐 ( ) = ∑ 𝟐
𝟖 𝟑 𝟖 𝟕
𝐧=𝟎 ( + 𝐧) 𝐧=𝟎 ( + 𝐧)
𝟖 𝟖
𝟏 𝟏 𝟏 ∞
𝒙 𝒙𝟑 𝒚𝟐 𝒙𝒚𝟒
= ∫ ∫ ( − + ) 𝒅𝒙𝒅𝒚 =
𝟐 𝟎 𝟏 + 𝒚𝟒 𝟎 𝟏 + 𝒙 𝟒 𝟏 + 𝒙 𝟒 𝟏 + 𝒙 𝟐 𝒚 𝟐
∞
𝟏 𝟏 𝟏 −𝟏 𝟐 𝟐 𝟐 𝟐
𝟏 𝟐 𝟒
= ∫ ( ) ( ) ( )
[𝐭𝐚𝐧 𝒙 + 𝒚 𝐥𝐨𝐠 𝟏 + 𝒙 𝒚 − 𝒚 𝐥𝐨𝐠 𝟏 + 𝒙 ] 𝒅𝒚 =
𝟐 𝟎 𝟏 + 𝒚𝟒 𝟐 𝟎
𝟏 𝟏 𝟏 𝝅
= ∫ 𝟒
( + 𝟐𝒚𝟐 𝐥𝐨𝐠 𝒚) 𝒅𝒚
𝟐 𝟎 𝟏+𝒚 𝟐
𝝅 𝟏 𝒅𝒚 𝟏 𝟐
𝒚 𝐥𝐨𝐠 𝒚
𝛀= ∫ + ∫ 𝒅𝒚
𝟒 ⏟𝟎 𝟏 + 𝒚𝟒 ⏟𝟎 𝟏 + 𝒚𝟒
𝑨 𝑩
𝟏 𝟏 𝒚𝟐 + 𝟏 𝟏 𝟏 𝒚𝟐 − 𝟏
𝑨= ∫ 𝒅𝒚 − ∫ 𝒅𝒚
𝟐 𝟎 𝟏 + 𝒚𝟒 𝟐 𝟎 𝟏 + 𝒚𝟒
𝟏 𝟏 𝟏 𝟏
𝟏 𝟏 𝟐 𝟏+ 𝟏 𝟏 𝟏− 𝟐 𝒖=𝒚− ; 𝒗=𝒚+
𝒚 𝒚
𝒚 𝒚
= ∫ 𝒅𝒚 − ∫ 𝒅𝒚 =
𝟐 𝟎 𝒚𝟐 + 𝟏 𝟐 𝟎 𝒚𝟐 + 𝟏
𝒚𝟐 𝒚𝟐
𝒕−𝟏 𝒕+𝟏 𝒕 𝒕
< , ∀𝒕 > 1; (𝒕 → 𝒕 + 𝟏) ⟺ < + 𝟏;
𝐥𝐨𝐠 𝒕 𝟐 𝐥𝐨𝐠(𝟏 + 𝒕) 𝟐
𝟐
𝒙𝟐 𝟏
(𝒕 = 𝒙 ) ⇒ 𝟐
< 𝒙𝟐 + 𝟏 ⟺
𝐥𝐨𝐠(𝟏 + 𝒙 ) 𝟐
𝒙 𝟏 𝟏
𝟐
< 𝒙 + ; ∀𝒙 > 0; (𝟏)
𝐥𝐨𝐠(𝟏 + 𝒙 ) 𝟐 𝒙
𝒕 𝒕
∵ 𝐥𝐨𝐠(𝟏 + 𝒕) ≤ ; ∀𝒕 > 0 ⟺ √𝟏 + 𝒕 ≤ ; ∀𝒕 > 0 ⇒
√𝟏 + 𝒕 𝐥𝐨𝐠(𝟏 + 𝒕)
𝒙𝟐 𝟏+𝒙 𝟏 𝟏 𝒙
√𝟏 + 𝒙𝟐 ≤ 𝐚𝐧𝐝 √𝟏 + 𝒙 𝟐 ≥ ⇒ (𝒙 + ) ≤ ; ∀𝒙
𝐥𝐨𝐠(𝟏 + 𝒙𝟐 ) √𝟐 √𝟐 𝒙 𝐥𝐨𝐠(𝟏 + 𝒙𝟐 )
> 0; (𝟐)
70 NUMBER 26-RMM AUTUMN EDITION 2022-SOLUTIONS
www.ssmrmh.ro
From (1),(2) we get:
𝟏 𝟏 𝒙 𝒙 𝟏
(𝒙 + ) < < +
√𝟐 𝒙 𝐥𝐨𝐠(𝟏 + 𝒙𝟐 ) 𝟐 𝒙
𝒂 𝒂
𝟏 𝟏 𝒙 𝟏
∫ (𝒙 + ) 𝒅𝒙 ≤ 𝛀(𝒂) ≤ ∫ ( + ) 𝒅𝒙 ⟺
√𝟐 𝟏 𝒙 𝟏 𝟐 𝒙
𝒂 𝒂
𝒙𝟐
𝟏 𝒙𝟐
( + 𝐥𝐨𝐠 𝒙)| ≤ 𝛀(𝒂) ≤ ( + 𝐥𝐨𝐠 𝒙)| ⟺
√𝟐 𝟐 𝟏
𝟒 𝟏
𝒂𝟐
𝟏 𝟏 𝒂𝟐 𝟏
( + 𝐥𝐨𝐠 𝒂 − ) ≤ 𝛀(𝒂) ≤ + 𝐥𝐨𝐠 𝒂 −
√𝟐 𝟐 𝟐 𝟒 𝟒
𝟏 𝟐 𝟐
𝒂𝟐 𝟏
(𝒂 + 𝐥𝐨𝐠 𝒂 − 𝟏) ≤ 𝛀(𝒂) ≤ + 𝐥𝐨𝐠 𝒂𝟐 −
√𝟐 𝟐 𝟐
𝟏 𝒂𝟐 𝒂𝟐 𝒂𝟐
(𝒂𝟐 + 𝐥𝐨𝐠 ( )) ≤ 𝛀(𝒂) ≤ + 𝐥𝐨𝐠 ( )
√𝟐 𝒆 𝟐 √𝒆
Adding, we get:
𝟏 𝒂𝟐 𝒃𝟐 𝒄𝟐 𝒂𝟐 + 𝒃𝟐 + 𝒄𝟐 𝒂𝟐 𝒃𝟐 𝒄𝟐
(𝒂𝟐 + 𝒃𝟐 + 𝒄𝟐 + 𝐥𝐨𝐠 ( )) ≤ ∑ 𝛀 ( 𝒂) ≤ + 𝐥𝐨𝐠 ( )⟺
√𝟐 𝒆𝟑 𝟐 𝒆 √𝒆
𝒄𝒚𝒄
(𝒂 + 𝒃 + 𝒄)𝟐 𝟏 𝒂𝟐 𝒃𝟐 𝒄𝟐 𝟐
𝒂𝟐 𝒃𝟐 𝒄𝟐
+ 𝐥𝐨𝐠 ( ) ≤ ∑ 𝛀 ( 𝒂 ) ≤ ( 𝒂 + 𝒃 + 𝒄) + 𝐥𝐨𝐠 ( )
𝟑√𝟐 √𝟐 𝒆𝟑 𝒆√𝒆
𝒄𝒚𝒄
−𝟏
𝒌 −𝟏
𝒏−𝒌 −𝟏
𝒏𝟐
∵ 𝐭𝐚𝐧 ( ) + 𝐭𝐚𝐧 ( ) = 𝐭𝐚𝐧 ( 𝟐 )
𝒏 𝒏 𝒏 − 𝒌𝒏 + 𝒌𝟐
Let us denote:
𝒏𝟐
(𝒂 + 𝒃𝒌 ) 𝐭𝐚𝐧−𝟏 ( ) (𝒂 + 𝒃𝒌 ) (𝐭𝐚𝐧−𝟏 (𝒌) + 𝐭𝐚𝐧−𝟏 (𝒏 − 𝒌))
𝒏𝟐
− 𝒌𝒏 + 𝒌𝟐 𝒏 𝒏
𝒂𝒌 = =
𝒃𝒌 + 𝟐𝒂 + 𝒃𝒏−𝒌 𝒃𝒌 + 𝟐𝒂 + 𝒃𝒏−𝒌
Therefore,
𝒏𝟐
𝟏
𝒏 (𝒂 + 𝒃𝒌 ) 𝐭𝐚𝐧−𝟏 ( ) 𝟏
𝒏
𝒌 𝝅 𝒂+𝟏
𝒏𝟐 − 𝒌𝒏 + 𝒌𝟐 −𝟏
𝐥𝐢𝐦 ∑ = 𝐥𝐢𝐦 ( ∑ 𝐭𝐚𝐧 ( ) − ⋅ )
𝒏→∞ 𝒏 𝒃𝒌 + 𝟐𝒂 + 𝒃𝒏−𝒌 𝒏→∞ 𝒏 𝒏 𝟒𝒏 𝟏 + 𝟐𝒂 + 𝒃𝒏
𝒌=𝟏 𝒌=𝟏
𝟏
𝝅
= ∫ 𝐭𝐚𝐧−𝟏 𝒙 𝒅𝒙 = − 𝐥𝐨𝐠 √𝟐
𝟎 𝟒
𝒏𝟐
𝟏
𝒏−𝟏 (𝒂 + 𝒃𝒏−𝒌 𝐭𝐚𝐧−𝟏 ( )
𝒏𝟐 − 𝒏𝒌 + 𝒌𝟐
= ∑ =
𝒏 𝒃𝒌 + 𝟐𝒂 + 𝒃𝒏−𝒌
𝒌=𝟎
𝒏𝟐
𝟏
𝒏 (𝒂 + 𝒃𝒌 ) 𝐭𝐚𝐧−𝟏 ( ) 𝟏 𝝅 𝒂 + 𝒃𝒏 𝟏 𝝅 𝒂+𝟏
𝒏𝟐 − 𝒌𝒏 + 𝒌𝟐
= ∑ + ⋅ ⋅ + ⋅ ⋅
𝒏 𝒃𝒌 + 𝟐𝒂 + 𝒃𝒏−𝒌 𝒏 𝟒 𝟏 + 𝟐𝒂 + 𝒃𝒏 𝒏 𝟒 𝟏 + 𝟐𝒂 + 𝒃𝒏
𝒌=𝟏
𝒏𝟐
𝟏
𝒏 (𝟐𝒂 + 𝒃𝒏−𝒌 + 𝒃𝒌 ) 𝐭𝐚𝐧−𝟏 ( ) 𝝅 𝒂 + 𝒃𝒏
𝒏𝟐 − 𝒏𝒌 + 𝒌𝟐
⇒ 𝟐𝑰(𝒏) = ∑ + ⋅ +
𝒏 𝒃𝒌 + 𝟐𝒂 + 𝒃𝒏−𝒌 𝟒 𝟏 + 𝟐𝒂 + 𝒃𝒏
𝒌=𝟏
𝒏
𝒂+𝟏 𝝅 𝟏 −𝟏
𝒏𝟐 𝝅
+ 𝒏
⋅ = ∑ 𝐭𝐚𝐧 ( 𝟐 𝟐
)+
𝟏 + 𝟐𝒂 + 𝒃 𝟒 𝒏 𝒏 − 𝒏𝒌 + 𝒌 𝟐𝒏
𝒌=𝟏
𝒏
𝟏 −𝟏
𝒏𝟐 𝝅
𝑰(𝒏) = ∑ 𝐭𝐚𝐧 ( 𝟐 ) +
𝟐𝒏 𝒏 − 𝒏𝒌 + 𝒌𝟐 𝟖𝒏
𝒌=𝟏
𝒏 𝟏
𝟏 𝒏𝟐 𝝅 𝟏
𝐥𝐢𝐦 ∑ 𝐭𝐚𝐧−𝟏 ( 𝟐 𝟐
) + = ∫ 𝐭𝐚𝐧−𝟏 ( ) 𝒅𝒙 =
𝒏→∞ 𝟐𝒏 𝒏 − 𝒏𝒌 + 𝒌 𝟖𝒏 𝟎 𝟏 − 𝒙 + 𝒙𝟐
𝒌=𝟏
𝟏
= ∫ (𝐭𝐚𝐧−𝟏 𝒙 + 𝐭𝐚𝐧−𝟏 (𝟏 − 𝒙))𝒅𝒙 =
𝟎
𝟏 𝟏
−𝟏
𝟏 𝟐
𝟏 𝟐 −𝟏
= [𝒙 𝐭𝐚𝐧 𝒙 − 𝐥𝐨𝐠(𝒙 + 𝟏)] + [ 𝐥𝐨𝐠(𝒙 − 𝟐𝒙 + 𝟐) + (𝒙 − 𝟏) 𝐭𝐚𝐧 (𝟏 − 𝒙)] =
𝟐 𝟎 𝟐 𝟎
𝟏
= (𝝅 − 𝟐 𝐥𝐨𝐠 𝟐)
𝟐
Therefore,
𝒏𝟐
𝟏
𝒏 (𝒂 + 𝒃𝒌 ) 𝐭𝐚𝐧−𝟏 ( ) 𝟏
𝒏𝟐 − 𝒌𝒏 + 𝒌𝟐
𝐥𝐢𝐦 ∑ = (𝝅 − 𝟐 𝐥𝐨𝐠 𝟐)
𝒏→∞ 𝒏 𝒃𝒌 + 𝟐𝒂 + 𝒃𝒏−𝒌 𝟒
𝒌=𝟏
𝐋𝐞𝐭: 𝑺 = ∑ 𝒂𝒌 ⇒ 𝑺 + 𝒂𝟎 = 𝒂𝟎 + 𝒂𝟏 + ⋯ + 𝒂𝒏 = 𝒂𝒏 + ⋯ + 𝒂𝟏 + 𝒂𝟎
𝒌=𝟏
𝒏 𝒏
𝒏−𝒌 𝒌
𝟐𝑺 + 𝟐𝒂𝟎 = ∑ (𝒂𝒌 + 𝒂𝒏−𝒌 ) = ∑ (𝐭𝐚𝐧−𝟏 ( ) + 𝐭𝐚𝐧−𝟏 ( )) =
𝒏 𝒏
𝒌=𝟏 𝒌=𝟎
𝒏 𝒏
𝒌 𝒌
= 𝟐 ∑ 𝐭𝐚𝐧−𝟏 ( ) ⇒ 𝑺 + 𝒂𝟎 = ∑ 𝐭𝐚𝐧−𝟏 ( )
𝒏 𝒏
𝒌=𝟎 𝒌=𝟎
Therefore,
𝒏𝟐
𝟏
𝒏 (𝒂 + 𝒃𝒌 ) 𝐭𝐚𝐧−𝟏 ( ) 𝟏
𝝅
𝒏𝟐
− 𝒌𝒏 + 𝒌𝟐
𝐥𝐢𝐦 ∑ 𝒌 𝒏−𝒌
= ∫ 𝐭𝐚𝐧−𝟏 𝒙 𝒅𝒙 = − 𝐥𝐨𝐠 √𝟐
𝒏→∞ 𝒏 𝒃 + 𝟐𝒂 + 𝒃 𝟎 𝟒
𝒌=𝟏
UP.396. Find:
𝟏
𝒂 𝐬𝐢𝐧𝟐 𝒙 ⋅ 𝐭𝐚𝐧 ( )
𝛀(𝒂) = ∫ 𝒙𝟐 𝒅𝒙
𝟏 𝟏 𝟏
𝒂 (𝟏 + 𝒙𝟐 ) (𝐬𝐢𝐧𝟐 ( ) 𝐭𝐚𝐧 ( 𝟐 ) + 𝐬𝐢𝐧𝟐 𝒙 𝐭𝐚𝐧(𝒙𝟐 ))
𝒙 𝒙
Proposed by D.M. Bătineţu-Giurgiu, Daniel Sitaru-Romania
Solution 1 by proposers
𝟏 𝟏 𝟏 𝟏 𝟏
𝒕= ⇒ 𝒙 = , 𝒅𝒙 = − 𝟐 𝒅𝒕, 𝒙 = ⇒ 𝒕 = 𝒂; 𝒙 = 𝒂 ⇒ 𝒕 =
𝒙 𝒕 𝒕 𝒂 𝒂
Hence,
Hence,
𝒏 𝟐
𝒏 √(𝟐𝒏 − 𝟏)‼
𝟐
𝛀 = 𝐥𝐢𝐦 (𝒆𝒙𝒏+𝟏 − 𝒆𝒙𝒏 ) ( √(𝟐𝒏 − 𝟏)‼) = 𝐥𝐢𝐦 ( ) ⋅ 𝒏𝟐 ⋅ (𝒆𝒙𝒏+𝟏 − 𝒆𝒙𝒏 ) =
𝒏→∞ 𝒏→∞ 𝒏
𝟒 𝒆𝒙𝒏+𝟏 − 𝒆𝒙𝒏 𝟐 𝟒 𝒏𝟐 𝟖 𝟏 𝟐
= 𝟐
⋅ 𝐥𝐢𝐦 ⋅ 𝒏 ( 𝒙 𝒏+𝟏 − 𝒙 𝒏 ) = 𝟐
⋅ 𝟐 ⋅ 𝐥𝐢𝐦 = 𝟐⋅ = 𝟐
𝒆 𝒏→∞ 𝒙𝒏+𝟏 − 𝒙𝒏 𝒆 𝒏→∞ (𝟐𝒏 + 𝟏)(𝟐𝒏 + 𝟐) 𝒆 𝟒 𝒆
Observation:
𝒏
√(𝟐𝒏 − 𝟏)‼ 𝒏 (𝟐𝒏 − 𝟏)‼
𝑪−𝑫 (𝟐𝒏 + !)‼ 𝒏𝒏
𝐥𝐢𝐦 = 𝐥𝐢𝐦 √ = 𝐥𝐢𝐦 ⋅ =
𝒏→∞ 𝒏 𝒏→∞ 𝒏𝒏 𝒏→∞ (𝒏 + !)𝒏+𝟏 (𝟐𝒏 − 𝟏)‼
=
𝟐
𝟐𝒏
𝟐𝒏
𝒏 √𝟒𝝅𝒏 ( 𝒆 ) 𝐥𝐨𝐠 𝟐−
𝟏 𝟏
= 𝟒 𝐥𝐢𝐦 √ (𝒆 𝟒(𝒏+𝟏) − 𝒆𝐥𝐨𝐠 𝟐−𝟒𝒏 ) =
𝒏→∞ 𝒏 𝒏
√𝟐𝝅𝒏 ( 𝒆 )
( )
𝟏 𝟏 𝟏
−
= 𝐥𝐢𝐦 (
𝒏
√𝟐 ⋅ 𝒏𝟐)
(𝟐 ⋅ 𝒆 𝟒(𝒏+𝟏) − 𝟐 ⋅ 𝒆−𝟒𝒏 ) =
𝟐
𝒆 𝒏→∞
Hence,
𝒂+𝒃
√𝒂𝒃
−𝒙𝟐
𝟐 𝟐 𝒂+𝒃
∫ 𝒆 𝒅𝒙 − ∫ 𝒆−𝒙 𝒅𝒙 ≥ 𝐭𝐚𝐧−𝟏 (√𝒂𝒃) − 𝐭𝐚𝐧−𝟏 ( )
𝟎 𝟎 𝟐
Equality holds for 𝒂 = 𝒃.
Solution 2 by Ravi Prakash-New Delhi-India
𝟐
Let 𝒈𝟏 (𝒙) = (𝟏 + 𝒙𝟐 )𝒆−𝒙 − 𝟏, 𝒙 ≥ 𝟎 then
𝟐 𝟐 𝟐
𝒈′𝟏 (𝒙) = 𝟐𝒙𝒆−𝒙 − 𝟐𝒙(𝟏 + 𝒙𝟐 )𝒆−𝒙 = −𝟐𝒙𝟑 𝒆−𝒙 < 0, ∀𝑥 > 0
𝟐 𝟏
⇒ 𝒈𝟏 (𝒙) < 𝒈𝟏 (𝟎) = 𝟏 ⇒ 𝒆−𝒙 < ; ∀𝒙 > 0
𝟏 + 𝒙𝟐
√𝒂𝒃
−𝟏 (√𝒂𝒃) −𝟏
𝒂+𝒃 −𝟏 √𝒂𝒃 𝟏
𝐭𝐚𝐧 − 𝐭𝐚𝐧 ( ) = 𝐭𝐚𝐧 𝒙|𝒂+𝒃 = ∫ 𝒅𝒙
𝟐 𝒂+𝒃 𝟏 + 𝒙𝟐
𝟐
𝟐
𝟐 𝟏 𝟐 𝟏 𝟏 𝟏 𝟐
−𝒆−𝒙 ≥ − 𝟐
⇔ 𝒆−𝒙 ≤ 𝟐 ⇔ 𝒙𝟐 ≤ 𝟐
⇔ 𝒆𝒙 ≥ 𝒙𝟐 + 𝟏 (𝐭𝐫𝐮𝐞)
𝟏+𝒙 𝒙 +𝟏 𝒆 𝟏+𝒙
Equality holds for 𝒂 = 𝒃.
Solution 4 by Soumitra Mandal-Chandar Nagore-India
𝒕=𝒙𝟐 𝟐 𝟏 𝟐
∵ 𝒆𝒕 ≥ 𝟏 + 𝒕; ∀𝒕 ≥ 𝟎 ⇒ 𝒆 𝒙 ≥ 𝟏 + 𝒙𝟐 ⇒ 𝟐
− 𝒆𝒙 ≥ 𝟎; ∀𝒙 ≥ 𝟎
𝟏+𝒙
𝝅
UP.400 If 𝟎 < 𝑎 ≤ 𝒃 < then:
𝟐
𝒃 (𝟑 − 𝐭𝐚𝐧 𝒙 )𝟐 𝒃 (𝟑 − 𝐜𝐨𝐭 𝒙)𝟐
∫ 𝒅𝒙 + ∫ 𝒅𝒙 ≥ 𝟏𝟖(𝒃 − 𝒂) + 𝟑 𝐥𝐨𝐠(𝐜𝐨𝐭 𝒂 ⋅ 𝐭𝐚𝐧 𝒃)
𝒂 𝐜𝐨𝐬 𝟐 (√𝐭𝐚𝐧 𝒙) 𝒂 𝐜𝐨𝐬 𝟐 (√𝐜𝐨𝐭 𝒙)
𝝅
UP.401 If 𝟎 < 𝑎 < 𝑏 < then:
𝟐
𝒃
𝐜𝐨𝐬 𝒙 𝐬𝐢𝐧 𝒙 𝐬𝐢𝐧 𝒙 ⋅ 𝐭𝐚𝐧 𝒙 𝐜𝐨𝐬 𝒙 ⋅ 𝐜𝐨𝐭 𝒙 𝟓
∫ ( + + + ) 𝒅𝒙 ≤ 𝐥𝐨𝐠(𝐜𝐨𝐭 𝒂 ⋅ 𝐭𝐚𝐧 𝒃)
𝒂 𝐭𝐚𝐧(𝐬𝐢𝐧 𝒙) 𝐭𝐚𝐧(𝐜𝐨𝐬 𝒙) 𝐭𝐚𝐧(𝐬𝐢𝐧 𝒙) 𝐭𝐚𝐧(𝐜𝐨𝐬 𝒙) 𝟑
Proposed by Florică Anastase-Romania
Solution by proposer
𝐜𝐨𝐬 𝒙 𝐬𝐢𝐧 𝒙 𝐬𝐢𝐧 𝒙 ⋅ 𝐭𝐚𝐧 𝒙 𝐜𝐨𝐬 𝒙 ⋅ 𝐜𝐨𝐭 𝒙
+ + + =
𝐭𝐚𝐧(𝐬𝐢𝐧 𝒙) 𝐭𝐚𝐧(𝐜𝐨𝐬 𝒙) 𝐭𝐚𝐧(𝐬𝐢𝐧 𝒙) 𝐭𝐚𝐧(𝐜𝐨𝐬 𝒙)
𝐜𝐨𝐬 𝒙 𝐬𝐢𝐧 𝒙 𝐬𝐢𝐧𝟐 𝒙 𝐜𝐨𝐬 𝟐 𝒙
= + + + =
𝐭𝐚𝐧(𝐬𝐢𝐧 𝒙) 𝐭𝐚𝐧(𝐜𝐨𝐬 𝒙) 𝐜𝐨𝐬 𝒙 ⋅ 𝐭𝐚𝐧(𝐬𝐢𝐧 𝒙) 𝐬𝐢𝐧 𝒙 ⋅ 𝐭𝐚𝐧(𝐜𝐨𝐬 𝒙)
𝐬𝐢𝐧 𝒙 𝐜𝐨𝐬 𝒙
=( + ) (𝐭𝐚𝐧 𝒙 + 𝐜𝐨𝐭 𝒙); (𝟏)
𝐭𝐚𝐧(𝐬𝐢𝐧 𝒙) 𝐭𝐚𝐧(𝐜𝐨𝐬 𝒙)
Now, from Maclaurin series expansion for 𝒇(𝒙) = 𝐭𝐚𝐧 𝒙, we have that:
𝒙𝟑 𝟐𝒙𝟓 𝟏𝟕𝒙𝟕
𝐭𝐚𝐧 𝒙 ≥ 𝒙 + + +
𝟑 𝟏𝟓 𝟑𝟏𝟓
Hence,
𝒙𝟑 𝟐𝒙𝟓 𝟏𝟕𝒙𝟕
(𝟑 − 𝒙𝟐 ) 𝐭𝐚𝐧 𝒙 − 𝟑𝒙 ≥ (𝟑 − 𝒙𝟐 ) (𝒙 + + + ) − 𝟑𝒙 =
𝟑 𝟏𝟓 𝟑𝟏𝟓
𝟔𝒙𝟓 𝟓𝟏𝒙𝟕
𝟑 𝟑
𝒙𝟓 𝟐𝒙𝟕 𝟏𝟕𝒙𝟗
= (𝟑𝒙 + 𝒙 + + ) − (𝒙 + + + ) − 𝟑𝒙 =
𝟏𝟓 𝟑𝟏𝟓 𝟑 𝟏𝟓 𝟑𝟏𝟓
𝒙𝟓 (𝟐𝟏 + 𝟗𝒙𝟐 − 𝟏𝟕𝒙𝟒 )
= ≥𝟎
𝟑𝟏𝟓
81 NUMBER 26-RMM AUTUMN EDITION 2022-SOLUTIONS
www.ssmrmh.ro
Hence,
𝝅
(𝟑 − 𝒙𝟐 ) 𝐭𝐚𝐧 𝒙 ≥ 𝟑𝒙, ∀𝒙 ∈ (𝟎, )
𝟐
For 𝒙 → 𝐬𝐢𝐧 𝒙 and 𝒙 → 𝐜𝐨𝐬 𝒙 it follows that:
𝐬𝐢𝐧 𝒙 𝐜𝐨𝐬 𝒙 𝟑 − 𝐬𝐢𝐧𝟐 𝒙 𝟑 − 𝐜𝐨𝐬 𝟐 𝒙 𝟓 𝝅
+ ≤ + = , ∀𝒙 ∈ (𝟎, ) ; (𝟐)
𝐭𝐚𝐧(𝐬𝐢𝐧 𝒙) 𝐭𝐚𝐧(𝐜𝐨𝐬 𝒙) 𝟑 𝟑 𝟑 𝟐
From (1),(2) it follows that:
𝒃 𝒃 𝒃 𝒃
𝐜𝐨𝐬 𝒙 𝐬𝐢𝐧 𝒙 𝐬𝐢𝐧 𝒙 ⋅ 𝐭𝐚𝐧 𝒙 𝐜𝐨𝐬 𝒙 ⋅ 𝐜𝐨𝐭 𝒙
∫ 𝒅𝒙 + ∫ 𝒅𝒙 + ∫ 𝒅𝒙 + ∫ 𝒅𝒙 =
𝒂 𝐭𝐚𝐧(𝐬𝐢𝐧 𝒙) 𝒂 𝐭𝐚𝐧(𝐬𝐢𝐧 𝒙) 𝒂 𝐭𝐚𝐧 (𝐬𝐢𝐧 𝒙) 𝒂 𝐭𝐚𝐧(𝐜𝐨𝐬 𝒙)
𝒃
𝐬𝐢𝐧 𝒙 𝐜𝐨𝐬 𝒙
=∫ ( + ) (𝐭𝐚𝐧 𝒙 + 𝐜𝐨𝐭 𝒙)𝒅𝒙 ≤
𝒂 𝐭𝐚𝐧(𝐬𝐢𝐧 𝒙) 𝐭𝐚𝐧(𝐜𝐨𝐬 𝒙)
𝟓 𝒃 𝟓
≤ ∫ (𝐭𝐚𝐧 𝒙 + 𝐜𝐨𝐭 𝒙) 𝒅𝒙 = 𝐥𝐨𝐠(𝐜𝐨𝐭 𝒂 ⋅ 𝐭𝐚𝐧 𝒃)
𝟑 𝒂 𝟑
𝟏
UP.402 If < 𝑎 ≤ 𝑏 < 𝑒 then:
𝒆
𝒂+𝒃 𝒂+𝒃
𝐬𝐢𝐧−𝟏 (𝐥𝐨𝐠(√𝒂𝒃)) − 𝐬𝐢𝐧−𝟏 (𝐥𝐨𝐠 ( )) ≤ √𝟏 − 𝐥𝐨𝐠 𝟐 ( ) − √𝟏 − 𝐥𝐨𝐠 𝟐 (√𝒂𝒃)
𝟐 𝟐
𝟐
𝟏 − 𝒙 𝐥𝐨𝐠 𝒙 𝟏 − 𝐥𝐨𝐠 𝒙 𝟏
𝒇′ (𝒙) = + = ≥ 𝟎, ∀𝒙 ∈ [ , 𝒆]
𝒙√𝟏 − 𝐥𝐨𝐠 𝟐 𝒙 𝟐√𝟏 − 𝐥𝐨𝐠 𝟐 𝒙 𝒙√𝟏 − 𝐥𝐨𝐠 𝟐 𝒙 𝒆
𝒂+𝒃 𝒂+𝒃
𝒇 −inreasing and from √𝒂𝒃 ≤ ⇒ 𝒇(√𝒂𝒃) ≤ 𝒇 ( ).
𝟐 𝟐
Hence,
𝒂+𝒃 𝒂+𝒃
𝐬𝐢𝐧−𝟏 (𝐥𝐨𝐠(√𝒂𝒃)) + √𝟏 − 𝐥𝐨𝐠 𝟐 (√𝒂𝒃) ≤ 𝐬𝐢𝐧−𝟏 (𝐥𝐨𝐠 ( )) + √𝟏 − 𝐥𝐨𝐠 𝟐 ( )
𝟐 𝟐
And thus,
𝒂+𝒃 𝒂+𝒃
𝐬𝐢𝐧−𝟏 (𝐥𝐨𝐠(√𝒂𝒃)) + √𝟏 − 𝐥𝐨𝐠 𝟐 (√𝒂𝒃) ≤ 𝐬𝐢𝐧−𝟏 (𝐥𝐨𝐠 ( )) + √𝟏 − 𝐥𝐨𝐠 𝟐 ( )
𝟐 𝟐
𝒂+𝒃 𝒂+𝒃
𝐬𝐢𝐧−𝟏 (𝐥𝐨𝐠(√𝒂𝒃)) − 𝐬𝐢𝐧−𝟏 (𝐥𝐨𝐠 ( )) ≤ √𝟏 − 𝐥𝐨𝐠 𝟐 ( ) − √𝟏 − 𝐥𝐨𝐠 𝟐 (√𝒂𝒃)
𝟐 𝟐
√𝟕
√𝒙𝟐 + 𝟓𝒙𝒚 + 𝟖𝒚𝟐 ≥ (𝒙 + 𝟑𝒚)
𝟐√𝟐
Therefore,
𝒃 𝒃
√𝟕 ⋅ √𝟐 𝒃 𝒃
∫ ∫ √𝒙𝟐 + 𝟓𝒙𝒚 + 𝟖𝒚𝟐 𝒅𝒙𝒅𝒚 ≥ ∫ ∫ (𝒙 + 𝟑𝒚) 𝒅𝒙𝒅𝒚 =
𝒂 𝒂 𝟒 𝒂 𝒂
𝒃 𝒃 𝒃
√𝟏𝟒 √𝟏𝟒 𝒙𝟐
= (𝒃 − 𝒂) (∫ 𝒙 𝒅𝒙 + ∫ 𝟑𝒚 𝒅𝒚) = (𝒃 − 𝒂) ⋅ 𝟒 ⋅ | =
𝟒 𝒂 𝒂 𝟒 𝟐 𝒂
√𝟏𝟒 √𝟏𝟒
= (𝒃 − 𝒂)(𝒃𝟐 − 𝒂𝟐 ) = (𝒃 + 𝒂)(𝒃 − 𝒂)𝟐
𝟐 𝟐
Equality holds for 𝒂 = 𝒃.
Solution 2 by George Florin Șerban-Romania
𝑨𝑮𝑴 𝒚≥𝒙
𝟏𝟒
If 𝒙 ≥ 𝒚, 𝒙𝟓 + 𝟓𝒙𝒚 + 𝟖𝒚𝟐 ≥ 𝟏𝟒 √𝒙𝟐 ⋅ 𝒙𝟓 𝒚𝟓 ⋅ 𝒚𝟏𝟔 = 𝟏𝟒𝒚√𝒙𝒚 ≥ 𝟏𝟒𝒚𝟐
Equality holds for 𝒙 = 𝒚.
(𝒃 − 𝒂)𝟐 (𝒃 + 𝒂)√𝟏𝟒
=
𝟐
If 𝒙 ≤ 𝒚, 𝒙𝟐 + 𝟓𝒙𝒚 + 𝟖𝒚𝟐 ≥ 𝒙√𝟏𝟒 ⇒
𝒃 𝒃 𝒃 𝒃 𝒃
𝒙𝟐
∫ ∫ √𝒙𝟐 + 𝟓𝒙𝒚 + 𝟖𝒚𝟐 𝒅𝒙𝒅𝒚 ≥ ∫ ∫ √𝟏𝟒𝒙 𝒅𝒙𝒅𝒚 = (𝒃 − 𝒂)√𝟏𝟒 ⋅ | =
𝒂 𝒂 𝒂 𝒂 𝟐 𝒂
(𝒃 − 𝒂)𝟐 (𝒃 + 𝒂)√𝟏𝟒
=
𝟐
Therefore,
𝒃 𝒃 (𝒃 − 𝒂)𝟐 (𝒃 + 𝒂)√𝟏𝟒
∫ ∫ √𝒙𝟐 + 𝟓𝒙𝒚 + 𝟖𝒚𝟐 𝒅𝒙𝒅𝒚 ≥
𝒂 𝒂 𝟐
Equality holds for 𝒂 = 𝒃.
𝟕 𝟐𝒙 + 𝟓𝒚 𝟐 𝟐𝒙 + 𝟓𝒚 𝟐 𝑪𝑩𝑺
= √ √(𝟏
⏟+ ⋯ + 𝟏) (( ) +⋯+ ( ) ) + 𝒚𝟐 ≥
𝟖 𝟖−𝒕𝒊𝒎𝒆𝒔
⏟ 𝟕 𝟕
𝟕−𝒕𝒊𝒎𝒆𝒔
√𝟏𝟒 𝟐𝒙 + 𝟓𝒚 𝟐𝒙 + 𝟓𝒚
≥ (( )+ ⋯+ ( ) + 𝒚)
𝟒 ⏟ 𝟕 𝟕
𝟕−𝒕𝒊𝒎𝒆𝒔
√𝟏𝟒
⇒ √𝒙𝟐 + 𝟓𝒙𝒚 + 𝟖𝒚𝟐 ≥ (𝒙 + 𝟑𝒚); ∀𝒙, 𝒚 ≥ 𝟎
𝟒
𝒃 𝒃
√𝟏𝟒 𝒃 𝒃
∫ ∫ √𝒙𝟐 + 𝟓𝒙𝒚 + 𝟖𝒚𝟐 𝒅𝒙𝒅𝒚 ≥ ∫ ∫ (𝒙 + 𝟑𝒚) 𝒅𝒙𝒅𝒚 =
𝒂 𝒂 𝟒 𝒂 𝒂
𝟐
𝟏 − 𝒙𝟐 ≤ ⇔ 𝟑√𝟑𝒙(𝟏 − 𝒙𝟐 ) ≤ 𝟐 ⇔ 𝟑√𝟑𝒙(𝒙𝟐 − 𝟏) + 𝟐 ≥ 𝟎
𝟑√𝟑𝒙
𝟑√𝟑𝒙𝟑 − 𝟑√𝟑𝒙 + 𝟐 ≥ 𝟎
𝟑√𝟑𝒙𝟑 + 𝟔𝒙𝟐 − 𝟔𝒙𝟐 − 𝟒𝒙√𝟑 + 𝒙√𝟑 + 𝟐 ≥ 𝟎
(𝟑𝒙𝟐 − 𝟐𝒙√𝟑 + 𝟏)(𝒙√𝟑 + 𝟐) ≥ 𝟎
𝟐
(𝒙√𝟑 − 𝟏) (𝒙√𝟑 + 𝟐) ≥ 𝟎 true.
Equality holds for 𝒂 = 𝒃.
Solution 2 by Mohamed Amine Ben Ajiba-Tanger-Morocco
(𝟏 + 𝒃)(𝟏 − 𝒂) 𝟑√𝟑 𝟐
(∗) ↔ 𝐥𝐨𝐠 ( )≥ (𝒃 − 𝒂𝟐 ) ↔
(𝟏 + 𝒂)(𝟏 − 𝒃) 𝟐
𝟏+𝒃 𝟏−𝒃 𝒃𝟐 𝒂𝟐
𝐥𝐨𝐠 ( ) − 𝐥𝐨𝐠 ( ) ≥ 𝟑√𝟑 ( − )
𝟏+𝒂 𝟏−𝒂 𝟐 𝟐
𝒃 𝒃
𝟏 𝟏
↔ ∫( + ) 𝒅𝒙 ≥ ∫ 𝟑√𝟑𝒙𝒅𝒙
𝟏+𝒙 𝟏−𝒙
𝒂 𝒂
𝟏 𝟏
→ 𝑰𝒕′ 𝒔 𝒔𝒖𝒇𝒇𝒊𝒄𝒆𝒔 𝒕𝒐 𝒑𝒓𝒐𝒗𝒆 ∶
+ ≥ 𝟑√𝟑𝒙, ∀𝒙 ∈ (𝟎, 𝟏)
𝟏+𝒙 𝟏−𝒙
𝟏 𝟏 𝟐 𝟖
+ ≥ 𝟑√𝟑𝒙 ↔ ≥ 𝒙( 𝟏 − 𝒙𝟐 ) ↔ ≥ 𝟐𝒙𝟐 (𝟏 − 𝒙𝟐 )𝟐
𝟏+𝒙 𝟏−𝒙 𝟑√𝟑 𝟐𝟕
𝟑
𝟐( 𝟐 )𝟐
𝟐𝒙𝟐 + (𝟏 − 𝒙𝟐 ) + (𝟏 − 𝒙𝟐 ) 𝟖
𝑩𝒚 𝑨𝑴 − 𝑮𝑴, 𝒘𝒆 𝒉𝒂𝒗𝒆 ∶ 𝟐𝒙 𝟏 − 𝒙 ≤( ) =
𝟑 𝟐𝟕
𝟏 − 𝒂 + 𝒃 − 𝒂𝒃 𝟑√𝟑 𝟐
𝐓𝐡𝐞𝐫𝐞𝐟𝐨𝐫𝐞, 𝐥𝐨𝐠 ( )≥ (𝒃 − 𝒂𝟐 )
𝟏 + 𝒂 − 𝒃 − 𝒂𝒃 𝟐
𝟐 𝟏 𝟐
⇒ 𝒉(𝒄) ≤ ⇒ ≥ , ∀𝒄 ∈ (𝟎, 𝟏); (𝟒)
𝟑√𝟑 𝒄(𝟏 − 𝒄𝟐 ) 𝟑√𝟑
From (3),(4) we get (2).
Solution 4 by Hikmat Mammadov-Azerbaijan
𝒂 ≤ 𝒃 ⇒ −𝒂 ≥ −𝒃 − 𝒂 ≥ 𝟏 − 𝒃, 𝒃 ≥ 𝒂 ⇒ 𝟏 + 𝒃 ≥ 𝟏 + 𝒂
⇒ (𝟏 − 𝒂)(𝟏 + 𝒃) ≥ (𝟏 − 𝒃)(𝟏 + 𝒂) > 𝟎
(𝟏 − 𝒂)(𝟏 + 𝒃) 𝟏 − 𝒂 + 𝒃 − 𝒂𝒃 𝟏 − 𝒂 + 𝒃 − 𝒂𝒃
⇒ ≥𝟏⇒ ≥ 𝟏 ⇒ 𝐥𝐨𝐠 ( )≥𝟎
(𝟏 + 𝒂)(𝟏 − 𝒃) 𝟏 + 𝒂 − 𝒃 − 𝒂𝒃 𝟏 + 𝒂 − 𝒃 − 𝒂𝒃
𝟏 ≥ 𝒃𝟐 − 𝒂𝟐 ≥ 𝟎
𝟑√𝟑 𝟑√𝟑 𝟐
> (𝒃 − 𝒂𝟐 ) ≥ 𝟎
𝟐 𝟐
𝟑√𝟑 𝟐 𝟑√𝟑 𝟏 − 𝒂 + 𝒃 − 𝒂𝒃
𝐖𝐡𝐞𝐧: (𝒃 − 𝒂𝟐 ) ≅ 𝐥𝐨𝐠 ( )≅∞
𝟐 𝟐 𝟏 + 𝒂 − 𝒃 − 𝒂𝒃
𝟏 − 𝒂 + 𝒃 − 𝒂𝒃 𝟑√𝟑 𝟐
𝐓𝐡𝐞𝐫𝐞𝐟𝐨𝐫𝐞, 𝐥𝐨𝐠 ( )≥ (𝒃 − 𝒂𝟐 )
𝟏 + 𝒂 − 𝒃 − 𝒂𝒃 𝟐
Hence,
𝝅
𝝅 𝟏 𝒎
𝟐𝛀(𝒎) = 𝐥𝐨𝐠 (𝟏 + 𝐭𝐚𝐧𝟐 ( )) ⋅ (− ) 𝐜𝐨𝐬(𝒎𝒙)| =
𝒎 𝒎 𝟎
𝟏 𝟏 𝝅
= 𝐥𝐨𝐠 ( 𝝅 ) (− ) (𝐜𝐨𝐬 (𝒎 ⋅ ) − 𝐜𝐨𝐬 𝟎) =
𝐜𝐨𝐬 𝟐 (𝒎) 𝒎 𝒎
𝟏 𝝅 𝟏 𝟏 𝝅
− 𝐥𝐨𝐠 (𝐜𝐨𝐬 ( )) ⋅ (− ) (𝐜𝐨𝐬 𝝅 − 𝐜𝐨𝐬 𝟎) = 𝐥𝐨𝐠 (𝐜𝐨𝐬 ( )) ⋅ (−𝟐)
𝟐 𝒎 𝒎 𝟐𝒎 𝒎
𝝅 𝟐𝝅
𝒎 𝟏 + 𝐭𝐚𝐧 ( 𝒎 )
= ∫ 𝐬𝐢𝐧(𝒎𝒕) ⋅ 𝐥𝐨𝐠 ( 𝝅 ) 𝒅𝒕 =
𝟎 𝟏 + 𝐭𝐚𝐧 (𝒎) ⋅ 𝐭𝐚𝐧 𝒕
𝝅 𝝅
𝒎 𝟐𝝅 𝒎 𝝅
= ∫ 𝐬𝐢𝐧(𝒎𝒕) ⋅ 𝐥𝐨𝐠 (𝟏 + 𝐭𝐚𝐧 ( )) 𝒅𝒕 − ∫ 𝐬𝐢𝐧(𝒎𝒕) ⋅ 𝐥𝐨𝐠 (𝟏 + 𝐭𝐚𝐧 ( ) ⋅ 𝐭𝐚𝐧 𝒕)
𝟎 𝒎 𝟎 𝒎
𝝅
𝝅 𝒎
𝛀(𝒎) = 𝐥𝐨𝐠 (𝟏 + 𝐭𝐚𝐧𝟐 ( )) ∫ 𝐬𝐢𝐧(𝒎𝒙) 𝒅𝒙 − 𝛀(𝒎)
𝒎 𝟎
Hence,
𝝅
𝝅𝟐
𝟏 𝒎
𝟐𝛀(𝒎) = 𝐥𝐨𝐠 (𝟏 + 𝐭𝐚𝐧 ( )) ⋅ (− ) 𝐜𝐨𝐬(𝒎𝒙)| =
𝒎 𝒎 𝟎
𝟏 𝟏 𝝅
= 𝐥𝐨𝐠 ( 𝝅 ) (− ) (𝐜𝐨𝐬 (𝒎 ⋅ ) − 𝐜𝐨𝐬 𝟎) =
𝐜𝐨𝐬 𝟐 (𝒎) 𝒎 𝒎
𝟏 𝝅 𝟏 𝟏 𝝅
− 𝐥𝐨𝐠 (𝐜𝐨𝐬 ( )) ⋅ (− ) (𝐜𝐨𝐬 𝝅 − 𝐜𝐨𝐬 𝟎) = 𝐥𝐨𝐠 (𝐜𝐨𝐬 ( )) ⋅ (−𝟐)
𝟐 𝒎 𝒎 𝟐𝒎 𝒎
Therefore,
𝟏 𝝅
𝛀(𝒎) = − 𝐥𝐨𝐠 (𝐜𝐨𝐬 ( ))
𝟐𝒎 𝒎
Therefore,
𝟒 𝝅 𝟐 𝝅
𝟐𝛀(𝒎) = 𝐥𝐨𝐠 (𝐬𝐞𝐜 ( )) ⇒ 𝛀(𝒎) = 𝐥𝐨𝐠 (𝐬𝐞𝐜 ( ))
𝒎 𝒎 𝒎 𝒎
Daniel Sitaru