34 RMM Autumn Edition 2024 Solutions
34 RMM Autumn Edition 2024 Solutions
34 RMM Autumn Edition 2024 Solutions
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, Florică Anastase-Romania
Marian Ursărescu-Romania, Marin Chirciu-Romania
Alex Szoros-Romania, D.M.Bătinețu-Giurgiu-Romania
Radu Diaconu-Romania, Flavius Pacionea-Romania
Andreea Lixandru-Romania, George Apostolopoulos-Greece
Florentin Vișescu-Romania, Neculai Stanciu-Romania
Claudia Nănuți-Romania, Vasile Jiglău-Romania
Said Attoui-Algeria, Cristian Miu-Romania
𝟐
𝟑𝟏𝒔𝟐 𝟏 𝒓𝟕𝒂 + 𝒓𝟕𝒃
𝟐
(𝟒𝑹 + 𝒓) − 𝟐𝒔 ≥ + ∑ ≥ 𝒔𝟐
𝟑𝟐 𝟐 (𝒓𝒂 + 𝒓𝒃 )𝟕
𝒄𝒚𝒄
𝟗𝟓 𝟐 𝟏 + 𝒓𝟕𝒃 𝒓𝟕𝒂
(𝟒𝑹 + 𝒓)𝟐 ≥ 𝒔 + ∑ ≥ 𝟑𝒔𝟐
𝟑𝟐 𝟐 (𝒓𝒂 + 𝒓𝒃 )𝟓
𝒄𝒚𝒄
𝟗𝟓 𝟐 𝒓𝟕𝒂 + 𝒓𝟕𝒃
𝟐(𝟒𝑹 + 𝒓)𝟐 ≥ 𝒔 +∑ ≥ 𝟔𝒔𝟐
𝟏𝟔 (𝒓𝒂 + 𝒓𝒃 )𝟓
𝒄𝒚𝒄
𝟏 𝟗𝟓 𝟐 𝑫𝑶𝑼𝑪𝑬𝑻 𝟏 𝟗𝟓 𝟐
= 𝟐 𝟐
((𝟒𝑹 + 𝒓) − 𝟐𝒔 ) + 𝒔 ⏞
≥ (𝟑𝒔𝟐 − 𝟐𝒔𝟐 ) + 𝒔 = 𝟔𝒔𝟐
𝟏𝟔 𝟏𝟔 𝟏𝟔 𝟏𝟔
𝟐
𝒓𝟕𝒂 + 𝒓𝟕𝒃 𝒓𝟕𝒃 + 𝒓𝟕𝒄 𝒓𝟕𝒄 + 𝒓𝟕𝒂 𝟗𝟓 𝟐
𝟐(𝟒𝑹 + 𝒓) = 𝟐 ∑ 𝒓𝟐𝒂 + 𝟐𝒔 ≥ 𝟐
𝟓
+ 𝟓
+ 𝟓
+ 𝒔 ⟺
(𝒓𝒂 + 𝒓𝒃 ) (𝒓𝒃 + 𝒓𝒄 ) (𝒓𝒄 + 𝒓𝒂 ) 𝟏𝟔
𝒄𝒚𝒄
𝒓𝟕𝒂 + 𝒓𝟕𝒃 𝟑𝟏 𝟐
∑ (𝒓𝟐𝒂 + 𝒓𝟐𝒃 − 𝟓
)− 𝒔 ≥𝟎⟺
(𝒓𝒂 + 𝒓𝒃 ) 𝟏𝟔
𝒄𝒚𝒄
(𝒙 = 𝐫𝒂 , 𝐲 = 𝐫𝐛 , 𝐳 = 𝐫𝐜 ) = ∑(𝒙 + 𝐲)𝟐
𝐜𝐲𝐜
𝟕𝒙𝐲
−∑( . (𝒙𝟒 − 𝒙𝟑 𝐲 + 𝒙𝟐 𝐲 𝟐 − 𝒙𝐲 𝟑 + 𝐲 𝟒 + 𝟑𝒙𝐲(𝒙𝟐 − 𝒙𝐲 + 𝐲 𝟐 ) + 𝟓𝒙𝟐 𝐲 𝟐 ))
(𝒙 + 𝐲)𝟒
𝐜𝐲𝐜
𝟕𝒙𝐲
= 𝟐 ∑ 𝒙𝟐 + 𝟐 ∑ 𝒙𝐲 − ∑ ( . (𝒙𝟒 + 𝟐𝒙𝟑 𝐲 + 𝟐𝒙𝐲 𝟑 + 𝟑𝒙𝟐 𝐲 𝟐 + 𝐲 𝟒 ))
(𝒙 + 𝐲)𝟒
𝐜𝐲𝐜 𝐜𝐲𝐜 𝐜𝐲𝐜
= 𝟐 ∑ 𝐫𝒂𝟐 + 𝟐 ∑ 𝐫𝒂 𝐫𝐛
𝐜𝐲𝐜 𝐜𝐲𝐜
𝟕𝒙𝐲
−∑( . ((𝒙𝟒 + 𝟒𝒙𝟑 𝐲 + 𝟒𝒙𝐲 𝟑 + 𝟔𝒙𝟐 𝐲 𝟐 + 𝐲 𝟒 ) + (𝒙𝟒 + 𝐲 𝟒 )))
𝟐(𝒙 + 𝐲)𝟒
𝐜𝐲𝐜
𝟐 𝟐
𝟕𝒙𝐲 𝟐 𝟒
𝟕𝒙𝐲(𝒙𝟒 + 𝐲 𝟒 )
= 𝟐(𝟒𝐑 + 𝐫) − 𝟒𝐬 + 𝟐𝐬 − ∑ ( (𝒙
. + 𝐲) ) −
𝟐(𝒙 + 𝐲)𝟒 𝟐(𝒙 + 𝐲)𝟒
𝐜𝐲𝐜
𝟕𝒂𝟑 𝟑
∑ 𝟐
+ 𝟏𝟕 ∑ 𝒂 ≥ 𝟏𝟐 ∑ √𝟕𝒂𝟑 + 𝒃𝟑 ; (𝟏)
𝒃
𝒄𝒚𝒄 𝒄𝒚𝒄 𝒄𝒚𝒄
Hence,
𝟐𝟒𝒂𝟑 𝟑
∑ ≥ 𝟏𝟐 ∑ √𝟕𝒂𝟑 + 𝒃𝟑
𝒃𝟐
𝒄𝒚𝒄 𝒄𝒚𝒄
𝒂𝟑 𝟏 𝟑
∑ 𝟐 ≥ ∑ √𝟕𝒂𝟑 + 𝒃𝟑
𝒃 𝟐
𝒄𝒚𝒄 𝒄𝒚𝒄
𝒂𝟑 𝒃𝟑 𝒄𝟑 𝟏 𝟑 𝟑 𝟑
𝟐
+ 𝟐 + 𝟐 ≥ ( √𝟕𝒂𝟑 + 𝒃𝟑 + √𝟕𝒃𝟑 + 𝒄𝟑 + √𝟕𝒄𝟑 + 𝒂𝟑 )
𝒃 𝒄 𝒂 𝟐
Solution 2 by Mohamed Amine Ben Ajiba-Tanger-Morocco
𝑩𝒚 𝑨𝑴 − 𝑮𝑴 𝒊𝒏𝒆𝒒𝒖𝒂𝒍𝒊𝒕𝒚, 𝒘𝒆 𝒉𝒂𝒗𝒆 ∶
𝟏𝟑 𝟑 𝟕𝒂𝟑 𝒃 𝟏 𝟕𝒂𝟑 𝒃
√𝟕𝒂𝟑 + 𝒃𝟑 = √𝒃. 𝒃. ( 𝟐 + ) ≤ (𝒃 + 𝒃 + ( 𝟐 + )).
𝟐 𝟖𝒃 𝟖 𝟑 𝟖𝒃 𝟖
𝟏𝟑 𝟕𝒂𝟑 𝟏𝟕𝒃
𝑻𝒉𝒆𝒏 ∶ √𝟕𝒂𝟑 + 𝒃𝟑 ≤ 𝟐
+ (𝒂𝒏𝒅 𝒂𝒏𝒂𝒍𝒐𝒈𝒔)
𝟐 𝟐𝟒𝒃 𝟐𝟒
𝟏 𝟑 𝟕 𝒂𝟑 𝟏𝟕
𝑻𝒉𝒖𝒔, ∑ √𝟕𝒂𝟑 + 𝒃𝟑 ≤ ∑ 𝟐+ ∑ 𝒂 (𝟏)
𝟐 𝟐𝟒 𝒃 𝟐𝟒
𝒄𝒚𝒄 𝒄𝒚𝒄 𝒄𝒚𝒄
𝒂𝟑 (𝒂 + 𝒃 + 𝒄)𝟑
∑ ≥ = ∑ 𝒂 (𝟐)
𝒃𝟐 (𝒃 + 𝒄 + 𝒂)𝟐
𝒄𝒚𝒄 𝒄𝒚𝒄
𝟏 𝟑 𝟕 𝒂𝟑 𝟏𝟕 𝒂𝟑 𝒂𝟑
∑ √𝟕𝒂𝟑 + 𝒃𝟑 ≤ ∑ 𝟐+ ∑ 𝟐 = ∑ 𝟐 , 𝒂𝒔 𝒅𝒆𝒔𝒊𝒓𝒆𝒅.
𝟐 𝟐𝟒 𝒃 𝟐𝟒 𝒃 𝒃
𝒄𝒚𝒄 𝒄𝒚𝒄 𝒄𝒚𝒄 𝒄𝒚𝒄
(𝒂 + 𝒃)𝟐
𝒂𝟐 + 𝒃𝟐 + 𝒂 + 𝒃 𝑪𝑩𝑺 𝟐 + (𝒂 + 𝒃) 𝟏
= ⏞
≥ = .
(𝒂 + 𝒃 + 𝟐)(𝒂 + 𝒃) (𝒂 + 𝒃 + 𝟐)(𝒂 + 𝒃) 𝟐
(𝒂 + 𝟏)(𝒃 + 𝟏) 𝟏 𝒂𝒃
𝑻𝒉𝒆𝒏 ∶ ≥ + (𝒂𝒏𝒅 𝒂𝒏𝒂𝒍𝒐𝒈𝒔)
𝒂+𝒃+𝟐 𝟐 𝒂+𝒃
𝑻𝒉𝒆𝒓𝒆𝒇𝒐𝒓𝒆,
(𝒂 + 𝟏)(𝒃 + 𝟏) 𝟑 𝒂𝒃
∑ ≥ +∑ .
𝒂+𝒃+𝟐 𝟐 𝒂+𝒃
𝒄𝒚𝒄 𝒄𝒚𝒄
𝟐
(𝒂 + 𝒃 + 𝒄)𝟑 − 𝒂𝟑 − 𝒃𝟑 − 𝒄𝟑
𝑹 ≥ ≥ 𝟐𝑹𝒓
𝝀(𝒂 + 𝒃 + 𝒄)
holds in any triangle 𝑨𝑩𝑪.
Proposed by Alex Szoros-Romania
Solution 1 by proposer
We assume the problem is solved. If 𝚫𝑨𝑩𝑪 is equilateral, we have that:
𝒂 = 𝒃 = 𝒄 = 𝒍 and 𝑹 = 𝟐𝒓.
The relationship in the statement becomes:
𝟐𝟕𝒍𝟑 − 𝟑𝒍𝟑 𝟖𝒍𝟐
𝑹𝟐 ≥ ≥ 𝑹 𝟐 ⇒ 𝑹𝟐 ≥ ⇒ 𝝀 = 𝟐𝟒
𝟑𝒍𝝀 𝝀
For 𝝀 = 𝟐𝟒 we will show that:
𝟐
(𝒂 + 𝒃 + 𝒄)𝟑 − 𝒂𝟑 − 𝒃𝟑 − 𝒄𝟑
𝑹 ≥ ≥ 𝟐𝑹𝒓
𝟐𝟒(𝒂 + 𝒃 + 𝒄)
Using the identity:
(𝒂 + 𝒃 + 𝒄)𝟑 = 𝒂𝟑 + 𝒃𝟑 + 𝒄𝟑 + 𝟑(𝒂 + 𝒃)(𝒃 + 𝒄)(𝒄 + 𝒂)
we get:
(𝒂 + 𝒃)(𝒃 + 𝒄)(𝒄 + 𝒂)
𝑹𝟐 ≥ ≥ 𝟐𝑹𝒓; (𝟏)
𝟏𝟔𝒔
9 34-RMM AUTUMN EDITION 2024-SOLUTIONS
www.ssmrmh.ro
But, 𝒂𝒃𝒄 + (𝒂 + 𝒃)(𝒃 + 𝒄)(𝒄 + 𝒂) = (𝒂 + 𝒃 + 𝒄)(𝒂𝒃 + 𝒃𝒄 + 𝒄𝒂)
(𝒂 + 𝒃)(𝒃 + 𝒄)(𝒄 + 𝒂) = 𝟐𝒔(𝒔𝟐 + 𝒓𝟐 + 𝟐𝑹𝒓)
Hence, (1) becomes:
𝒔𝟐 + 𝒓𝟐 + 𝟐𝑹𝒓
𝑹𝟐 ≥ ≥ 𝟐𝑹𝒓 ⇔
𝟖
𝟖𝑹𝟐 − 𝟐𝑹𝒓 − 𝒓𝟐 ≥ 𝟏𝟒𝑹𝒓 − 𝒓𝟐 ; (𝟐)
From Gerretsen’s inequality: 𝟒𝑹𝟐 + 𝟒𝑹𝒓 + 𝟑𝒓𝟐 ≥ 𝒔𝟐 ≥ 𝟏𝟔𝑹𝒓 − 𝟓𝒓𝟐 , we get:
𝟖𝑹𝟐 − 𝟐𝑹𝒓 − 𝒓𝟐 ≥ 𝟒𝑹𝟐 + 𝟒𝑹𝒓 + 𝟑𝒓𝟐 ≥ 𝒔𝟐 ≥ 𝟏𝟔𝑹𝒓 − 𝟓𝒓𝟐 ≥ 𝟏𝟒𝑹𝒓 − 𝒓𝟐 true.
So, (2) is true. In conclusion 𝝀 = 𝟐𝟒.
𝟐𝟕𝒂𝟑 − 𝟑𝒂𝟑 𝟐
𝟐𝟒𝒂𝟑
= 𝟒𝒓 ⇒ = 𝟒𝒓𝟐 ⇒ 𝟖𝒂𝟐 = 𝟒𝒓𝟐 𝝀 ⇒
𝝀 ⋅ 𝟑𝒂 𝝀 ⋅ 𝟑𝒂
𝟐𝒂𝟐 𝟐 𝟐𝒔 𝟐 𝟖 𝒔𝟐 𝟖 𝟐𝟕𝒓𝟐
𝝀 = 𝟐 = 𝟐 ( ) = ⋅ 𝟐 = ⋅ 𝟐 ⇒ 𝝀 = 𝟐𝟒.
𝒓 𝒓 𝟑 𝟗 𝒓 𝟗 𝒓
So, it is suffices to prove for 𝝀 = 𝟐𝟒. We have:
(𝒂 + 𝒃 + 𝒄)𝟑 − 𝒂𝟑 − 𝒃𝟑 − 𝒄𝟑 𝟖𝒔𝟑 − 𝟐(𝒔𝟑 − 𝟑𝒓𝟐 𝒔 − 𝟔𝑹𝒓𝒔) 𝒔𝟐 + 𝒓𝟐 + 𝟐𝑹𝒓
= =
𝟐𝟒(𝒂 + 𝒃 + 𝒄) 𝟐𝟒 ⋅ 𝟐𝒔 𝟖
We need to show:
𝒔𝟐 + 𝒓𝟐 + 𝟐𝑹𝒓
≥ 𝟐𝑹𝒓 ⇔ 𝒔𝟐 + 𝒓𝟐 − 𝟏𝟒𝑹𝒓 ≥ 𝟎 ⇔
𝟖
𝟏𝟔𝑹𝒓 − 𝟓𝒓𝟐 + 𝒓𝟐 − 𝟏𝟒𝑹𝒓 ≥ 𝟎 ⇔ 𝟐𝑹𝒓 − 𝟒𝒓𝟐 ≥ 𝟎 ⇔ 𝑹 ≥ 𝟐𝒓 (𝑬𝒖𝒍𝒆𝒓); (𝟏)
Again,
(𝒂 + 𝒃 + 𝒄)𝟑 − 𝒂𝟑 − 𝒃𝟑 − 𝒄𝟑 𝒔𝟐 + 𝒓𝟐 + 𝟐𝑹𝒓
=
𝟐𝟒(𝒂 + 𝒃 + 𝒄) 𝟖
We need to show:
10 34-RMM AUTUMN EDITION 2024-SOLUTIONS
www.ssmrmh.ro
𝒔𝟐 + 𝒓𝟐 + 𝟐𝑹𝒓
≤ 𝑹𝟐 ⇔ 𝒔𝟐 + 𝒓𝟐 + 𝟐𝑹𝒓 ≤ 𝟖𝑹𝟐 ⇔
𝟖
𝟐𝑹𝟐 − 𝟑𝑹𝒓 − 𝟐𝒓𝟐 ≥ 𝟎 ⇔ (𝑹 − 𝟐𝒓)(𝟐𝑹 + 𝒓) ≥ 𝟎 (𝟐)
From (1) and (2) is true for 𝝀 = 𝟐𝟒.
𝒂𝟐 𝒂+𝟏−𝒂 𝒂𝟐 𝟏
∑ ≥∑ + 𝐥𝐨𝐠 √𝒂𝒃𝒄 ⇔∑ ≥𝟑−∑ + 𝐥𝐨𝐠 √𝟏 ⇔
𝒂+𝟏 𝒂+𝟏 𝒂+𝟏 𝒂+𝟏
𝒄𝒚𝒄 𝒄𝒚𝒄 𝒄𝒚𝒄 𝒄𝒚𝒄
𝒂𝟐 + 𝟏
∑ ≥𝟑
𝒂+𝟏
𝒄𝒚𝒄
𝒂𝟐 + 𝟏 (𝒂 + 𝟏)𝟐 + (𝒂 − 𝟏)𝟐 𝒂 + 𝟏
𝑾𝒆 𝒉𝒂𝒗𝒆 ∶ = ≥ (𝒂𝒏𝒅 𝒂𝒏𝒂𝒍𝒐𝒈𝒔)
𝒂+𝟏 𝟐(𝒂 + 𝟏) 𝟐
𝒂𝟐 + 𝟏 𝒃𝟐 + 𝟏 𝒄𝟐 + 𝟏 𝒂 + 𝒃 + 𝒄 + 𝟑
𝑻𝒉𝒆𝒏 ∶ + + ≥ .
𝒂+𝟏 𝒃+𝟏 𝒄+𝟏 𝟐
𝑩𝒚 𝑨𝑴 − 𝑮𝑴 𝒊𝒏𝒆𝒒𝒖𝒂𝒍𝒊𝒕𝒚, 𝒘𝒆 𝒉𝒂𝒗𝒆 ∶
𝟑
𝒂 + 𝒃 + 𝒄 ≥ 𝟑√𝒂𝒃𝒄 = 𝟑.
𝑻𝒉𝒆𝒓𝒆𝒇𝒐𝒓𝒆,
𝒂𝟐 + 𝟏 𝒃𝟐 + 𝟏 𝒄𝟐 + 𝟏 𝟑 + 𝟑
+ + ≥ = 𝟑.
𝒂+𝟏 𝒃+𝟏 𝒄+𝟏 𝟐
𝟓
𝟐 𝑩𝒆𝒓𝒈𝒔𝒕𝒓𝒐𝒎 𝟓
𝟏 𝒔 𝟏 𝟐 𝟗
= 𝟒 (∑ 𝟐 − 𝟑) ≥ (𝒔 ⋅ − 𝟑) =
𝟑 𝒔 − 𝒂𝟐 𝟑𝟒 ∑(𝒔𝟐 − 𝒂𝟐 )
𝒄𝒚𝒄
𝟓
𝟓
𝟏 𝟗𝒔𝟐 𝟏 𝟗𝒔𝟐
= 𝟒( 𝟐 − 𝟑) ≥ ( − 𝟑) =
𝟑 𝟑𝒔 − (𝒂𝟐 + 𝒃𝟐 + 𝒄𝟐 ) 𝟑𝟒 𝟐 (𝒂 + 𝒃 + 𝒄)𝟐
𝟑𝒔 − 𝟑
𝟓 𝟓
𝟏 𝟐𝟕𝒔𝟐 𝟏 𝟐𝟕 𝟑𝟓 𝟑
= 𝟒( 𝟐 𝟐
− 𝟑) = 𝟒
( − 𝟑) = 𝟒 𝟓
= 𝟓
𝟑 𝟗𝒔 − 𝒔 𝟑 𝟗−𝟏 𝟑 ⋅𝟖 𝟖
𝒂𝟏𝟎 𝒂𝟏𝟓
∑ = ∑ ≥
(𝒃 + 𝒄)𝟓 (𝟐𝒂 + 𝒃 + 𝒄)𝟓 (𝒂𝒃 + 𝒄𝒂)𝟓 (𝟐𝒂 + 𝒃 + 𝒄)𝟓
𝒄𝒚𝒄 𝒄𝒚𝒄
𝑯ӧ𝒍𝒅𝒆𝒓 𝟏𝟓
(∑𝒄𝒚𝒄 𝒂)
⏞
≥ =
𝟓 𝟓 𝟒
(∑𝒄𝒚𝒄(𝒂𝒃 + 𝒄𝒂)) (∑𝒄𝒚𝒄(𝟐𝒂 + 𝒃 + 𝒄)) (∑𝒄𝒚𝒄 𝟏)
𝟏𝟓 𝟏𝟎
𝟑(∑𝒄𝒚𝒄 𝒂) 𝟑(∑𝒄𝒚𝒄 𝒂) 𝟑 𝟑
= ≥ = = , 𝒂𝒔 𝒅𝒆𝒔𝒊𝒓𝒆𝒅.
𝟓 𝟓 𝟐 𝟓 𝟐𝟏𝟓 𝟖𝟓
(𝟐. 𝟑 ∑𝒄𝒚𝒄 𝒃𝒄) (𝟒 ∑𝒄𝒚𝒄 𝒂) 𝟐𝟏𝟓 . ((∑𝒄𝒚𝒄 𝒂) )
(𝒂 + 𝒃 + 𝒄)𝟐 (𝒂 + 𝒃 + 𝒄)𝟐 𝟑
≥ ≥ =
𝟐(𝒂 + 𝒃 + 𝒄)𝟐 + 𝟐(𝒂𝒃 + 𝒃𝒄 + 𝒄𝒂) 𝟐(𝒂 + 𝒃 + 𝒄)𝟐 + 𝟐 (𝒂 + 𝒃 + 𝒄)𝟐 𝟖
𝟑
𝟓
𝟏𝟎 𝟐 𝑨𝑴−𝑮𝑴
𝒂 𝟏 𝒂
∑ = ∑( ) ⏞
≥
𝟓
(𝒃 + 𝒄) (𝟐𝒂 + 𝒃 + 𝒄) 𝟓 𝟑𝟐 𝒃 𝒄
𝒄𝒚𝒄 𝒄𝒚𝒄 (𝒃 + 𝒄) (𝒂 + + )
𝟐 𝟐
𝟓
𝟐 𝟏𝟎
𝟏 𝟒𝒂 𝟏 𝟒𝒂
≥ ∑( 𝟐 ) = ∑ ( ) ≥
𝟑𝟐 𝒃 𝒄 𝟑𝟐 𝟐𝒂 + 𝟑𝒃 + 𝟑𝒄
𝒄𝒚𝒄 (𝒃 + 𝒄 + 𝒂 + + ) 𝒄𝒚𝒄
𝟐 𝟐
𝟏𝟎 𝟏𝟎
𝟑 𝒂 𝟑 𝟏 𝒂
≥ ∙ 𝟒𝟏𝟎 (∑ ) = ∙ 𝟒𝟏𝟎 ∙ 𝟏𝟎 (∑ ) ≥
𝟑𝟐 𝟑(𝟐𝒂 + 𝟑𝒃 + 𝟑𝒄) 𝟑𝟐 𝟑 𝟐𝒂 + 𝟑𝒃 + 𝟑𝒄
𝒄𝒚𝒄 𝒄𝒚𝒄
𝒙 ⋅ 𝒂𝒎 𝒙 ⋅ 𝒂𝒎+𝒏 𝟏 𝒙 ⋅ 𝒂𝟒
∑ = ∑ = ∑ =
(𝒚 + 𝒛)𝒉𝒏𝒂 (𝒚 + 𝒛)(𝒂 ⋅ 𝒉𝒂 )𝒏 (𝟐𝑭)𝒏 𝒚+𝒛
𝒄𝒚𝒄 𝒄𝒚𝒄 𝒄𝒚𝒄
𝟏 𝒙𝟐 𝒂𝟒 𝑩𝒆𝒓𝒈𝒔𝒕𝒓𝒐𝒎 𝟏 (∑ 𝒙𝒂𝟐 )𝟐
= ∑ ≥ ⋅ =
(𝟐𝑭)𝒏 𝒙𝒚 + 𝒙𝒛 𝟐𝒏 𝑭𝒏 ∑(𝒙𝒚 + 𝒙𝒛)
𝒄𝒚𝒄
𝟏 𝟏 𝟏 𝟏 𝟏
∑ ( + ) 𝒉𝒄 ≥ 𝟐√(𝒉𝒂 𝒉𝒃 + 𝒉𝒃 𝒉𝒄 + 𝒉𝒄 𝒉𝒂 ) ( + + ); (𝟐)
𝒂 𝒃 𝒂𝒃 𝒃𝒄 𝒄𝒂
𝒄𝒚𝒄
𝟏 𝟏 𝒔𝟐 𝟐𝒔 𝒂 + 𝒃 + 𝒄
∑ ( + ) 𝒉𝒄 ≥ 𝟐√ 𝟐 = =
𝒂 𝒃 𝑹 𝑹 𝑹
𝒄𝒚𝒄
= 𝑹𝑯𝑺
Solution 3 by Tapas Das-India
𝒂+𝒃 𝒂 + 𝒃 𝟐𝑭 𝟐𝑭 𝟐𝑭
∑ ⋅ 𝒉𝒄 = ∑ ⋅ = ∑(𝒂 + 𝒃) = ⋅ 𝟐∑𝒂 =
𝒂𝒃 𝒂𝒃 𝒄 𝒂𝒃𝒄 𝒂𝒃𝒄
𝒄𝒚𝒄 𝒄𝒚𝒄 𝒄𝒚𝒄 𝒄𝒚𝒄
𝟐𝑭 𝟐𝑭 𝟐𝒔 𝒂 + 𝒃 + 𝒄
= ⋅ 𝟐 ⋅ 𝟐𝒔 = ⋅ 𝟒𝒔 = =
𝒂𝒃𝒄 𝟒𝑹𝑭 𝑹 𝑹
JP.504 In 𝚫𝑨𝑩𝑪 the following relationship holds:
𝑨 𝑩 𝑪 𝟑+𝝅
+ + ≤
𝝅𝑨 + 𝑩𝑪 + 𝟏𝟐 𝝅𝑩 + 𝑪𝑨 + 𝟏𝟐 𝝅𝑪 + 𝑨𝑩 + 𝟏𝟐 𝟑𝟐
Proposed by Radu Diaconu-Romania
Solution 1 by proposer
We have:
𝑨 𝑨 𝑨 (𝟏)
∑ =∑ =∑ ≤
𝝅𝑩 + 𝑪𝑨 + 𝟏𝟐 (𝑨 + 𝑩 + 𝑪)𝑨 + 𝑩𝑪 + 𝟏𝟐 (𝑨 + 𝑩)(𝑨 + 𝑪) + 𝟒 + 𝟖
𝒄𝒚𝒄 𝒄𝒚𝒄 𝒄𝒚𝒄
𝑨 (𝟐) 𝟏 𝑨 𝟏 𝟏
≤∑ ≤ ∑ ( + )=
𝟒√(𝑨 + 𝑩)(𝑨 + 𝑪) + 𝟖 𝟒 𝟒 √(𝑨 + 𝑩)(𝑨 + 𝑪) 𝟐
𝒄𝒚𝒄 𝒄𝒚𝒄
𝟏 𝑨 𝑨 𝑨 (𝟑) 𝟏 𝟏 𝑨 𝑨 𝝅
= ∑√ ⋅ +∑ ≤ ∑ ( + )+ =
𝟏𝟔 𝑨+𝑩 𝑨+𝑪 𝟑𝟐 𝟏𝟔 𝟐 𝑨+𝑩 𝑨+𝑪 𝟑𝟐
𝒄𝒚𝒄 𝒄𝒚𝒄 𝒄𝒚𝒄
𝑨 𝑨 𝟏 𝑨 𝑨
(𝟑) ⇔ √ ⋅ ≤ ( ⋅ )
𝑨+𝑩 𝑨+𝑪 𝟐 𝑨+𝑩 𝑨+𝑪
𝑨 𝑨
Equality holds for = ⇔ 𝑨 = 𝑩.
𝑨+𝑩 𝑨+𝑪
𝑾𝒆 𝒉𝒂𝒗𝒆 ∶
𝑨 𝑨 𝑨
= = ≤
𝝅𝑨 + 𝑩𝑪 + 𝟏𝟐 (𝑨 + 𝑩 + 𝑪)𝑨 + 𝑩𝑪 + 𝟏𝟐 [(𝑨 + 𝑩)(𝑨 + 𝑪) + 𝟒] + 𝟖
𝑯𝑴−𝑨𝑴 𝑨𝑴−𝑮𝑴
𝑨 𝟏 𝟏 𝑨 𝑨
⏞
≤ ( + ) ⏞
≤ + ≤
𝟒 (𝑨 + 𝑩)(𝑨 + 𝑪) + 𝟒 𝟖 𝟒. 𝟐√𝟒(𝑨 + 𝑩)(𝑨 + 𝑪) 𝟑𝟐
𝑨𝑴−𝑮𝑴
𝟏 𝟏 𝑨 𝑨 𝑨 𝟏 𝑨 𝑨
⏞
≤ . ( + )+ = ( + + 𝑨) (𝒂𝒏𝒅 𝒂𝒏𝒂𝒍𝒐𝒈𝒔)
𝟏𝟔 𝟐 𝑨 + 𝑩 𝑨 + 𝑪 𝟑𝟐 𝟑𝟐 𝑨 + 𝑩 𝑨 + 𝑪
𝑻𝒉𝒆𝒓𝒆𝒇𝒐𝒓𝒆,
𝑨 𝟏 𝑨 𝑨 𝟏 𝑨 𝑩
∑ ≤∑ ( + + 𝑨) = ∑ ( + + 𝑨) =
𝝅𝑨 + 𝑩𝑪 + 𝟏𝟐 𝟑𝟐 𝑨 + 𝑩 𝑨 + 𝑪 𝟑𝟐 𝑨 + 𝑩 𝑩 + 𝑨
𝒄𝒚𝒄 𝒄𝒚𝒄 𝒄𝒚𝒄
𝟏 𝟑+𝝅
=∑ (𝟏 + 𝑨) = , 𝒂𝒔 𝒅𝒆𝒔𝒊𝒓𝒆𝒅.
𝟑𝟐 𝟑𝟐
𝒄𝒚𝒄
𝒏 𝒏
𝒌 + (𝒌 − 𝟏)𝟐 ⋅ 𝐬𝐢𝐧𝟐 𝒙 𝐜𝐨𝐬𝟐 𝒙 𝟏 + (𝒌 − 𝟏) 𝐜𝐨𝐬𝟐 𝒙 𝟏 + (𝒌 − 𝟏) 𝐬𝐢𝐧𝟐 𝒙
√∑ ( ) = √∑ ( ⋅ )≤
(𝒌 − 𝟏)𝟐 + 𝒌(𝐭𝐚𝐧 𝒙 + 𝐜𝐨𝐭 𝒙)𝟐 𝒌 + 𝐭𝐚𝐧𝟐 𝒙 𝒌 + 𝐜𝐨𝐭𝟐 𝒙
𝒌=𝟏 𝒌=𝟏
𝒏
𝟏 𝟏 + (𝒏 − 𝟏) 𝐜𝐨𝐬 𝟐 𝒙 𝟏 + (𝒏 − 𝟏) 𝐬𝐢𝐧𝟐 𝒙
≤ ∑( + ) ; (𝟏)
𝟐 𝒏 + 𝐭𝐚𝐧𝟐 𝒙 𝒏 + 𝐜𝐨𝐭 𝟐 𝒙
𝒌=𝟏
𝒏
𝟏 + (𝒏 − 𝟏) 𝐜𝐨𝐬𝟐 𝒙 𝟏 + (𝒏 − 𝟏) 𝐬𝐢𝐧𝟐 𝒙
𝐋𝐞𝐭: 𝑺𝒏 = ∑ ( + )
𝒏 + 𝐭𝐚𝐧𝟐 𝒙 𝒏 + 𝐜𝐨𝐭 𝟐 𝒙
𝒌=𝟏
𝒏
𝒌 + (𝒌 − 𝟏)𝟐 ⋅ 𝐬𝐢𝐧𝟐 𝒙 𝐜𝐨𝐬 𝟐 𝒙 𝒏+𝟏
√∑ ( 𝟐 𝟐
)≤ ⇔
(𝒌 − 𝟏) + 𝒌(𝐭𝐚𝐧 𝒙 + 𝐜𝐨𝐭 𝒙) 𝟐
𝒌=𝟏
𝒏
𝟒𝒌 + (𝒌 − 𝟏)𝟐 ⋅ 𝐬𝐢𝐧𝟐 𝟐𝒙
∑( ) ≤ (𝒏 + 𝟏)𝟐 ⇔
(𝒌 − 𝟏)𝟐 + 𝒌(𝐭𝐚𝐧 𝒙 + 𝐜𝐨𝐭 𝒙)𝟐
𝒌=𝟏
𝒏
𝟒𝒌 + (𝒌 − 𝟏)𝟐 𝐬𝐢𝐧𝟐 𝟐𝒙
∑( ) ≤ (𝒏 + 𝟏)𝟐
(𝒌 − 𝟏)𝟐 + 𝟒𝒌 𝐜𝐬𝐜 𝟐 𝟐𝒙
𝒌=𝟏
𝒂 𝟏 𝟑𝟐(𝒌+𝟏)
∑ = ∑ ≥ =
(𝒂𝟐 + 𝒂𝒃𝒄)𝒌+𝟏 𝒂𝒌 (𝒂 + 𝒃𝒄)𝒌+𝟏 (∑ 𝒂)𝒌 (∑ (𝒂 + 𝒃𝒄))𝒌+𝟏
𝒄𝒚𝒄 𝒄𝒚𝒄 𝒄𝒚𝒄 𝒄𝒚𝒄
𝟏
𝑬𝒒𝒖𝒂𝒍𝒊𝒕𝒚 𝒉𝒐𝒍𝒅𝒔 𝒊𝒇𝒇 𝒂 = 𝒃 = 𝒄 = .
𝟑
𝑨𝑴−𝑮𝑴
𝟑 𝟏
≥ 𝟑√ ⏞
≥
(𝒂𝒃𝒄)𝒌 (𝒂 + 𝒃)𝟐𝒌+𝟐 (𝒃 + 𝒄)𝟐𝒌+𝟐 (𝒄 + 𝒂)𝟐𝒌+𝟐
𝑾𝒆 𝒂𝒑𝒑𝒍𝒚 𝒕𝒉𝒆 𝑳𝒂𝒘 𝒐𝒇 𝒄𝒐𝒔𝒊𝒏𝒆𝒔 𝒊𝒏 𝒕𝒉𝒆 𝒕𝒓𝒊𝒂𝒏𝒈𝒍𝒆 𝑨𝑩𝑫 𝒂𝒏𝒅 𝑩𝑫𝑪 𝒕𝒐 𝒐𝒃𝒕𝒂𝒊𝒏:
𝑩𝑫𝟐 = 𝒂𝟐 + 𝒅𝟐 − 𝟐𝒂𝒅 ⋅ 𝐜𝐨𝐬 𝑨 = 𝒃𝟐 + 𝒄𝟐 − 𝟐𝒃𝒄 ⋅ 𝐜𝐨𝐬 𝑪
𝑺𝒐, 𝒃𝒆𝒄𝒂𝒖𝒔𝒆 𝒕𝒉𝒆 𝒒𝒖𝒂𝒅𝒓𝒊𝒍𝒂𝒕𝒆𝒓𝒂𝒍 𝒊𝒔 𝒄𝒚𝒄𝒍𝒊𝒄, 𝒘𝒆 𝒉𝒂𝒗𝒆 𝐜𝐨𝐬 𝑪 = − 𝐜𝐨𝐬 𝑨 , 𝒔𝒐,
𝟐(𝒂𝒅 + 𝒃𝒄) 𝐜𝐨𝐬 𝑨 = 𝒂𝟐 − 𝒃𝟐 − 𝒄𝟐 − 𝒅𝟐 , 𝒘𝒉𝒊𝒄𝒉 𝒎𝒆𝒂𝒏𝒔 𝒕𝒉𝒂𝒕
𝒂𝟐 − 𝒃𝟐 − 𝒄𝟐 + 𝒅𝟐
𝐜𝐨𝐬 𝑨 =
𝟐(𝒂𝒅 + 𝒃𝒄)
𝟏 𝟏 𝟏 𝟏
𝑾𝒆 𝒉𝒂𝒗𝒆: 𝑭 = 𝒂𝒅 𝐬𝐢𝐧 𝑨 + 𝒃𝒄 𝐬𝐢𝐧 𝑪 = 𝒂𝒅 𝐬𝐢𝐧 𝑨 + 𝒃𝒄 𝐬𝐢𝐧 𝑨 =
𝟐 𝟐 𝟐 𝟐
𝟏 𝟐𝑭
= (𝒂𝒅 + 𝒃𝒄) 𝐬𝐢𝐧 𝑨 , 𝒔𝒐, 𝐬𝐢𝐧 𝑨 = .
𝟐 𝒂𝒅 + 𝒃𝒄
𝐀
𝐀 (∗∗) ∑𝐜𝐲𝐜 𝐬𝐞𝐜 𝟐 𝟒
⇒ ∑ 𝐜𝐨𝐬 𝟐
= 𝟐 ∴ 𝐯𝐢𝒂 (∗), (∗∗), 𝟐 ≤ 𝟏𝟔𝐑
𝟐 𝐀 𝐅𝟐
𝐜𝐲𝐜 ∑𝐜𝐲𝐜 𝐬𝐞𝐜 −𝟐
𝟐
(𝒂𝐛 + 𝐜𝐝)𝟐 + (𝒂𝐝 + 𝐛𝐜)𝟐 𝟏𝟔𝐑𝟒
⇔ ≤
𝟐(𝐬 − 𝒂)(𝐬 − 𝐛)(𝐬 − 𝐜)(𝐬 − 𝐝) (𝐬 − 𝒂)(𝐬 − 𝐛)(𝐬 − 𝐜)(𝐬 − 𝐝)
(⦁)
⇔ (𝒂𝐛 + 𝐜𝐝)𝟐 + (𝒂𝐝 + 𝐛𝐜)𝟐 ≤ 𝟑𝟐𝐑𝟒
𝐍𝐨𝐰, 𝐯𝐢𝒂 𝐬𝐢𝐧𝐞 𝒍𝒂𝐰 𝒂𝐧𝐝 ∵ 𝐜𝐢𝐫𝐜𝐮𝐦𝐫𝒂𝐝𝐢𝐮𝐬 𝐨𝐟 ∆ 𝐀𝐁𝐃 𝒂𝐧𝐝 ∆ 𝐁𝐂𝐃 𝐢𝐬 𝐑,
∴ 𝒂 = 𝟐𝐑𝐬𝐢𝐧𝛃, 𝐛 = 𝟐𝐑𝐬𝐢𝐧𝛅, 𝐜 = 𝟐𝐑𝐬𝐢𝐧𝛄, 𝐝 = 𝟐𝐑𝐬𝐢𝐧𝛂
∴ 𝒂𝐛 + 𝐜𝐝 = 𝟒𝐑𝟐 (𝐬𝐢𝐧𝛃𝐬𝐢𝐧𝛅 + 𝐬𝐢𝐧𝛄𝐬𝐢𝐧𝛂)
= 𝟐𝐑𝟐 (𝐜𝐨𝐬(𝛃 − 𝛅) − 𝐜𝐨𝐬(𝛃 + 𝛅) + 𝐜𝐨𝐬(𝛄 − 𝛂) − 𝐜𝐨𝐬(𝛄 + 𝛂))
= 𝟐𝐑𝟐 (𝐜𝐨𝐬(𝛃 − 𝛅) − 𝐜𝐨𝐬(𝐃) + 𝐜𝐨𝐬(𝛄 − 𝛂) − 𝐜𝐨𝐬(𝛑 − 𝐃))
(◆)
= 𝟐𝐑𝟐 (𝐜𝐨𝐬(𝛃 − 𝛅) + 𝐜𝐨𝐬(𝛄 − 𝛂)) ≤ 𝟐𝐑𝟐 (𝟏 + 𝟏) ⇒ 𝒂𝐛 + 𝐜𝐝 ≤ 𝟒𝐑𝟐
𝒂𝐧𝐝, 𝒂𝐝 + 𝐛𝐜 = 𝟒𝐑𝟐 (𝐬𝐢𝐧𝛃𝐬𝐢𝐧𝛂 + 𝐬𝐢𝐧𝛅𝐬𝐢𝐧𝛄)
= 𝟐𝐑𝟐 (𝐜𝐨𝐬(𝛂 − 𝛃) − 𝐜𝐨𝐬(𝛂 + 𝛃) + 𝐜𝐨𝐬(𝛄 − 𝛅) − 𝐜𝐨𝐬(𝛄 + 𝛅))
𝑾𝒆 𝒂𝒑𝒑𝒍𝒚 𝒕𝒉𝒆 𝑳𝒂𝒘 𝒐𝒇 𝒄𝒐𝒔𝒊𝒏𝒆𝒔 𝒊𝒏 𝒕𝒉𝒆 𝒕𝒓𝒊𝒂𝒏𝒈𝒍𝒆 𝑨𝑩𝑫 𝒂𝒏𝒅 𝑩𝑫𝑪 𝒕𝒐 𝒐𝒃𝒕𝒂𝒊𝒏:
𝑩𝑫𝟐 = 𝒂𝟐 + 𝒅𝟐 − 𝟐𝒂𝒅 ⋅ 𝐜𝐨𝐬 𝑨 = 𝒃𝟐 + 𝒄𝟐 − 𝟐𝒃𝒄 ⋅ 𝐜𝐨𝐬 𝑪
𝑺𝒐, 𝒃𝒆𝒄𝒂𝒖𝒔𝒆 𝒕𝒉𝒆 𝒒𝒖𝒂𝒅𝒓𝒊𝒍𝒂𝒕𝒆𝒓𝒂𝒍 𝒊𝒔 𝒄𝒚𝒄𝒍𝒊𝒄, 𝒘𝒆 𝒉𝒂𝒗𝒆 𝐜𝐨𝐬 𝑪 = − 𝐜𝐨𝐬 𝑨 , 𝒔𝒐,
𝟐(𝒂𝒅 + 𝒃𝒄) 𝐜𝐨𝐬 𝑨 = 𝒂𝟐 − 𝒃𝟐 − 𝒄𝟐 − 𝒅𝟐 , 𝒘𝒉𝒊𝒄𝒉 𝒎𝒆𝒂𝒏𝒔 𝒕𝒉𝒂𝒕
𝒂𝟐 − 𝒃𝟐 − 𝒄𝟐 + 𝒅𝟐
𝐜𝐨𝐬 𝑨 =
𝟐(𝒂𝒅 + 𝒃𝒄)
𝟏 𝟏 𝟏 𝟏
𝑾𝒆 𝒉𝒂𝒗𝒆: 𝑭 = 𝒂𝒅 𝐬𝐢𝐧 𝑨 + 𝒃𝒄 𝐬𝐢𝐧 𝑪 = 𝒂𝒅 𝐬𝐢𝐧 𝑨 + 𝒃𝒄 𝐬𝐢𝐧 𝑨 =
𝟐 𝟐 𝟐 𝟐
𝟏 𝟐𝑭
= (𝒂𝒅 + 𝒃𝒄) 𝐬𝐢𝐧 𝑨 , 𝒔𝒐, 𝐬𝐢𝐧 𝑨 = .
𝟐 𝒂𝒅 + 𝒃𝒄
𝑨 𝟏 + 𝐜𝐨𝐬 𝑨
𝑻𝒂𝒌𝒊𝒏𝒈 𝒊𝒏𝒕𝒐 𝒂𝒄𝒄𝒐𝒖𝒏𝒕 𝒕𝒉𝒂𝒕 𝐜𝐨𝐬𝟐 = , 𝒊𝒕 𝒇𝒐𝒍𝒍𝒐𝒘𝒔 𝒕𝒉𝒂𝒕
𝟐 𝟐
𝒂𝟐 − 𝒃𝟐 − 𝒄𝟐 + 𝒅𝟐
𝑨 𝟏 + (𝒂 + 𝒅)𝟐 − (𝒃 − 𝒄)𝟐
𝟐 𝟐(𝒂𝒅 + 𝒃𝒄)
𝐜𝐨𝐬 = =
𝟐 𝟐 𝟐(𝒂𝒅 + 𝒃𝒄)
(𝒂 + 𝒅 − 𝒃 + 𝒄)(𝒂 + 𝒅 + 𝒃 − 𝒄)
= =
𝟐(𝒂𝒅 + 𝒃𝒄)
(𝒔 − 𝒃)(𝒔 − 𝒄) 𝒂+𝒃+𝒄+𝒅
= , 𝒘𝒉𝒆𝒓𝒆 𝒔 = 𝒅𝒆𝒏𝒐𝒕𝒆𝒔 𝒕𝒉𝒆 𝒔𝒆𝒎𝒊𝒑𝒆𝒓𝒊𝒎𝒆𝒕𝒆𝒓 𝒐𝒇 𝑨𝑩𝑪𝑫.
𝒂𝒅 + 𝒃𝒄 𝟐
𝑨 𝑨
𝑨 (𝒔 − 𝒅)(𝒔 − 𝒂) (𝒔 − 𝒅)(𝒔 − 𝒂) 𝐬𝐢𝐧 𝑨 𝟐 𝐬𝐢𝐧 𝟐 𝐜𝐨𝐬 𝟐 (𝒔 − 𝒅)(𝒔 − 𝒂)
𝑺𝒐, 𝐬𝐢𝐧𝟐 = = =
𝟐 𝟐𝑭 𝟐𝑭 𝟐𝑭
𝐬𝐢𝐧 𝑨
𝑨
𝐬𝐢𝐧 𝟐 (𝒔 − 𝒅)(𝒔 − 𝒂) 𝒙 𝟐 + 𝒚𝟐
= ; (∵ 𝒙𝒚 ≤ )
𝑨 𝑭 𝟒
𝐜𝐨𝐬 𝟐
𝑨
𝐬𝐢𝐧 𝟐 (𝒔 − 𝒂 + 𝒔 − 𝒅)𝟐 (𝒃 + 𝒄)𝟐
𝑺𝒐, ≤ = ; (∗)
𝑨 𝟒𝑭 𝟒𝑭
𝐜𝐨𝐬 𝟐
𝑵𝒐𝒘, 𝒘𝒆′ 𝒍𝒍 𝒑𝒓𝒐𝒗𝒆 𝒕𝒉𝒂𝒕: 𝑰𝒏 𝒂𝒏𝒚 𝒕𝒓𝒊𝒂𝒏𝒈𝒍𝒆 𝑨𝑩𝑪 𝒕𝒉𝒆 𝒊𝒏𝒆𝒒𝒖𝒂𝒍𝒊𝒕𝒚
JP.509 Let 𝑨𝑩𝑪 be a triangle with inradius 𝒓 and circumradius 𝑹. Prove that:
𝑨 𝑩 𝑪 𝟐𝒓 𝟑
(𝟏 + 𝐜𝐨𝐭 ) (𝟏 + 𝐜𝐨𝐭 ) (𝟏 + 𝐜𝐨𝐭 ) ≥ (𝟏 + √𝟑 ⋅ )
𝟐 𝟐 𝟐 𝑹
Proposed by George Apostolopoulos-Greece
Solution 1 by proposer
𝑼𝒔𝒆 𝑯𝒖𝒚𝒈𝒆𝒏𝒔 𝒊𝒏𝒆𝒒𝒖𝒂𝒍𝒊𝒕𝒚:
𝟑
𝑨 𝑩 𝑪 𝑨 𝑩 𝟑 𝑪
(𝟏 + 𝐜𝐨𝐭 ) (𝟏 + 𝐜𝐨𝐭 ) (𝟏 + 𝐜𝐨𝐭 ) ≥ (𝟏 + √𝐜𝐨𝐭 𝐜𝐨𝐭 𝐜𝐨𝐭 ) ≥
𝟐 𝟐 𝟐 𝟐 𝟐 𝟐
𝟑 𝟐𝒓 𝟑
≥ (𝟏 + √𝟑) ≥ (𝟏 + √𝟑 ⋅ ) , 𝒃𝒆𝒄𝒂𝒖𝒔𝒆
𝑹
𝑨 𝑩 𝑪 𝑨 𝑩 𝑪 𝑨+𝑩+𝑪
𝐜𝐨𝐭 𝐜𝐨𝐭 𝐜𝐨𝐭 = 𝐜𝐨𝐭 + 𝐜𝐨𝐭 + 𝐜𝐨𝐭 ≥ 𝟑 𝐜𝐨𝐭 ( ) = 𝟑√𝟑 𝒂𝒏𝒅
𝟐 𝟐 𝟐 𝟐 𝟐 𝟐 𝟔
𝟐𝒓
√𝟑 ≥ √𝟑 ⋅ 𝒕𝒓𝒖𝒆 𝒇𝒓𝒐𝒎 𝑹 ≥ 𝟐𝒓 (𝑬𝒖𝒍𝒆𝒓).
𝑹
𝑬𝒒𝒖𝒂𝒍𝒊𝒕𝒚 𝒉𝒐𝒍𝒅𝒔 𝒊𝒇 𝒂𝒏𝒅 𝒐𝒏𝒍𝒚 𝒊𝒇 𝒕𝒉𝒆 𝒕𝒓𝒊𝒂𝒏𝒈𝒍𝒆 𝑨𝑩𝑪 𝒊𝒔 𝒆𝒒𝒖𝒊𝒍𝒂𝒕𝒆𝒓𝒂𝒍.
Solution 2 by Marin Chirciu-Romania
𝟑
𝑼𝒔𝒊𝒏𝒈 𝑯𝒖𝒚𝒈𝒆𝒏′ 𝒔 𝒊𝒏𝒆𝒒𝒖𝒂𝒍𝒊𝒕𝒚: (𝟏 + 𝒙)(𝟏 + 𝒚)(𝟏 + 𝒛) ≥ (𝟏 + 𝟑√𝒙𝒚𝒛) ; (∀)𝒙, 𝒚, 𝒛 ≥ 𝟎,
𝒘𝒆 𝒈𝒆𝒕:
𝟑
(𝟏) 𝟑
𝑨 𝑯𝒖𝒚𝒈𝒆𝒏𝒔 𝟑 𝑨 𝟑 𝒔
𝑳𝑯𝑺 = ∏ (𝟏 + 𝐜𝐨𝐭 ) ≥ (𝟏 + √∏ 𝐜𝐨𝐭 ) = (𝟏 + √ ) ≥
𝟐 𝟐 𝒓
𝒄𝒚𝒄 𝒄𝒚𝒄
𝟐𝒓 𝟑
≥ (𝟏 + √𝟑 ⋅ ) = 𝑹𝑯𝑺,
𝑹
𝟑
𝒔𝟑 𝟐𝒓 𝟑 𝒔 𝟐𝒓 𝟑
𝒘𝒉𝒆𝒓𝒆 (𝟏) ⇔ (𝟏 + √ ) ≥ (𝟏 + √𝟑 ⋅ ) ⇔ ≥ 𝟑√𝟑 ( )
𝒓 𝑹 𝒓 𝑹
𝑹−𝒓
𝟗√𝟐𝒓 ≤ ∑ √𝒓𝟐𝒂 + 𝒓𝟐𝒃 ≤ (𝟒𝑹 + 𝒓)√𝟔 ( )
𝑹+𝒓
𝒄𝒚𝒄
𝑪𝑩𝑺 𝑹−𝒓
∑ √𝒓𝟐𝒂 + 𝒓𝟐𝒃 ≤ √𝟑 ∑(𝒓𝟐𝒂 + 𝒓𝟐𝒃 ) = √𝟔 ∑ 𝒓𝟐𝒂 ≤ √𝟔(𝟒𝑹 + 𝒓)𝟐 ( )=
𝑹+𝒓
𝒄𝒚𝒄 𝒄𝒚𝒄 𝒄𝒚𝒄
𝑹−𝒓
= (𝟒𝑹 + 𝒓)√𝟔 ( ) , 𝒘𝒉𝒆𝒓𝒆 𝒘𝒆 𝒖𝒔𝒆𝒅
𝑹+𝒓
𝟐𝒓 𝑹−𝒓
= (𝟒𝑹 + 𝒓)𝟐 (𝟏 − ) = (𝟒𝑹 + 𝒓)𝟐 ( )
𝑹+𝒓 𝑹+𝒓
𝑻𝒉𝒆𝒓𝒆𝒇𝒐𝒓𝒆,
𝟏 𝒙 𝒙 𝒙
𝛀 = 𝐥𝐢𝐦 (𝐥𝐢𝐦 (𝒇(𝒙) + 𝒇 ( ) + 𝒇 ( ) + ⋯ + 𝒇 ( )) − 𝐥𝐨𝐠 𝒏) =
𝒏→∞ 𝒙→𝟎 𝒙 𝟐 𝟑 𝒏
𝟏 𝟏 𝟏
= 𝐥𝐢𝐦 (𝟏 + + + ⋯ + − 𝐥𝐨𝐠 𝒏) = 𝑪 = 𝟎𝟓𝟕𝟕𝟐 …
𝒏→∞ 𝟐 𝟑 𝒏
SP.497 Let 𝑫 𝑨𝑩𝑪 be a triangle with circumradius 𝑹. Let 𝒓𝒂 , 𝒓𝒃 , 𝒓𝒄 be the
exradii. Prove that:
𝒓𝟒𝒂 𝒓𝟒𝒃 𝒓𝟒𝒄 𝟖𝟏√𝟑 𝟒
+ + ≥ 𝑹
𝐬𝐢𝐧(𝟐𝑨) 𝐬𝐢𝐧(𝟐𝑩) 𝐬𝐢𝐧(𝟐𝑪) 𝟖
Proposed by George Apostolopoulos-Greece
Solution 1 by proposer
It is well known that:
𝑨 𝑩 𝑪 𝑩 𝑪 𝑨
𝒓𝒂 = 𝟒𝑹 𝐬𝐢𝐧 𝐜𝐨𝐬 𝐜𝐨𝐬 , 𝒓𝒃 = 𝟒𝑹 𝐬𝐢𝐧 𝐜𝐨𝐬 𝐜𝐨𝐬 𝐚𝐧𝐝
𝟐 𝟐 𝟐 𝟐 𝟐 𝟐
𝑪 𝑩 𝑨
𝒓𝒄 = 𝟒𝑹 𝐬𝐢𝐧 𝐜𝐨𝐬 𝐜𝐨𝐬 , 𝐭𝐡𝐞𝐧 𝐮𝐬𝐢𝐧𝐠 𝐂𝐁𝐒:
𝟐 𝟐 𝟐
𝒓𝟒𝒂 𝒓𝟒𝒃 𝒓𝟒𝒄
+ + ≥
𝐬𝐢𝐧(𝟐𝑨) 𝐬𝐢𝐧(𝟐𝑩) 𝐬𝐢𝐧(𝟐𝑪)
𝟐
(𝒓𝟐𝒂 + 𝒓𝟐𝒃 + 𝒓𝟐𝒄 )
≥ ; (∗)
𝐬𝐢𝐧(𝟐𝑨) + 𝐬𝐢𝐧(𝟐𝑩) + 𝐬𝐢𝐧(𝟐𝑪)
We’ll prove that:
𝟐𝟕 𝟐
𝒓𝟐𝒂 + 𝒓𝟐𝒃 + 𝒓𝟐𝒄 ≥ 𝑹
𝟒
𝑨 𝑩 𝑪
𝐖𝐞 𝐡𝐚𝐯𝐞: 𝒓𝟐𝒂 + 𝒓𝟐𝒃 + 𝒓𝟐𝒄 = 𝟏𝟔𝑹𝟐 ∑ 𝐬𝐢𝐧𝟐 𝐜𝐨𝐬𝟐 𝐜𝐨𝐬𝟐 =
𝟐 𝟐 𝟐
𝒄𝒚𝒄
We know that:
𝑹+𝒓
𝐜𝐨𝐬 𝑨 + 𝐜𝐨𝐬 𝑩 + 𝐜𝐨𝐬 𝑪 =
𝒓
𝒔𝟐 + 𝒓𝟐 − 𝟒𝑹𝟐
∑ 𝐜𝐨𝐬 𝑨 𝐜𝐨𝐬 𝑩 =
𝟒𝑹𝟐
𝒄𝒚𝒄
𝒔𝟐 − (𝟐𝑹 + 𝒓)𝟐
𝐜𝐨𝐬 𝑨 𝐜𝐨𝐬 𝑩 𝐜𝐨𝐬 𝑪 =
𝟒𝑹𝟐
𝑹 + 𝒓 𝒔𝟐 + 𝒓𝟐 − 𝟒𝑹𝟐 𝒔𝟐 − (𝟐𝑹 + 𝒓)𝟐
𝐒𝐨: 𝒓𝟐𝒂 + 𝒓𝟐𝒃 + 𝒓𝟐𝒄 𝟐
= 𝟐𝑹 (𝟑 + − −𝟑∙ )=
𝑹 𝟒𝑹𝟐 𝟒𝑹𝟐
= (𝟒𝑹 + 𝒓)𝟐 − 𝟐𝒔𝟐
Using Gerretsen’s inequality, we get:
𝒓𝟐𝒂 + 𝒓𝟐𝒃 + 𝒓𝟐𝒄 ≥ 𝟖𝑹𝟐 − 𝟓𝒓𝟐
𝑹 𝟐𝟕𝑹𝟐
But 𝑹 ≥ 𝟐𝒓(𝑬𝒖𝒍𝒆𝒓) ⇔ 𝒓 ≤ 𝟐 , namely 𝒓𝟐𝒂 + 𝒓𝟐𝒃 + 𝒓𝟐𝒄 ≥ 𝟒
𝟏 + 𝒊√𝟑 𝟏 − 𝒊√𝟑
= 𝐝𝐞𝐭 (𝑨 + 𝑩) ∙ 𝐝𝐞𝐭 (𝑨 + 𝑩) = 𝐝𝐞𝐭(𝑨 − 𝜺𝑩) ∙ 𝐝𝐞𝐭(𝑨 + 𝜺𝑩) =
𝟐 𝟐
= 𝐝𝐞𝐭(𝑨 − 𝜺𝑩) ∙ 𝐝𝐞𝐭(𝑨 − 𝜺̅𝑩) = 𝐝𝐞𝐭(𝑨 − 𝜺𝑩) ∙ ̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
𝐝𝐞𝐭(𝑨 + 𝜺𝑩) = |𝐝𝐞𝐭(𝑨 − 𝜺𝑩)|𝟐 = 𝟎
𝐝𝐞𝐭(𝑨 − 𝜺𝑩) = 𝟎
It is known that (∀)𝑨, 𝑩 ∈ 𝑴𝟑 (ℂ) and (∀)𝒙 ∈ ℂ:
𝐝𝐞𝐭(𝑨 + 𝑩) + 𝐝𝐞𝐭(𝑨 − 𝑩) − 𝟐 𝐝𝐞𝐭 𝑨 𝟐
𝐝𝐞𝐭(𝑨 + 𝒙𝑩) = 𝒙𝟑 𝐝𝐞𝐭(𝑩) + 𝒙
𝟐
𝐝𝐞𝐭(𝑨 + 𝑩) − 𝐝𝐞𝐭(𝑨 − 𝑩) − 𝟐 𝐝𝐞𝐭 𝑩
+ 𝒙 + 𝐝𝐞𝐭 𝑨
𝟐
Then, 𝐝𝐞𝐭(𝑨 − 𝜺𝑩) = 𝟎 ⇔
𝐝𝐞𝐭(𝑨 + 𝑩) + 𝐝𝐞𝐭(𝑨 − 𝑩) − 𝟐 𝐝𝐞𝐭 𝑨
− 𝐝𝐞𝐭(𝑩) + 𝜺̅
𝟐
𝐝𝐞𝐭(𝑨 + 𝑩) − 𝐝𝐞𝐭(𝑨 − 𝑩) − 𝟐 𝐝𝐞𝐭 𝑩
− 𝜺 + 𝐝𝐞𝐭 𝑨 = 𝟎
𝟐
𝐝𝐞𝐭(𝑨 + 𝑩) + 𝐝𝐞𝐭(𝑨 − 𝑩) − 𝟐 𝐝𝐞𝐭 𝑨 𝐝𝐞𝐭(𝑨 + 𝑩) − 𝐝𝐞𝐭(𝑨 − 𝑩) − 𝟐 𝐝𝐞𝐭 𝑩
− 𝐝𝐞𝐭 𝑩 − + + 𝐝𝐞𝐭 𝑨 = 𝟎
𝟒 𝟒
√𝟑 𝐝𝐞𝐭(𝑨 + 𝑩) + 𝐝𝐞𝐭(𝑨 − 𝑩) − 𝟐 𝐝𝐞𝐭 𝑨 √𝟑 𝐝𝐞𝐭(𝑨 + 𝑩) − 𝐝𝐞𝐭(𝑨 − 𝑩) − 𝟐 𝐝𝐞𝐭 𝑩
{ + =𝟎
𝟐 𝟒 𝟐 𝟒
−𝟐 𝐝𝐞𝐭(𝑨 − 𝑩) − 𝟔 𝐝𝐞𝐭 𝑩 + 𝟔 𝐝𝐞𝐭 𝑨 = 𝟎
{
𝟐 𝐝𝐞𝐭(𝑨 + 𝑩) − 𝟐 𝐝𝐞𝐭 𝑨 − 𝟐 𝐝𝐞𝐭 𝑩 = 𝟎
𝐝𝐞𝐭(𝑨 + 𝑩) = 𝐝𝐞𝐭 𝑨 + 𝐝𝐞𝐭 𝑩
{
𝐝𝐞𝐭(𝑨 − 𝑩) = 𝟑 𝐝𝐞𝐭 𝑨 − 𝟑 𝐝𝐞𝐭 𝑩
SP.500 Find:
𝝅
𝟐 𝟑 𝐜𝐨𝐬 𝒙 − 𝟒 𝐬𝐢𝐧 𝒙
𝛀=∫ 𝒅𝒙
𝟎 𝟏𝟐 𝐬𝐢𝐧 𝟐𝒙 + 𝟕 𝐜𝐨𝐬𝟐 𝒙 + 𝟒 𝐜𝐨𝐬 𝒙 + 𝟑 𝐬𝐢𝐧 𝒙 + 𝟗
Proposed by Daniel Sitaru-Romania
Solution 1 by proposers
𝒙 𝒂𝒃𝒙 𝟏 𝒂𝒃𝒙
∑ =∑ = 𝟐
∑ ≥
𝒉𝒂 𝒉𝒃 √𝒚𝒛 𝒂𝒉𝒂 ⋅ 𝒃𝒉𝒃 √𝒚𝒛 𝟒𝑭 √𝒚𝒛
𝒄𝒚𝒄 𝒄𝒚𝒄 𝒄𝒚𝒄
𝟏 𝟑 𝒂𝒃𝒙 𝟏 𝟑 𝑪𝒂𝒓𝒍𝒊𝒛 𝟏 √𝟑
≥ 𝟐
⋅ 𝟑 ⋅ √∏ = 𝟐
⋅ 𝟑 ⋅ √𝒂𝟐 𝒃𝟐 𝒄𝟐 ≥ 𝟐
⋅ 𝟒√𝟑𝑭 =
𝟒𝑭 √𝒚𝒛 𝟒𝑭 𝟒𝑭 𝑭
𝒄𝒚𝒄
𝑩𝒚 𝑨𝑴 − 𝑮𝑴 𝒊𝒏𝒆𝒒𝒖𝒂𝒍𝒊𝒕𝒚, 𝒘𝒆 𝒉𝒂𝒗𝒆 ∶
𝑻𝒉𝒆𝒓𝒆𝒇𝒐𝒓𝒆,
𝑾𝒆 𝒉𝒂𝒗𝒆 ∶
𝟏 𝟏 𝟏 𝟏
(𝟐𝒙𝟐 + 𝟏)(𝟐𝒚𝟐 + 𝟏) = [(𝟐𝒙𝟐 + ) + ] [( + 𝟐𝒚𝟐 ) + ] =
𝟐 𝟐 𝟐 𝟐
𝟏 𝟏 𝟑 𝑪𝑩𝑺 (𝒙 + 𝒚)𝟐 𝟑 𝟑 𝟏
𝟐 𝟐 𝟐 𝟐
= (𝟐𝒙 + ) ( + 𝟐𝒚 ) + 𝒙 + 𝒚 + ≥ ⏞ (𝒙 + 𝒚)𝟐 + + = ((𝒙 + 𝒚)𝟐 + ).
𝟐 𝟐 𝟒 𝟐 𝟒 𝟐 𝟐
𝑻𝒉𝒆𝒓𝒆𝒇𝒐𝒓𝒆,
𝟑 𝟏
(𝟐𝒙𝟐 + 𝟏)(𝟐𝒚𝟐 + 𝟏)(𝟐𝒛𝟐 + 𝟏) ≥ ((𝒙 + 𝒚)𝟐 + ) (𝟏 + 𝟐𝒛𝟐 ) ≥
𝟐 𝟐
𝑪𝑩𝑺
𝟑 𝟑 𝟗
⏞
≥ (𝒙 + 𝒚 + 𝒛)𝟐 ≥ . 𝟑(𝒙𝒚 + 𝒚𝒛 + 𝒛𝒙) = (𝒙𝒚 + 𝒚𝒛 + 𝒛𝒙).
𝟐 𝟐 𝟐
𝟏
𝑬𝒒𝒖𝒂𝒍𝒊𝒕𝒚 𝒉𝒐𝒍𝒅𝒔 𝒊𝒇𝒇 𝒙 = 𝒚 = 𝒛 = .
𝟐
(∑ 𝒙) ≥ 𝟑 ∑ 𝒙𝒚 (𝟏)
𝒄𝒚𝒄 𝒄𝒚𝒄
Proof:
𝟐
𝒙𝟐 + 𝒚𝟐 𝑨𝑴−𝑮𝑴
(∑ 𝒙) = 𝟐 ∑ 𝒙𝒚 + ∑ ⏞ 𝟐 ∑ 𝒙𝒚 + ∑ 𝒙𝒚 = 𝟑 ∑ 𝒙𝒚
≥
𝟐
𝒄𝒚𝒄 𝒄𝒚𝒄 𝒄𝒚𝒄 𝒄𝒚𝒄 𝒄𝒚𝒄 𝒄𝒚𝒄
𝑨𝑴−𝑮𝑴
(𝟐𝒙𝟐 + 𝟏)(𝟐𝒚𝟐 + 𝟏) = 𝟒𝒙𝟐 𝒚𝟐 + 𝟏 + 𝟐(𝒙𝟐 + 𝒚𝟐 ) ≥⏞
≥ 𝟐√𝟒𝒙𝟐 𝒚𝟐 ∙ 𝟏 + 𝟐(𝒙𝟐 + 𝒚𝟐 ) = 𝟐(𝒙 + 𝒚)𝟐
𝒇(𝒙) 𝒆𝟏
√
𝒆
𝟏 𝟏
⇒ 𝒇(𝒙) is strictly decreasing in (𝟎, ) ,and strictly increasing in ( , ∞)
𝒆 𝒆
𝒆 𝟏 𝟏 𝟏 𝒆 𝟏 𝟏 𝒆 𝟏 𝟏
and: 𝒇(𝒙) ≥ √ , ∃𝒙𝟎 = ⇒ 𝒇 ( ) = √ ⇒ 𝒇 ( ) is minimum ⇒ 𝒇(𝒙) = √ ⇔ 𝒙 =
𝒆 𝒆 𝒆 𝒆 𝒆 𝒆 𝒆
𝟏
⇒ Equation has root is: 𝒙 =
𝒆
𝟏 𝟏 𝟏
SP.504 If 𝒙, 𝒚, 𝒛 > 0, + + = 𝟑, then:
𝒙 𝒚 𝒛
𝟒
𝟒 ∑ 𝒙𝟐 + 𝟗 ≥ ∑ (𝟓𝒙 + )
𝒙+𝟏
𝒄𝒚𝒄 𝒄𝒚𝒄
𝟒 𝟏
𝟒 ∑ 𝒙𝟐 + 𝟗 ≥ ∑ (𝟓𝒙 + ) ⇔ 𝟒 ∑ 𝒙𝟐 + 𝟏𝟐 ≥ 𝟑 + 𝟓 ∑ 𝒙 + 𝟒 ∑ ⇔
𝒙+𝟏 𝒙+𝟏
𝒄𝒚𝒄 𝒄𝒚𝒄 𝒄𝒚𝒄 𝒄𝒚𝒄 𝒄𝒚𝒄
𝟏 𝟓 𝟏 𝟏
∑ 𝒙𝟐 + ∑ − ∑ 𝒙 − ∑ − ∑ ≥𝟎
𝒙 𝟒 𝟒 𝒙+𝟏
𝒄𝒚𝒄 𝒄𝒚𝒄 𝒄𝒚𝒄 𝒄𝒚𝒄 𝒄𝒚𝒄
? ?
⇔ 𝟒𝐭 𝟐 − 𝟏𝟓𝐭 + 𝟗 ≥ 𝟎 (𝐭 = ∑ 𝒙) ⇔ (𝟒(𝐭 − 𝟑) + 𝟗)(𝐭 − 𝟑) ≥ 𝟎 → 𝐭𝐫𝐮𝐞
𝐜𝐲𝐜
𝐯𝐢𝒂 (∗) 𝟒
∵ 𝐭 = ∑ 𝒙 ≥ 𝟑 ⇒ (∗∗) 𝐢𝐬 𝐭𝐫𝐮𝐞 ∴ 𝟒 ∑ 𝒙𝟐 + 𝟗 ≥ ∑ (𝟓𝒙 + ) ∀ 𝒙, 𝐲, 𝐳 > 0
𝒙+𝟏
𝐜𝐲𝐜 𝐜𝐲𝐜 𝐜𝐲𝐜
𝟏 𝟏 𝟏
𝐬𝐮𝐜𝐡 𝐭𝐡𝒂𝐭 ∶ + + = 𝟑,′′ =′′ 𝐢𝐟𝐟 𝒙 = 𝐲 = 𝐳 = 𝟏 (𝐐𝐄𝐃)
𝒙 𝐲 𝐳
𝟒 𝟏
𝑩𝒚 𝑨𝑴 − 𝑯𝑴 𝒊𝒏𝒆𝒒𝒖𝒂𝒍𝒊𝒕𝒚, 𝒘𝒆 𝒉𝒂𝒗𝒆 ∶ ≤ + 𝟏 (𝒂𝒏𝒅 𝒂𝒏𝒂𝒍𝒐𝒈𝒔)
𝒙+𝟏 𝒙
𝟒 𝟏
𝑻𝒉𝒆𝒏 ∶ ∑ ≤ ∑ ( + 𝟏) = 𝟑 + 𝟑 = 𝟔 (𝟐)
𝒙+𝟏 𝒙
𝒄𝒚𝒄 𝒄𝒚𝒄
𝟒
∑ 𝒙𝟐 + 𝟗 ≥ ∑ (𝟓𝒙 + ) , 𝒂𝒔 𝒅𝒆𝒔𝒊𝒓𝒆𝒅.
𝒙+𝟏
𝒄𝒚𝒄 𝒄𝒚𝒄
𝟏 𝟏 𝟏
SP.505 If 𝒙, 𝒚, 𝒛 > 0, + + = 𝟑, then:
√𝒙 √𝒚 √𝒛
𝒙𝟐 √𝒙 + 𝒚𝟐 √𝒚 + 𝒛𝟐 √𝒛 ≥ 𝒙𝟐 + 𝒚𝟐 + 𝒛𝟐
Proposed by Daniel Sitaru-Romania
Solution 1 by proposer
𝒙𝟐 √𝒙 + 𝒚𝟐 √𝒚 + 𝒛𝟐 √𝒛 ≥ 𝒙𝟐 + 𝒚𝟐 + 𝒛𝟐 ⇔ ∑ 𝒙𝟐 √𝒙 + 𝟑 ≥ ∑ 𝒙𝟐 + 𝟑 ⇔
𝒄𝒚𝒄 𝒄𝒚𝒄
𝟏 𝟏
∑ 𝒙𝟐 √𝒙 + ∑ ≥ ∑(𝒙𝟐 + 𝟏) ⇔ ∑ (𝒙𝟐 √𝒙 + − 𝒙𝟐 − 𝟏) ≥ 𝟎 ⇔
𝒄𝒚𝒄 𝒄𝒚𝒄
√𝒙 𝒄𝒚𝒄 𝒄𝒚𝒄
√𝒙
𝒙𝟑 + 𝟏
∑( − 𝒙𝟐 − 𝟏) ≥ 𝟎
𝒄𝒚𝒄
√𝒙
𝟏 𝟏 𝟏
𝒙𝟐 √𝒙 ≥ 𝒚𝟐 √𝒚 ≥ 𝒛𝟐 √𝒛 𝒂𝒏𝒅 ≤ ≤ .
√𝒙 √𝒚 √𝒛
𝟏 𝟏 𝟏
𝒙𝟐 + 𝒚𝟐 + 𝒛𝟐 = 𝒙𝟐 √𝒙. + 𝒚𝟐 √𝒚. + 𝒛𝟐 √𝒛.
√𝒙 √𝒚 √𝒛
𝟏 𝟐 𝟏 𝟏 𝟏
≤ (𝒙 √𝒙 + 𝒚𝟐 √𝒚 + 𝒛𝟐 √𝒛) ( + + )
𝟑 √𝒙 √𝒚 √𝒛
= 𝒙𝟐 √𝒙 + 𝒚𝟐 √𝒚 + 𝒛𝟐 √𝒛.
𝑾𝒊𝒕𝒉 𝒕𝒉𝒆 𝒔𝒖𝒃𝒔𝒕𝒊𝒕𝒖𝒕𝒊𝒐𝒏 (√𝒙, √𝒚, √𝒛) = (𝒂, 𝒃, 𝒄), 𝒕𝒉𝒆𝒏 𝒑𝒓𝒐𝒃𝒍𝒆𝒎 𝒄𝒂𝒏 𝒃𝒆 𝒘𝒓𝒊𝒕𝒆:
𝑰𝒇 𝒂, 𝒃, 𝒄 > 0, 𝑡ℎ𝑒𝑛 𝒂𝟓 + 𝒃𝟓 + 𝒄𝟓 ≥ 𝒂𝟒 + 𝒃𝟒 + 𝒄𝟒
𝟏 𝟏 𝟏 𝟑 𝟏
𝑼𝒔𝒆 𝑨𝑴 − 𝑮𝑴 𝒊𝒏𝒆𝒒𝒖𝒂𝒍𝒊𝒕𝒚, 𝒘𝒆 𝒉𝒂𝒗𝒆: 𝟑 = + + ≥ 𝟑√ ⇒ 𝒂𝒃𝒄 ≥ 𝟏
𝒂 𝒃 𝒄 𝒂𝒃𝒄
𝑪𝒉𝒆𝒃𝒚𝒔𝒉𝒆𝒗 𝟏 𝑨𝑴−𝑮𝑴 𝟑 𝒂𝒃𝒄≥𝟏
∑ 𝒂𝟓 = ∑ 𝒂 ⋅ 𝒂𝟒 ≥ (∑ 𝒂) (∑ 𝒂𝟒 ) ≥ √𝒂𝒃𝒄 ⋅ ∑ 𝒂𝟒 ≥ ∑ 𝒂𝟒
𝟑
𝒄𝒚𝒄 𝒄𝒚𝒄 𝒄𝒚𝒄 𝒄𝒚𝒄 𝒄𝒚𝒄 𝒄𝒚𝒄
𝑬𝒒𝒖𝒂𝒍𝒊𝒕𝒚 𝒉𝒐𝒍𝒅𝒔 𝒇𝒐𝒓 𝒂 = 𝒃 = 𝒄 = 𝟏 ⇔ 𝒙 = 𝒚 = 𝒛 = 𝟏.
𝑹𝒆𝒎𝒂𝒓𝒌. 𝑻𝒉𝒆 𝒑𝒓𝒐𝒃𝒍𝒆𝒎 𝒄𝒂𝒏 𝒃𝒆 𝒅𝒆𝒗𝒆𝒍𝒐𝒑𝒆𝒅.
𝟏 𝟏 𝟏
𝑰𝒇 𝒙, 𝒚, 𝒛 > 0, + + = 𝟑 𝒂𝒏𝒅 𝒏 ∈ ℕ, 𝒕𝒉𝒆𝒏:
√𝒙 √𝒚 √𝒛
𝒙𝒏 √𝒙 + 𝒚𝒏 √𝒚 + 𝒛𝒏 √𝒛 ≥ 𝒙𝒏 + 𝒚𝒏 + 𝒛𝒏
𝑷𝒓𝒐𝒑𝒐𝒔𝒆𝒅 𝒃𝒚 𝑴𝒂𝒓𝒊𝒏 𝑪𝒉𝒊𝒓𝒄𝒊𝒖 − 𝑹𝒐𝒎𝒂𝒏𝒊𝒂
𝑺𝒐𝒍𝒖𝒕𝒊𝒐𝒏.
𝑭𝒐𝒓 𝒏 = 𝟎, 𝒊𝒏𝒆𝒒𝒖𝒂𝒍𝒊𝒕𝒚 𝒄𝒂𝒏 𝒃𝒆 𝒘𝒓𝒊𝒕𝒆: √𝒙 + √𝒚 + √𝒛 ≥ 𝟑, 𝒘𝒉𝒊𝒄𝒉 𝒂𝒔 𝒇𝒐𝒍𝒍𝒐𝒘𝒔 𝒇𝒓𝒐𝒎
𝟏 𝟏
(∑ √𝒙) (∑ ) ≥ 𝟎 𝒂𝒏𝒅 𝒇𝒓𝒐𝒎 ∑ =𝟑
𝒄𝒚𝒄 𝒄𝒚𝒄
√𝒙 𝒄𝒚𝒄
√𝒙
𝑳𝒆𝒕 𝒃𝒆 𝒏 ≥ 𝟏. 𝑾𝒊𝒕𝒉 𝒕𝒉𝒆 𝒔𝒖𝒃𝒔𝒕𝒊𝒕𝒖𝒕𝒊𝒐𝒏 (√𝒙, √𝒚, √𝒛)
= (𝒂, 𝒃, 𝒄), 𝒕𝒉𝒆 𝒑𝒓𝒐𝒃𝒍𝒆𝒎 𝒄𝒂𝒏 𝒃𝒆 𝒘𝒓𝒊𝒕𝒕𝒆𝒏 𝒂𝒔:
𝟏 𝟏 𝟏 𝟏 𝟏
∑ ( + ) 𝒓𝒄 ≥ 𝟐√(𝒓𝒂 𝒓𝒃 + 𝒓𝒃 𝒓𝒄 + 𝒓𝒄 𝒓𝒂 ) ( + + ); (𝟐)
𝒂 𝒃 𝒂𝒃 𝒃𝒄 𝒄𝒂
𝒄𝒚𝒄
𝟏 𝟏 𝟏 𝟏
𝒓𝒂 𝒓𝒃 + 𝒓𝒃 𝒓𝒄 + 𝒓𝒄 𝒓𝒂 = 𝒔𝟐 𝒂𝒏𝒅 + + = ; (𝟑)
𝒂𝒃 𝒃𝒄 𝒄𝒂 𝟐𝑹𝒓
𝑭𝒓𝒐𝒎 (𝟐) 𝒂𝒏𝒅 (𝟑) 𝒊𝒕 𝒇𝒐𝒍𝒍𝒐𝒘𝒔 𝒕𝒉𝒂𝒕:
𝟏 𝟏 𝒔𝟐 𝟐𝒔 𝒂 + 𝒃 + 𝒄
∑ ( + ) 𝒓 𝒄 ≥ 𝟐√ 𝟐 = =
𝒂 𝒃 𝑹 𝑹 𝑹
𝒄𝒚𝒄
𝑭 𝟒𝑹𝒓𝒔𝟐 𝒔 𝑬𝒖𝒍𝒆𝒓 𝟐𝒔 𝒂 + 𝒃 + 𝒄
= ⋅ = ≥ = = 𝑹𝑯𝑺, 𝒘𝒉𝒆𝒓𝒆
𝟒𝑹𝑭 𝒓𝟐 𝒔 𝒓 𝑹 𝑹
∑ 𝒂(𝒃 + 𝒄)(𝒔 − 𝒃)(𝒔 − 𝒄) = 𝟒𝑹𝒓𝒔𝟐
𝒄𝒚𝒄
𝟏 𝒂−𝐬+𝐬 𝟏 𝐬𝟐
= (𝐬. ∑ + ∑ 𝒂) = (−𝟑𝐬 + 𝟐 ∑(𝐬 − 𝐛)(𝐬 − 𝐜) + 𝟐𝐬)
𝟒𝐑 𝐬−𝒂 𝟒𝐑 𝐫 𝐬
𝐜𝐲𝐜 𝐜𝐲𝐜 𝐜𝐲𝐜
𝐬 𝟒𝐑 + 𝐫 𝐬 𝐄𝐮𝐥𝐞𝐫 𝟐𝐬 𝒂 + 𝐛 + 𝐜
( = − 𝟏) = ≥ =
𝟒𝐑 𝐫 𝐫 𝐑 𝐑
𝒂+𝐛 𝒂+𝐛+𝐜
∴ 𝐢𝐧 𝒂𝐧𝐲 ∆ 𝐀𝐁𝐂, ∑ . 𝐫𝐜 ≥ ,"=" 𝐢𝐟𝐟 ∆ 𝐀𝐁𝐂 𝐢𝐬 𝐞𝐪𝐮𝐢𝒍𝒂𝐭𝐞𝐫𝒂𝒍 (𝐐𝐄𝐃)
𝒂𝐛 𝐑
𝐜𝐲𝐜
𝒉𝒂 ≤√𝒓𝒃 𝒓𝒄
𝟏 𝟏 𝒂+𝒃+𝒄 𝒂+𝒃+𝒄 𝒂+𝒃+𝒄
≥ 𝟒𝑭 ∑ 𝟐
≥ 𝟒𝑭 ⋅ ∑ = 𝟒𝑭 ⋅ = 𝟒𝑭 ⋅ =
𝒂 𝒂𝒃 𝒂𝒃𝒄 𝟒𝑹𝑭 𝑹
𝒄𝒚𝒄 𝒄𝒚𝒄
For 𝒌 = 𝟏, inequality is obviously true from lemma, and for 𝒌 = 𝟎 we obtain equality 𝒏 =
𝒏.
Equality holds if and only of 𝒌 = 𝟎.
Solution 1 by proposer
𝑾𝒆 𝒌𝒏𝒐𝒘 𝒕𝒉𝒂𝒕: 𝐜𝐨𝐭 𝑨 𝐜𝐨𝐭 𝑩 + 𝐜𝐨𝐭 𝑩 𝐜𝐨𝐭 𝑪 + 𝐜𝐨𝐭 𝑪 𝐜𝐨𝐭 𝑨 = 𝟏.
𝑺𝒆𝒕𝒕𝒊𝒏𝒈: 𝒙 = √𝟑 𝐜𝐨𝐭 𝑨 , 𝒚 = √𝟑 𝐜𝐨𝐭 𝑩 , 𝒛 = √𝟑 𝐜𝐨𝐭 𝑪 , 𝒘𝒆 𝒉𝒂𝒗𝒆 𝒙𝒚 + 𝒚𝒛 + 𝒛𝒙 = 𝟑.
𝑼𝒔𝒊𝒏𝒈 𝒕𝒉𝒆 𝑯𝒐𝒍𝒅𝒆𝒓′ 𝒔 𝒊𝒏𝒆𝒒𝒖𝒂𝒍𝒊𝒕𝒚, 𝒘𝒆 𝒉𝒂𝒗𝒆:
(𝟗𝒙𝟑 + 𝟔)(𝟗𝒚𝟑 + 𝟔)(𝟗𝒛𝟑 + 𝟔) =
= (𝟒𝒙𝟑 + 𝟒𝒙𝟑 + 𝟒 + 𝒙𝟑 + 𝟏 + 𝟏)(𝟒𝒚𝟑 + 𝟒 + 𝟒𝒚𝟑 + 𝟏𝒚𝟑 + 𝟏)(𝟒 + 𝟒𝒛𝟑 + 𝟒𝒛𝟑 + 𝟏 + 𝟏 + 𝒛𝟑 ) ≥
≥ (𝟒𝒙𝒚 + 𝟒𝒛𝒙 + 𝟒𝒚𝒛 + 𝒙 + 𝒚 + 𝒛)𝟑 = (𝟏𝟐 + 𝒙 + 𝒚 + 𝒛)𝟑 ≥
𝟐𝟕 𝐜𝐨𝐭 𝒙 . 𝐜𝐨𝐬𝐞𝐜 𝟐 𝒙
=− 𝟐
(𝟐𝟕𝐦𝟑 − 𝟐𝟕𝐦𝟓 − 𝟒√𝟑(𝟏 + 𝟐𝐦𝟐 )) (𝐦 = 𝐜𝐨𝐭 𝒙)
(𝟗√𝟑 𝐜𝐨𝐭 𝟑 𝒙 + 𝟐)
𝟐𝟕 𝐜𝐨𝐭 𝒙 . 𝐜𝐨𝐬𝐞𝐜 𝟐 𝒙
= 𝟐
(𝟐𝟕𝐦𝟓 − 𝟐𝟕𝐦𝟑 + 𝟒√𝟑(𝟏 + 𝟐𝐦𝟐 ))
𝟑
(𝟗√𝟑 𝐜𝐨𝐭 𝒙 + 𝟐)
(∗∗) 𝟐𝟕 𝐜𝐨𝐭 𝒙 . 𝐜𝐨𝐬𝐞𝐜 𝟐 𝒙
⇒ 𝐟 ′′(𝒙) = 𝟐
(𝟒√𝟑 + 𝐦𝟐 (𝟐𝟕𝐦𝟑 + 𝟖√𝟑 − 𝟐𝟕𝐦))
(𝟗√𝟑 𝐜𝐨𝐭 𝟑 𝒙 + 𝟐)
𝐀−𝐆 𝟑
𝐍𝐨𝐰, 𝟐𝟕𝐦𝟑 + 𝟖√𝟑 = 𝟐𝟕𝐦𝟑 + 𝟒√𝟑 + 𝟒√𝟑 ≥ 𝟑 √𝟐𝟕𝐦𝟑 . 𝟒√𝟑. 𝟒√𝟑
𝟑 ? 𝟑 ? ?
= 𝟏𝟖 √𝟔𝐦 > 𝟐𝟕𝐦 ⇔ 𝟐. √𝟔 > 𝟑 ⇔ 𝟖. 𝟔 > 𝟐𝟕 → 𝐭𝐫𝐮𝐞 ⇒ 𝟐𝟕𝐦𝟑 + 𝟖√𝟑 − 𝟐𝟕𝐦 > 0
𝐯𝐢𝒂 (∗∗) 𝛑
⇒ 𝐟 ′′(𝒙) > 0 ⇒ 𝐟(𝒙) = 𝒍𝒏(𝟗√𝟑 𝐜𝐨𝐭 𝟑 𝒙 + 𝟐) 𝐢𝐬 𝐜𝐨𝐧𝐯𝐞𝒙 𝐨𝐧 (𝟎, )
𝟐
𝐉𝐞𝐧𝐬𝐞𝐧 𝛑 𝟗√𝟑
⇒ ∑ 𝒍𝒏(𝟗√𝟑 𝐜𝐨𝐭 𝟑 𝐀 + 𝟐) ≥ 𝟑𝒍𝒏 (𝟗√𝟑 𝐜𝐨𝐭 𝟑 + 𝟐) = 𝟑𝒍𝒏 ( + 𝟐) = 𝟑𝒍𝒏𝟓
𝟑 𝟑√𝟑
𝐜𝐲𝐜
⇒ (∗) 𝐢𝐬 𝐭𝐫𝐮𝐞 ∴ 𝐢𝐧 𝒂𝐜𝐮𝐭𝐞 ∆ 𝐀𝐁𝐂, (𝟗√𝟑 𝐜𝐨𝐭 𝟑 𝐀 + 𝟐)(𝟗√𝟑 𝐜𝐨𝐭 𝟑 𝐁 + 𝟐)(𝟗√𝟑 𝐜𝐨𝐭 𝟑 𝐂 + 𝟐)
≥ 𝟏𝟐𝟓,′′ =′′ 𝐢𝐟𝐟 ∆ 𝐀𝐁𝐂 𝐢𝐬 𝐞𝐪𝐮𝐢𝒍𝒂𝐭𝐞𝐫𝒂𝒍 (𝐐𝐄𝐃)
𝑺𝒊𝒏𝒄𝒆 𝑨𝑩𝑪 𝒊𝒔 𝒂𝒏 𝒂𝒄𝒖𝒕𝒆 𝒕𝒓𝒊𝒂𝒏𝒈𝒍𝒆, 𝒕𝒉𝒆𝒏 𝒘𝒆 𝒉𝒂𝒗𝒆 ∶ 𝐜𝐨𝐭 𝑨 , 𝐜𝐨𝐭 𝑩 , 𝐜𝐨𝐭 𝑪 > 0.
𝟗 𝟏𝟑 𝟗 𝟏 𝟑
= [ (𝐜𝐨𝐭 𝑨 𝐜𝐨𝐭 𝑩 + 𝐜𝐨𝐭 𝑩 𝐜𝐨𝐭 𝑪 + 𝐜𝐨𝐭 𝑪 𝐜𝐨𝐭 𝑨) + ] = ( . 𝟏 + ) = 𝟏𝟐𝟓.
𝟐 𝟐 𝟐 𝟐
𝑻𝒉𝒆𝒓𝒆𝒇𝒐𝒓𝒆,
𝟐𝑹 𝟏 𝟐𝑹
𝐦𝐚𝐱 𝑴 ≥ ≥ 𝐦𝐢𝐧 𝑴
𝒓 𝐬𝐢𝐧𝟐 𝝎 𝒓
Proposed by Vasile Jiglău-Romania
Solution 1 by proposer
𝒎𝒂 𝒃𝟐 + 𝒄𝟐
𝑺𝒊𝒏𝒄𝒆: = 𝒂𝒏𝒅 𝒂𝒏𝒂𝒍𝒐𝒈𝒔,
𝒔𝒂 𝟐𝒃𝒄
𝒕𝒉𝒆 𝒊𝒏𝒆𝒒𝒖𝒂𝒍𝒊𝒕𝒚 𝒇𝒓𝒐𝒎 𝒆𝒏𝒖𝒄𝒊𝒂𝒄𝒊𝒐𝒏 𝒊𝒔 𝒆𝒒𝒖𝒊𝒗𝒂𝒍𝒆𝒏𝒕 𝒕𝒐:
𝑹 𝟏 𝑹 𝒂 𝒃 𝒃 𝒃 𝒄 𝒂
𝐦𝐚𝐱 𝑴′ ≥ 𝟐
≥ 𝐦𝐢𝐧 𝑴′ , 𝒘𝒉𝒆𝒓𝒆 𝑴′ = { + , + , + }
𝒓 𝐬𝐢𝐧 𝝎 𝒓 𝒃 𝒂 𝒄 𝒄 𝒂 𝒄
𝒂) 𝑺𝒖𝒑𝒑𝒐𝒔𝒆 𝒕𝒉𝒆𝒕 𝒕𝒉𝒆 𝒔𝒊𝒅𝒆𝒔 𝒐𝒇 𝒕𝒉𝒆 𝒕𝒓𝒊𝒂𝒏𝒈𝒍𝒆 𝒗𝒆𝒓𝒊𝒇𝒚: 𝒄 ≥ 𝒃 ≥ 𝒂; (𝟏). 𝑾𝒆 𝒉𝒂𝒗𝒆:
𝒄 𝒂 𝒂 𝒃
+ ≥ + ⇔ 𝒃𝒄𝟐 + 𝒂𝟐 𝒃 ≥ 𝒂𝟐 𝒄 + 𝒄𝒃𝟐 ⇔
𝒂 𝒄 𝒃 𝒂
(𝒃𝒄 − 𝒂𝟐 )(𝒄 − 𝒃) ≥ 𝟎, 𝒂𝒏𝒅 𝒊𝒏 𝒂 𝒔𝒊𝒎𝒊𝒍𝒂𝒓 𝒘𝒂𝒚:
𝒄 𝒂 𝒃 𝒄 𝒂 𝒄
+ ≥ + . 𝑾𝒆 𝒄𝒐𝒏𝒄𝒍𝒖𝒅𝒆 𝒕𝒉𝒂𝒕, 𝒖𝒏𝒅𝒆𝒓 𝒉𝒚𝒑𝒐𝒕𝒉𝒆𝒔𝒊𝒔 (𝟏), 𝐦𝐚𝐱 𝑴 = + .
𝒂 𝒄 𝒄 𝒃 𝒄 𝒂
𝑹 𝒂 𝒄 𝟏 𝑹 𝒂𝒃𝒄𝒔 𝟏 √∑𝒂𝟐 𝒃𝟐
𝑾𝒆 𝒉𝒂𝒗𝒆 𝒕𝒐 𝒑𝒓𝒐𝒗𝒆 𝒕𝒉𝒂𝒕: ( + )≥ . 𝑾𝒊𝒕𝒉 = , = ,
𝒓 𝒄 𝒂 𝐬𝐢𝐧𝟐 𝝎 𝒓 𝟒𝑭𝟐 𝐬𝐢𝐧 𝝎 𝟐𝑭
𝒕𝒉𝒖𝒔 𝒊𝒏𝒆𝒒𝒖𝒂𝒍𝒊𝒕𝒚 𝒃𝒆𝒄𝒐𝒎𝒆𝒔 𝒆𝒒𝒖𝒊𝒗𝒂𝒍𝒆𝒏𝒕 𝒕𝒐:
𝒂𝒃𝒄𝒔 𝒂𝟐 + 𝒄𝟐 𝒂𝟐 𝒃𝟐 + 𝒃𝟐 𝒄𝟐 + 𝒄𝟐 𝒂𝟐
⋅ ≥ ⇔
𝟒𝑭𝟐 𝒂𝒄 𝟒𝑭𝟐
𝒃(𝒂 + 𝒃 + 𝒄)(𝒂𝟐 + 𝒄𝟐 ) ≥ 𝟐(𝒂𝟐 𝒃𝟐 + 𝒃𝟐 𝒄𝟐 + 𝒄𝟐 𝒂𝟐 ) ⇔
(𝒃 − 𝒂)(𝒂 + 𝒄 − 𝒃)[𝒄(𝒄 − 𝒂) + 𝒂(𝒄 − 𝒃)] + 𝒂(𝒄 − 𝒃)[𝒃(𝒃 − 𝒂) + 𝒄(𝒄 − 𝒂)] ≥ 𝟎,
𝒘𝒉𝒊𝒄𝒉 𝒊𝒔 𝒕𝒓𝒖𝒆 𝒇𝒓𝒐𝒎 (𝟏)
𝟏 𝑹 𝒂 𝒃
𝒃) 𝑨𝒔 𝒂𝒃𝒐𝒗𝒆, 𝟐
≥ ( + )⇔
𝐬𝐢𝐧 𝝎 𝒓 𝒃 𝒂
𝒇(𝒂, 𝒃, 𝒄) = 𝟐(𝒂𝟐 𝒃𝟐 + 𝒃𝟐 𝒄𝟐 + 𝒄𝟐 𝒂𝟐 ) − 𝒄(𝒂 + 𝒃 + 𝒄)(𝒂𝟐 + 𝒃𝟐 ) ≥ 𝟎; (𝟐)
𝒎𝒂 𝒃𝟐 + 𝒄𝟐
𝑾𝒆 𝒉𝒂𝒗𝒆 ∶ = (𝒂𝒏𝒅 𝒂𝒏𝒂𝒍𝒐𝒈𝒔)
𝒔𝒂 𝟐𝒃𝒄
𝒃𝟐 + 𝒄𝟐
𝑻𝒉𝒆𝒏 ∶ 𝒎𝟏 ≥ ≥ 𝒎𝟐 𝒐𝒓 𝟐𝒃𝒄𝒎𝟏 ≥ 𝒃𝟐 + 𝒄𝟐 ≥ 𝟐𝒃𝒄𝒎𝟐 (𝒂𝒏𝒅 𝒂𝒏𝒂𝒍𝒐𝒈𝒔)
𝟐𝒃𝒄
𝟏 𝒂𝟐 𝒃𝟐 + 𝒃𝟐 𝒄𝟐 + 𝒄𝟐 𝒂𝟐 𝟏
𝑨𝒏𝒅 𝒔𝒊𝒏𝒄𝒆 ∶ = = ∑ 𝒂𝟐 (𝒃𝟐 + 𝒄𝟐 ) , 𝒕𝒉𝒆𝒏 ∶
𝐬𝐢𝐧𝟐 𝝎 𝟒𝑭𝟐 𝟖𝑭𝟐
𝒄𝒚𝒄
𝟏 𝟏 𝟏
𝟐
∑ 𝒂𝟐 . 𝟐𝒃𝒄𝒎𝟏 ≥ ≥ ∑ 𝒂𝟐 . 𝟐𝒃𝒄𝒎𝟐 .
𝟖𝑭 𝐬𝐢𝐧 𝝎 𝟖𝑭𝟐
𝟐
𝒄𝒚𝒄 𝒄𝒚𝒄
𝟐
𝟖𝑹𝑭𝟐
𝑨𝒏𝒅 𝒔𝒊𝒏𝒄𝒆 ∶ ∑ 𝒂 𝒃𝒄 = 𝒂𝒃𝒄(𝒂 + 𝒃 + 𝒄) = 𝟒𝑹𝑭. 𝟐𝒔 = , 𝒕𝒉𝒆𝒏 ∶
𝒓
𝒄𝒚𝒄
𝟐𝑹 𝟏 𝟐𝑹
𝒎𝒂𝒙𝑴 ≥ 𝟐
≥ 𝒎𝒊𝒏𝑴, 𝒂𝒔 𝒅𝒆𝒔𝒊𝒓𝒆𝒅.
𝒓 𝐬𝐢𝐧 𝝎 𝒓
UNDERGRADUATE PROBLEMS
UP.496 Prove that:
𝟏 𝟏
𝐥𝐨𝐠(𝟏 + 𝒙𝟐 ) 𝐥𝐨𝐠(𝟏 + 𝒚) 𝜻(𝟐)
∫ ∫ 𝟑
𝒅𝒙𝒅𝒚 = (𝝅 − 𝟐 𝐥𝐨𝐠(𝟐))
𝟎 𝟎 𝟒
𝒙𝒚𝟐
Proposed by Said Attaoui – Oran – Algeria
Solution 1 by proposer
We have
𝟏 𝟏 𝟏
𝐥𝐨𝐠(𝟏 + 𝒙𝟐 ) 𝐥𝐨𝐠(𝟏 + 𝒚) 𝐥𝐨𝐠(𝟏 + 𝒙𝟐 ) 𝐥𝐨𝐠(𝟏 + 𝒚)
∫ ∫ 𝟑 𝒅𝒙𝒅𝒚 = (∫ 𝒅𝒙) ( 𝟑 𝒅𝒚)
𝟎 𝟎 𝟎 𝒙
𝒙𝒚𝟐 𝒚𝟐
𝟏 𝟐) 𝟐)
𝐥𝐨𝐠(𝟏 + 𝒙 𝐥𝐨𝐠(𝟏 + 𝒚
= 𝟐 (∫ 𝒅𝒙) ( 𝒅𝒚)
𝟎 𝒙 𝒚𝟐
{by replacing 𝒚 by 𝒚𝟐 }
𝒕𝒏
Now, applying the geometric series − 𝐥𝐨𝐠(𝟏 − 𝒕) = ∑∞
𝒏=𝟏 𝒏 to have
𝟏 𝟏 ∞
𝐥𝐨𝐠(𝟏 + 𝒙𝟐 ) 𝟏 𝒙𝟐𝒏
∫ = ∫ (∑(−𝟏)𝒏−𝟏 ) 𝒅𝒙
𝟎 𝒙 𝟎 𝒙 𝒏
𝒏=𝟏
∞ 𝟏 ∞
(−𝟏)𝒏−𝟏 𝟐𝒏−𝟏
𝟏 (−𝟏)𝒏−𝟏 𝜻(𝟐)
=∑ (∫ 𝒙 𝒅𝒙) = ∑ =
𝒏 𝟎 𝟐 𝒏𝟐 𝟒
𝒏=𝟏 𝒏=𝟏
∞ 𝟏
By the property ∑𝒏=𝟏(−𝟏)𝒏 𝒑
= −(𝟏 − 𝟐𝟐−𝒑 )𝜻(𝒑), 𝒑 > 1
𝒏
Similarly
𝟏 𝟐) 𝟏 ∞
𝐥𝐨𝐠(𝟏 + 𝒚 𝟏 𝒏−𝟏
𝒚𝟐𝒏
∫ 𝒅𝒙 = ∫ 𝟐 (∑(−𝟏) ) 𝒅𝒚
𝟎 𝒚𝟐 𝟎 𝒚 𝒏
𝒏=𝟏
∞ 𝟏 ∞
(−𝟏)𝒏−𝟏 𝟐𝒏−𝟐
(−𝟏)𝒏−𝟏
=∑ (∫ 𝒚 𝒅𝒚) = ∑
𝒏 𝟎 𝒏(𝟐𝒏 − 𝟏)
𝒏=𝟏 𝒏=𝟏
∞ ∞ ∞ ∞
(−𝟏)𝒏−𝟏 (−𝟏)𝒏−𝟏 (−𝟏)𝒏−𝟏 (−𝟏)𝒏−𝟏 𝝅
= 𝟐∑ −∑ = 𝟐∑ −∑ = − 𝐥𝐨𝐠(𝟐)
(𝟐𝒏 − 𝟏) 𝒏 (𝟐𝒏 − 𝟏) 𝒏 𝟐
𝒏=𝟏 𝒏=𝟏 ⏟
𝒏=𝟏 ⏟
𝒏=𝟏
𝝅 𝐥𝐨𝐠(𝟐)
=
𝟒
Thereby
56 34-RMM AUTUMN EDITION 2024-SOLUTIONS
www.ssmrmh.ro
𝟏 𝟐)𝟏
𝐥𝐨𝐠(𝟏 + 𝒙 𝐥𝐨𝐠(𝟏 + 𝒚𝟐 ) 𝜻(𝟐) 𝝅
(∫ 𝒅𝒙) (∫ 𝟐
𝒅𝒚) = ( − 𝐥𝐨𝐠(𝟐))
𝟎 𝒙 𝟎 𝒚 𝟒 𝟐
Finally
𝟏 𝟏
𝐥𝐨𝐠(𝟏 + 𝒙𝟐 ) 𝐥𝐨𝐠(𝟏 + 𝒚) 𝜻(𝟐)
∫ ∫ 𝟑 𝒅𝒙𝒅𝒚 = (𝝅 − 𝟐 𝐥𝐨𝐠(𝟐))
𝟎 𝟎 𝟒
𝒙𝒚𝟐
Proof of
(−𝟏)𝒏−𝟏 𝝅
∑∞
𝒏=𝟏 = 𝟒.
(𝟐𝒏−𝟏)
We have
∞ ∞ 𝟏 𝟏 ∞
(−𝟏)𝒏−𝟏 𝒏−𝟏 𝟐𝒏−𝟐
∑ = ∑(−𝟏) ∫ 𝒙 𝒅𝒙 = ∫ ∑(−𝟏)𝒏−𝟏 𝒙𝟐(𝒏−𝟏) 𝒅𝒙
(𝟐𝒏 − 𝟏) 𝟎 𝟎 𝒏=𝟏
𝒏=𝟏 𝒏=𝟏
𝟏 ∞ 𝟏
𝟏 𝝅
= ∫ ∑(−𝒙𝟐 )𝒏 𝒅𝒙 = ∫ 𝟐
𝒅𝒙 = 𝐚𝐫𝐜𝐭𝐚𝐧(𝟏) =
𝟎 𝒏=𝟏 𝟎 𝟏+𝒙 𝟒
Solution 2 by Vincent Nguyen-USA
𝟏 𝟏 ∞ ∞
𝟏 𝟏
𝐥𝐨𝐠(𝟏 + 𝒙𝟐 ) 𝐥𝐨𝐠(𝟏 + 𝒚) 𝟏 𝒏+𝟏
𝒙𝟐𝒏 𝒚𝒎
∫ ∫ 𝟑 𝒅𝒙𝒅𝒚 = ∫ ∫ 𝟑 ∑(−𝟏) ∑ (−𝟏)𝒎+𝟏 𝒅𝒙𝒅𝒚
𝟎 𝟎 𝒏 𝒎
𝒙𝒚𝟐 𝟎 𝟎 𝒙𝒚𝟐 𝒏=𝟏 𝒎=𝟏
∞ 𝟏 ∞ 𝟏
𝒙𝟐𝒏 𝒚𝒎
= ∑(−𝟏)𝒏+𝟏 ∫ 𝒅𝒙 ∑ (−𝟏)𝒎+𝟏 ∫ 𝟑 𝒅𝒚 =
𝒏𝒙
𝒏=𝟏 𝟎 𝒎=𝟏 𝟎 𝒎𝒚𝟐
∞ 𝟏 ∞ 𝟏 𝟑
𝒏+𝟏
𝒙𝟐𝒏−𝟏 𝒎+𝟏
𝒚𝒎−𝟐
= ∑(−𝟏) ∫ 𝒅𝒙 ∑ (−𝟏) ∫ 𝒅𝒚 =
𝒏 𝒎
𝒏=𝟏 𝟎 𝒎=𝟏 𝟎
∞ ∞ ∞ ∞
𝟏 (−𝟏)𝒏+𝟏 (−𝟏)𝒎+𝟏 𝟏 (−𝟏)𝒎+𝟏 (−𝟏)𝒎+𝟏
= ∑ ∙𝟐∑ = 𝜼(𝟐) ∙ 𝟐 (𝟐 ∑ −∑ )=
𝟐 𝒏𝟐 𝒎(𝟐𝒎 − 𝟏) 𝟐 𝟐𝒎 − 𝟏 𝒎
𝒏=𝟏 𝒎=𝟏 𝒎=𝟏 𝒎=𝟏
𝟏 𝟏
= 𝜻(𝟐) ∙ 𝟐(𝟐𝒂𝒓𝒄𝒕𝒂𝒏𝟏 − 𝒍𝒐𝒈𝟐) = 𝜻(𝟐)(𝝅 − 𝟐𝒍𝒐𝒈𝟐)
𝟒 𝟒
UP.497 Prove that:
𝟏
𝒙−𝟏 𝟏 𝟏 𝟏 𝐥𝐨𝐠 (𝟏 + 𝟐 ) 𝟐 𝟏
𝑭(𝒙) = ∫ 𝟐 𝐥𝐨𝐠 (𝟏 + 𝟐 ) 𝒅𝒙 = 𝑳𝒊𝟐 (− 𝟐 ) + 𝒙 − + 𝟐 𝐚𝐫𝐜𝐭𝐚𝐧 ( )
𝒙 𝒙 𝟐 𝒙 𝒙 𝒙 𝒙
Deduce
∞
𝒙−𝟏 𝟏
∫ 𝐥𝐨𝐠 (𝟏 + ) 𝒅𝒙
𝟏 𝒙𝟐 𝒙𝟐
By the property:
∞
𝟏
∑(−𝟏)𝒏 = −(𝟏 − 𝟐𝟏−𝒑 )𝜻(𝒑), 𝒑 > 1
𝒏𝒑
𝒏=𝟏
𝟏
𝟏 𝟏 𝒍𝒐𝒈 (𝟏 + 𝟐 ) 𝟐 𝟏
= 𝑳𝒊𝟐 (− 𝟐 ) + 𝒙 − + 𝟐𝒂𝒓𝒄𝒕𝒂𝒏 + 𝑪
𝟐 𝒙 𝒙 𝒙 𝒙
𝑹
𝒙−𝟏 𝟏 𝒙−𝟏 𝟏
∫ 𝟐 𝒍𝒐𝒈 (𝟏 + 𝟐 ) 𝒅𝒙 = 𝐥𝐢𝐦 ∫ 𝟐 𝒍𝒐𝒈 (𝟏 + 𝟐 ) 𝒅𝒙 =
𝒙 𝒙 𝑹→∞ 𝒙 𝒙
𝟎
𝟏
𝟏 𝟏 𝒍𝒐𝒈 (𝟏 + 𝟐 ) 𝟐
= 𝐥𝐢𝐦 𝑳𝒊𝟐 (− 𝟐 ) − (− 𝑹 + − 𝟐𝒂𝒓𝒄𝒕𝒂𝒏 𝟏 ) =
𝑹→∞ 𝟐 𝑹 𝑹 𝑹 𝑹
( )
𝟏 𝝅 𝝅 𝝅𝟐
= − ( (−𝜼(𝟐) + 𝒍𝒐𝒈𝟐 − 𝟐 + )) = 𝟐 − 𝒍𝒐𝒈𝟐 − +
𝟐 𝟐 𝟐 𝟐𝟒
𝟏 𝟐 𝟏 𝟐
𝟏
= (∫ 𝒅𝒙) − (∫ √𝟏 − 𝒙𝟐 𝒅𝒙) =
𝟎 √𝟏 − 𝒙𝟐 𝟎
𝟐 𝟏 𝟏 𝟐
= ([𝐬𝐢𝐧 −𝟏
𝒙]𝟏𝟎 ) −𝟏
− ( [𝒙√𝟏 − 𝒙 + 𝐬𝐢𝐧 𝒙] ) =
𝟐
𝟐 𝟎
𝟐
𝟏 𝝅𝟐 𝝅𝟐 𝟏𝟖 𝝅𝟐 𝟗
= (𝐬𝐢𝐧−𝟏 𝒙)𝟐 − ( 𝐬𝐢𝐧−𝟏 𝒙) = − = ⋅ = 𝜻(𝟐)
𝟐 𝟒 𝟏𝟔 𝟏𝟔 𝟔 𝟖
𝝅 𝟑𝝅 𝟗 𝝅𝟐 𝟗
𝛀 = −𝑰𝟏 ∙ 𝑰𝟐 = ∙ = ⋅ = 𝜻(𝟐)
𝟒 𝟒 𝟖 𝟔 𝟖
UP.499 If 𝟎 < 𝑎 ≤ 𝑏 then:
𝒃 𝒃
𝒅𝒙𝒅𝒚 𝟐(𝒃 − 𝒂)𝟐
∫ ∫ ≤
𝒂 𝒂 𝟏 + 𝒙𝒚 (𝟏 + 𝒂)(𝟏 + 𝒃)
Proposed by Daniel Sitaru-Romania
Solution 1 by proposer
𝟏 𝒙+𝒚 𝒙 𝒚
= = + =
𝟏 + 𝒙𝒚 (𝒙 + 𝒚)(𝟏 + 𝒙𝒚) (𝒙 + 𝒚)(𝟏 + 𝒙𝒚) (𝒙 + 𝒚)(𝟏 + 𝒙𝒚)
𝟏 𝟏
= 𝒚 + 𝒙 =
(𝟏 + 𝒙) (𝟏 + 𝒙𝒚) (𝟏 + 𝒚) (𝟏 + 𝒙𝒚)
𝟏 𝟏 𝑪𝑩𝑺
= 𝟐 + 𝟐
≤
𝒚 𝟐 𝒙 𝟐
(𝟏𝟐 + (√𝒙) ) (𝟏𝟐 + (√𝒙𝒚) ) (𝟏𝟐 + (√𝒚) ) (𝟏𝟐 + (√𝒙𝒚) )
𝟏 𝟏
≤ 𝟐+ 𝟐
=
𝒚 𝒙
(𝟏 ⋅ 𝟏 + √𝒙 ⋅ √𝒙𝒚) (𝟏 ⋅ 𝟏 + √𝒚 ⋅ √𝒙𝒚)
𝟏 𝟏
= 𝟐
+
(𝟏 + 𝒚) (𝟏 + 𝒙)𝟐
𝒃 𝒃 𝒃 𝒃 𝒃 𝒃
𝒅𝒙𝒅𝒚 𝟏 𝟏
∫ ∫ ≤∫ ∫ 𝟐
𝒅𝒙𝒅𝒚 + ∫ ∫ 𝟐
𝒅𝒙𝒅𝒚 =
𝒂 𝒂 𝟏 + 𝒙𝒚 𝒂 𝒂 (𝟏 + 𝒚) 𝒂 𝒂 (𝟏 + 𝒙)
𝒃 𝒃
𝒅𝒚 −𝟏
= 𝟐 ∫ 𝒅𝒙 ∫ 𝟐
= 𝟐(𝒃 − 𝒂) ( — 𝟏𝟏 + 𝒂. . =
𝒂 𝒂 (𝟏 + 𝒚) 𝟏+𝒃
𝟏 𝟏 𝟏
𝑻𝒉𝒆𝒏 ∶ ≤ 𝟐
+ , ∀𝒙, 𝒚 > 0,
𝒙𝒚 + 𝟏 (𝒙 + 𝟏) (𝒚 + 𝟏)𝟐
𝑻𝒉𝒆𝒓𝒆𝒇𝒐𝒓𝒆,
𝒃 𝒃
𝒅𝒙𝒅𝒚 𝒃 𝒃
𝟏 𝟏 𝟏 𝒃
∫ ∫ ≤∫ ∫ ( 𝟐
+ ) 𝒅𝒙𝒅𝒚 = 𝟐(𝒃 − 𝒂) [− ] =
𝒂 𝒂 𝟏 + 𝒙𝒚 𝒂 𝒂 (𝟏 + 𝒙) (𝟏 + 𝒚)𝟐 𝟏+𝒙 𝒂
𝟏 𝟏 𝟐(𝒃 − 𝒂)𝟐
= 𝟐(𝒃 − 𝒂) ( − )= .
𝟏+𝒂 𝟏+𝒃 (𝟏 + 𝒂)(𝟏 + 𝒃)
We have:
(𝒇(𝒙) − 𝒏)(𝒇(𝒙) − 𝒏 − 𝟏)
≤ 𝟎, (∀)𝒙 ∈ [𝒏 − 𝟏, 𝒏], 𝒏 ∈ ℕ∗ ⇔
𝒇(𝒙)
𝒇𝟐 (𝒙) − 𝒏𝒇(𝒙) − 𝒇(𝒙) − 𝒏𝒇(𝒙) + 𝒏𝟐 + 𝒏 𝒏(𝒏 + 𝟏)
≤ 𝟎 ⇔ 𝒇(𝒙) − (𝟐𝒏 + 𝟏) + ≤𝟎⇔
𝒇(𝒙) 𝒇(𝒙)
𝒏(𝒏 + 𝟏) 𝟏 𝟐𝒏 + 𝟏 𝟏
≤ (𝟐𝒏 + 𝟏) − 𝒇(𝒙) ⇔ ≤ − 𝒇(𝒙) ⇔
𝒇(𝒙) 𝒇(𝒙) 𝒏(𝒏 + 𝟏) 𝒏(𝒏 + 𝟏)
𝒏
𝟏 𝟐𝒏 + 𝟏 𝒏 𝟏 𝒏
∫ 𝒅𝒙 ≤ ∫ 𝒅𝒙 − ∫ 𝒇(𝒙) 𝒅𝒙 ⇔
𝒏−𝟏 𝒇(𝒙) 𝒏(𝒏 + 𝟏) 𝒏−𝟏 𝒏(𝒏 + 𝟏) 𝒏−𝟏
𝒏
𝟏 𝟐𝒏 + 𝟏 𝟏
∫ 𝒅𝒙 ≤ ⋅ (𝒏 − (𝒏 − 𝟏)) − ⇔
𝒏−𝟏 𝒇(𝒙) 𝒏(𝒏 + 𝟏) 𝒏(𝒏 + 𝟏)
𝒏 𝒏
𝟏 𝟐𝒏 + 𝟏 𝟏 𝟏 𝟐
∫ 𝒅𝒙 ≤ − ⇔∫ 𝒅𝒙 ≤
𝒏−𝟏 𝒇(𝒙) 𝒏(𝒏 + 𝟏) 𝒏(𝒏 + 𝟏) 𝒏−𝟏 𝒇(𝒙) 𝒏+𝟏
UP.504 𝐋𝐞𝐭 𝒂, 𝒃, 𝒄, 𝒅 > 1 𝐚𝐧𝐝 𝒇: [𝒂, 𝒃] → [𝒄, 𝒅]𝐜𝐨𝐧𝐭𝐢𝐧𝐮𝐨𝐮𝐬 𝐟𝐮𝐧𝐜𝐭𝐢𝐨𝐧 𝐟𝐨𝐫 𝐰𝐡𝐢𝐜𝐡
𝝀 𝒃
(∃)𝝀 ∈ (𝒂, 𝒃) 𝐬𝐮𝐜𝐡 𝐭𝐡𝐚𝐭 𝒂 ∫ 𝒇(𝒙) 𝒅𝒙 + 𝒃 ∫ 𝒇(𝒙) 𝒅𝒙 ≥ 𝒂 + 𝒄, 𝐭𝐡𝐞𝐧 𝐩𝐫𝐨𝐯𝐞:
𝒂 𝝀
𝒃
𝒙 𝟏 𝟏 𝒃𝟐 − 𝒂𝟐 − 𝟐
∫ 𝒅𝒙 ≤ ( + ) ⋅
𝒂 𝒇(𝒙) 𝒂 𝒄 𝟐
66 34-RMM AUTUMN EDITION 2024-SOLUTIONS
www.ssmrmh.ro
Proposed by Florică Anastase-Romania
Solution by proposer
𝒕
Let 𝑭: [𝒂, 𝒃] → ℝ, 𝑭(𝒕) = ∫𝒂 𝒇(𝒙) 𝒅𝒙.
Because 𝒇 −continuous function, the function 𝑭 is derivable and
𝑭′ (𝒕) = 𝒇(𝒕), (∀)𝒕 ∈ [𝒂, 𝒃]. We have:
𝒃 𝒃 𝒃 𝒃
𝑰𝑩𝑷
∫ 𝒙𝒇(𝒙) 𝒅𝒙 = 𝒙𝑭(𝒙)|𝒃𝒂 − ∫ 𝑭(𝒙) 𝒅𝒙 = 𝒃 ∫ 𝒇(𝒙) 𝒅𝒙 − ∫ 𝑭(𝒙) 𝒅𝒙
𝒂 𝒂 𝒂 𝒂
So, we have:
𝝀 𝒃 𝒃
𝒂 ∫ 𝒇(𝒙) 𝒅𝒙 + 𝒃 ∫ 𝒇(𝒙) 𝒅𝒙 = ∫ 𝒙𝒇(𝒙) 𝒅𝒙 ≥ 𝒂 + 𝒄; (𝟏)
𝒂 𝝀 𝒂
UP.505 Find:
67 34-RMM AUTUMN EDITION 2024-SOLUTIONS
www.ssmrmh.ro
𝟏 𝟏 𝟏
𝛀 = 𝐥𝐢𝐦 ([𝟐𝒙](𝟐𝒙) [𝟐𝒙] − [𝒙]𝒙[𝒙] − [𝒙 + ])
𝒙→∞ 𝟐
where [𝒂] is the greatest integer less than 𝒂.
Proposed by Cristian Miu-Romania
Solution by proposer
𝟏 𝟏 𝟏
𝛀 = 𝐥𝐢𝐦 ([𝟐𝒙](𝟐𝒙)[𝟐𝒙] − [𝒙]𝒙[𝒙] − [𝒙 + ]) =
𝒙→∞ 𝟐
𝟏 𝟏
= 𝐥𝐢𝐦 ([𝟐𝒙] ((𝟐𝒙) [𝟐𝒙] − 𝟏) − [𝒙] (𝒙[𝒙] − 𝟏))
𝒙→∞
𝟏
𝒃𝒆𝒄𝒂𝒖𝒔𝒆 [𝒙] + [𝒙 + ] = [𝟐𝒙], 𝒊𝒕 𝒊𝒔 𝒆𝒂𝒔𝒚 𝒕𝒐 𝒑𝒓𝒐𝒗𝒆 𝒕𝒉𝒂𝒕.
𝟐
𝟏
𝑵𝒐𝒘, 𝒘𝒆 𝒑𝒓𝒐𝒗𝒆 𝒕𝒉𝒂𝒕: 𝐥𝐢𝐦 ([𝒙] (𝒙 [𝒙] − 𝐥𝐨𝐠 𝒙) = 𝟎.
𝒙→∞
𝟏
𝑭𝒐𝒓 𝒙 > 1, 𝑢𝑠𝑖𝑛𝑔 𝐿𝑎𝑔𝑟𝑎𝑛𝑔𝒆′ 𝒔 𝒕𝒉𝒆𝒐𝒓𝒆𝒎 𝒇𝒐𝒓 𝒇(𝒙) = 𝐥𝐨𝐠 𝒙 𝒐𝒏 [𝒙, 𝒙[𝒙] ]
𝟏
𝐥𝐨𝐠 𝒙[𝒙] 𝟏 𝟏
𝒘𝒆 𝒄𝒂𝒏 𝒘𝒓𝒊𝒕𝒆 𝟏 = , 𝒘𝒉𝒆𝒓𝒆 𝟏 ≤ 𝒄𝒙 ≤ 𝒙[𝒙]
[𝒙]
𝒄𝒙
𝒙 −𝟏
𝟏
[𝒙] (𝒙[𝒙] − 𝟏) 𝟏
𝑺𝒐, = 𝒄𝒙 ⇔ [𝒙] (𝒙[𝒙] − 𝟏) − 𝐥𝐨𝐠 𝒙 = (𝒄𝒙 − 𝟏) 𝐥𝐨𝐠 𝒙
𝐥𝐨𝐠 𝒙
𝟏
𝑳𝒆𝒕 𝒖𝒔 𝒘𝒓𝒊𝒕𝒆 𝑭(𝒙) = [𝒙] (𝒙[𝒙] − 𝟏) − 𝐥𝐨𝐠 𝒙 . 𝑾𝒆 𝒐𝒃𝒕𝒂𝒊𝒏:
𝟏
𝟏 − 𝟏 𝐥𝐨𝐠 𝟐 𝒙
𝒙 [𝒙]
𝟎 ≤ 𝑭(𝒙) ≤ (𝒙[𝒙] − 𝟏) 𝐥𝐨𝐠 𝒙 ⇔ 𝟎 ≤ 𝑭(𝒙) ≤ ⋅ ⋅ [𝒙] ⇔
𝐥𝐨𝐠 𝒙 [𝒙]
𝟏
𝒙 [𝒙]− 𝟏 𝐥𝐨𝐠 𝟐 𝒙 𝒙
𝟎 ≤ 𝑭(𝒙) ≤ 𝟏 ⋅ ⋅
𝒙 [𝒙]
𝐥𝐨𝐠 𝒙 [𝒙]
𝟏
𝒙[𝒙] − 𝟏 𝐥𝐨𝐠 𝟐 𝒙 𝒙
𝑺𝒐, 𝒘𝒆 𝒐𝒃𝒕𝒂𝒊𝒏: 𝐥𝐢𝐦 ( 𝟏 ⋅ ⋅ ) = 𝟎, 𝒕𝒉𝒂𝒕 𝒎𝒆𝒂𝒏𝒔:
𝒙→∞ 𝒙 [𝒙]
𝐥𝐨𝐠 𝒙[𝒙]
𝟏
𝐥𝐢𝐦 𝑭(𝒙) = 𝟎, 𝒔𝒐, 𝐥𝐢𝐦 [𝟐𝒙] ((𝟐𝒙)[𝟐𝒙] − 𝟏) − 𝐥𝐨𝐠 𝟐𝒙 = 𝟎
𝒙→∞ 𝒙→∞
𝑻𝒉𝒆𝒓𝒆𝒇𝒐𝒓𝒆,
𝟏 𝟏 𝟏
𝛀 = 𝐥𝐢𝐦 ([𝟐𝒙](𝟐𝒙)[𝟐𝒙] − [𝒙]𝒙 [𝒙] − [𝒙 + ]) = 𝐥𝐨𝐠 𝟐.
𝒙→∞ 𝟐
𝟐 𝟐
𝟏 𝟏 𝟐 𝒃𝒄(𝒃 − 𝒄)𝟐 𝒂𝟐 𝒃𝒄
=𝒃 𝒄 ( − ) − + =
𝒂+𝒄 𝒂+𝒃 (𝒂 + 𝒃)(𝒂 + 𝒄) (𝒂 + 𝒃)(𝒂 + 𝒄)
𝒃𝟐 𝒄𝟐 (𝒃 − 𝒄)𝟐 𝒃𝒄(𝒃 − 𝒄)𝟐 𝒂𝟐 𝒃𝒄
= − + =
(𝒂 + 𝒃)𝟐 (𝒂 + 𝒄)𝟐 (𝒂 + 𝒃)(𝒂 + 𝒄) (𝒂 + 𝒃)(𝒂 + 𝒄)
𝒂𝟐 𝒃𝒄 𝒃𝒄(𝒃 − 𝒄)𝟐 [(𝒂 + 𝒃)(𝒂 + 𝒄) − 𝒃𝒄]
= − ≤
(𝒂 + 𝒃)(𝒂 + 𝒄) (𝒂 + 𝒃)𝟐 (𝒂 + 𝒄)𝟐
𝒂𝟐 𝒃𝒄(𝒃 + 𝒄) 𝑪𝒆𝒔𝒂𝒓𝒐 𝒂𝟐 𝒃𝒄(𝒃 + 𝒄) 𝒂𝟐 𝒃 𝒄
≤ ≤ = ( + )
(𝒂 + 𝒃)(𝒃 + 𝒄)(𝒄 + 𝒂) 𝟖𝒂𝒃𝒄 𝟖 𝒂 𝒂
𝒂𝟐 𝒃 𝒄 𝑬𝑭𝟐 𝟏 𝒃 𝒄
𝑻𝒉𝒆𝒏 𝑬𝑭𝟐 ≤ ( + ) 𝒂𝒏𝒅 𝒂𝒏𝒂𝒍𝒐𝒈𝒔. 𝑻𝒉𝒆𝒓𝒆𝒇𝒐𝒓𝒆, ≤ ( + )
𝟖 𝒂 𝒂 𝑩𝑪𝟐 𝟖 𝒂 𝒂
𝑬𝑭 𝟒 𝟏 𝒃 𝒄 𝟐
𝑯𝒆𝒏𝒄𝒆, ( ) ≤ ( + ) 𝒂𝒏𝒅 𝒂𝒏𝒂𝒍𝒐𝒈𝒔.
𝑩𝑪 𝟔𝟒 𝒂 𝒂
𝒂 𝒃 𝑹 𝒂𝟐 𝒃𝟐 𝑹𝟐
𝑰𝒕 𝒊𝒔 𝒘𝒆𝒍𝒍 − 𝒌𝒏𝒐𝒘𝒏 𝒕𝒉𝒂𝒕 + ≤ (𝑩𝒂𝒏𝒅𝒊𝒍𝒂). 𝑺𝒐, 𝟐 + 𝟐 ≤ 𝟐 − 𝟐.
𝒃 𝒂 𝒓 𝒃 𝒂 𝒓
𝒃𝟐 𝒄𝟐 𝑹𝟐 𝒄𝟐 𝒂𝟐 𝑹𝟐
𝑺𝒊𝒎𝒊𝒍𝒂𝒓𝒍𝒚, 𝟐 + 𝟐 ≤ 𝟐 − 𝟐 𝒂𝒏𝒅 𝟐 + 𝟐 ≤ 𝟐 − 𝟐.
𝒄 𝒃 𝒓 𝒂 𝒄 𝒓
𝑵𝒐𝒘, 𝒘𝒆 𝒉𝒂𝒗𝒆:
𝑬𝑭 𝟒 𝑭𝑫 𝟒 𝑫𝑬 𝟒 𝟏 𝒃 𝒄 𝟐 𝒄 𝒂 𝟐 𝒂 𝒃 𝟐
( ) +( ) +( ) ≤ (( + ) + ( + ) + ( + ) ) =
𝑩𝑪 𝑪𝑨 𝑨𝑩 𝟔𝟒 𝒂 𝒂 𝒃 𝒃 𝒄 𝒄
𝟏 𝒂𝟐 𝒃𝟐 𝒃𝟐 𝒄𝟐 𝒄𝟐 𝒂𝟐 𝒃𝟐 + 𝒄𝟐 𝒄𝟐 + 𝒂𝟐 𝒂𝟐 + 𝒃𝟐
≤ (( + ) + ( 𝟐 + 𝟐 ) + ( 𝟐 + 𝟐 ) + + + )=
𝟔𝟐 𝒃𝟐 𝒂𝟐 𝒄 𝒃 𝒂 𝒄 𝒂𝟐 𝒃𝟐 𝒄𝟐
𝟏 𝒂𝟐 𝒃𝟐 𝒃𝟐 𝒄𝟐 𝒄𝟐 𝒂𝟐 𝟏 𝑹𝟐 𝑹𝟐 𝑹𝟐
= ∙ 𝟐 (( 𝟐 + 𝟐 ) + ( 𝟐 + 𝟐 ) + ( 𝟐 + 𝟐 )) ≤ (( 𝟐 − 𝟐) + ( 𝟐 − 𝟐) + ( 𝟐 − 𝟐)) =
𝟔𝟒 𝒃 𝒂 𝒄 𝒃 𝒂 𝒄 𝟑𝟐 𝒓 𝒓 𝒓
𝟑 𝑹𝟐 𝟑 𝟑 𝑹 𝟐 𝟑
= ∙ 𝟐− = ( ) −
𝟑𝟐 𝒓 𝟏𝟔 𝟖 𝟐𝒓 𝟏𝟔
𝑻𝒉𝒆𝒓𝒆𝒇𝒐𝒓𝒆,
70 34-RMM AUTUMN EDITION 2024-SOLUTIONS
www.ssmrmh.ro
𝟒
𝑬𝑭 𝑭𝑫 𝟒 𝑫𝑬 𝟒 𝟑 𝟑 𝑹 𝟐
( ) +( ) +( ) + ≤ ( )
𝑩𝑪 𝑪𝑨 𝑨𝑩 𝟏𝟔 𝟖 𝟐𝒓
Solution 2 by Mohamed Amine Ben Ajiba-Tanger-Morocco
𝒃𝒄 𝒃𝒄
𝑨𝑬 = 𝒂𝒏𝒅 𝑨𝑭 = . 𝑩𝒚 𝒕𝒉𝒆 𝑳𝒂𝒘 𝒐𝒇 𝒄𝒐𝒔𝒊𝒏𝒆𝒔 𝒊𝒏 ∆𝑨𝑬𝑭 ∶
𝒂+𝒄 𝒂+𝒃
𝒃𝒄 𝟐 𝒃𝒄 𝟐 𝒃𝒄 𝒃𝒄 𝒃𝟐 + 𝒄𝟐 − 𝒂𝟐
𝑬𝑭𝟐 = 𝑨𝑬𝟐 + 𝑨𝑭𝟐 − 𝟐. 𝑨𝑬. 𝑨𝑭. 𝐜𝐨𝐬 𝑨 = ( ) +( ) − 𝟐( )( ).
𝒂+𝒄 𝒂+𝒃 𝒂+𝒄 𝒂+𝒃 𝟐𝒃𝒄
𝒃𝟐 𝒄𝟐 𝒃𝟐 𝒄𝟐 𝒃𝒄[(𝒃 − 𝒄)𝟐 + 𝟐𝒃𝒄 − 𝒂𝟐 ]
= + − =
(𝒂 + 𝒄)𝟐 (𝒂 + 𝒃)𝟐 (𝒂 + 𝒃)(𝒂 + 𝒄)
𝟏 𝟏 𝟐 𝒃𝒄(𝒃 − 𝒄)𝟐 𝒂𝟐 𝒃𝒄
= 𝒃𝟐 𝒄𝟐 ( − ) − + =
𝒂+𝒄 𝒂+𝒃 (𝒂 + 𝒃)(𝒂 + 𝒄) (𝒂 + 𝒃)(𝒂 + 𝒄)
𝑨𝑴−𝑮𝑴
𝒂𝟐 𝒃𝒄 𝒂𝒃𝒄(𝒂 + 𝒃 + 𝒄)(𝒃 − 𝒄)𝟐 𝒂𝟐 𝒃𝒄 𝒂𝟐 𝒃𝒄 𝒂√𝒃𝒄
= − ≤ ⏞
≤ = .
(𝒂 + 𝒃)(𝒂 + 𝒄) 𝟐
(𝒂 + 𝒃) (𝒂 + 𝒄) 𝟐 (𝒂 + 𝒃)(𝒂 + 𝒄) 𝟒
𝟐√𝒂𝒃. 𝟐√𝒂𝒄
𝑨𝑴−𝑮𝑴
𝑬𝑭 𝟒 𝒃𝒄 𝒃𝟐 + 𝒄𝟐
𝑻𝒉𝒆𝒏 ∶ ( ) ≤ ⏞
≤ (𝑨𝒏𝒅 𝒂𝒏𝒂𝒍𝒐𝒈𝒔)
𝑩𝑪 𝟏𝟔𝒂𝟐 𝟑𝟐𝒂𝟐
𝑬𝑭 𝟒 𝑭𝑫 𝟒 𝑫𝑬 𝟒 𝟑 𝒃𝟐 + 𝒄𝟐 𝟑 𝟏 𝒂 𝒃 𝟐 𝑩𝒂𝒏𝒅𝒊𝒍𝒂
( ) +( ) +( ) + ≤∑ + = ∑( + ) ⏞
≤
𝑩𝑪 𝑪𝑨 𝑨𝑩 𝟏𝟔 𝟑𝟐𝒂𝟐 𝟏𝟔 𝟑𝟐 𝒃 𝒂
𝒄𝒚𝒄 𝒄𝒚𝒄
𝟏 𝑹 𝟐 𝟑 𝑹 𝟐
≤ 𝟑𝟐 ∑𝒄𝒚𝒄 ( 𝒓 ) = 𝟖 . (𝟐𝒓) . 𝑬𝒒𝒖𝒂𝒍𝒊𝒕𝒚 𝒉𝒐𝒍𝒅𝒔 𝒊𝒇𝒇 ∆𝑨𝑩𝑪 𝒊𝒔 𝒆𝒒𝒖𝒊𝒍𝒂𝒕𝒆𝒓𝒂𝒍.
𝐀𝐅 𝐛 𝐀𝐅 + 𝐁𝐅 𝐛 + 𝒂 (𝐢) 𝐜𝒂
𝐀𝐧𝐠𝐥𝐞 − 𝐛𝐢𝐬𝐞𝐜𝐭𝐨𝐫 𝐭𝐡𝐞𝐨𝐫𝐞𝐦 ⇒ = ⇒ = ⇒ 𝐁𝐅 =
𝐁𝐅 𝒂 𝐁𝐅 𝒂 𝒂+𝐛
𝐀𝐄 𝐜 𝐀𝐄 + 𝐂𝐄 𝐜 + 𝒂 (𝐢𝐢) 𝒂𝐛
𝒂𝐧𝐝 𝒂𝒍𝐬𝐨, 𝒂𝐧𝐠𝐥𝐞 − 𝐛𝐢𝐬𝐞𝐜𝐭𝐨𝐫 𝐭𝐡𝐞𝐨𝐫𝐞𝐦 ⇒ = ⇒ = ⇒ 𝐂𝐄 =
𝐂𝐄 𝒂 𝐂𝐄 𝒂 𝐜+𝒂
𝐁 𝐂
𝐂𝐨𝐬𝐢𝐧𝐞 𝒍𝒂𝐰 ⇒ (𝐁𝐅 𝟐 + 𝐰𝐛𝟐 − 𝟐𝐁𝐅. 𝐰𝐛 . 𝐜𝐨𝐬 ) + (𝐂𝐄𝟐 + 𝐰𝐜𝟐 − 𝟐𝐂𝐄. 𝐰𝐜 . 𝐜𝐨𝐬 ) = 𝟐𝐅𝐄𝟐
𝟐 𝟐
𝐯𝐢𝒂 (𝐢),(𝐢𝐢) 𝒂𝟐 𝐛𝟐 𝟒𝐜𝒂 𝐜𝒂 𝟐𝐜𝒂 𝐬(𝐬 − 𝐛) 𝐜 𝟐 𝒂𝟐
⇒ + . 𝐬(𝐬 − 𝐛) − 𝟐. . . +
(𝐜 + 𝒂)𝟐 (𝐜 + 𝒂)𝟐 𝒂+𝐛 𝐜+𝒂 𝐜𝒂 (𝒂 + 𝐛)𝟐
𝟒𝒂𝐛 𝒂𝐛 𝟐𝒂𝐛 𝐬(𝐬 − 𝐜)
+ 𝟐
. 𝐬(𝐬 − 𝐜) − 𝟐. . . = 𝟐𝐅𝐄𝟐
(𝒂 + 𝐛) 𝐜+𝒂 𝒂+𝐛 𝒂𝐛
𝟐
𝒂𝟐 𝐛𝟐 𝐜 𝟐 𝒂𝟐 𝟒𝐜𝒂 𝟏 𝟏
⇒ 𝟐𝐅𝐄 = 𝟐
+ 𝟐
+ . 𝐬(𝐬 − 𝐛) ( − )
(𝐜 + 𝒂) (𝒂 + 𝐛) 𝐜+𝒂 𝐜+𝒂 𝒂+𝐛
𝟒𝒂𝐛 𝟏 𝟏
+ . 𝐬(𝐬 − 𝐜) ( − )
𝒂+𝐛 𝒂+𝐛 𝐜+𝒂
𝐀−𝐆 𝒂𝟐 𝐛𝟐 𝐜 𝟐 𝒂𝟐 𝟏 𝟏 𝐛(𝐬 − 𝐜) 𝐜(𝐬 − 𝐛) 𝒂𝟐 (𝐛𝟑 + 𝐜 𝟑 )
≤ + + 𝟒𝐬𝒂 ( − )( − )=
𝟒𝐜𝒂 𝟒𝒂𝐛 𝒂+𝐛 𝐜+𝒂 𝒂+𝐛 𝐜+𝒂 𝟒𝒂𝐛𝐜
𝟒𝐬𝒂
+ . (𝐜 + 𝒂 − 𝒂 − 𝐛)(𝐛(𝐬 − 𝐜)(𝟐𝐬 − 𝐛) − 𝐜(𝐬 − 𝐛)(𝟐𝐬 − 𝐜))
(𝒂 + 𝐛)𝟐 (𝐜 + 𝒂)𝟐
𝐅𝐄𝟐 𝐛𝟑 + 𝐜 𝟑
⇒ 𝟐 ≤
𝒂 𝟖𝒂𝐛𝐜
𝟐𝐬(𝐛 − 𝐜)
− . (𝐛(𝟐𝐬𝟐 − 𝐛𝐬 − 𝟐𝐜𝐬 + 𝐛𝐜) − 𝐜(𝟐𝐬𝟐 − 𝐜𝐬 − 𝟐𝐛𝐬 + 𝐛𝐜))
𝒂(𝒂 + 𝐛)𝟐 (𝐜 + 𝒂)𝟐
𝐛𝟑 + 𝐜 𝟑 𝟐𝐬(𝐛 − 𝐜)
= − . (𝟐𝐬𝟐 (𝐛 − 𝐜) + 𝐛𝐜(𝐛 − 𝐜) − 𝐬(𝐛 − 𝐜)(𝐛 + 𝐜))
𝟖𝒂𝐛𝐜 𝒂(𝒂 + 𝐛)𝟐 (𝐜 + 𝒂)𝟐
𝐛𝟑 + 𝐜 𝟑 𝟐𝐬(𝐛 − 𝐜)𝟐
= − 𝟐 𝟐
. (𝟐𝐬𝟐 + 𝐛𝐜 − 𝐬(𝟐𝐬 − 𝒂))
𝟖𝒂𝐛𝐜 𝒂(𝒂 + 𝐛) (𝐜 + 𝒂)
𝐛𝟑 + 𝐜 𝟑 𝟐𝐬(𝐛 − 𝐜)𝟐 (𝐛𝐜 + 𝒂𝐬) 𝐛𝟑 + 𝐜 𝟑 𝐅𝐄𝟒 (𝐛𝟑 + 𝐜 𝟑 )𝟐
= − ≤ ⇒ 𝟒 ≤ 𝒂𝐧𝐝 𝒂𝐧𝒂𝒍𝐨𝐠𝐬
𝟖𝒂𝐛𝐜 𝒂(𝒂 + 𝐛)𝟐 (𝐜 + 𝒂)𝟐 𝟖𝒂𝐛𝐜 𝒂 𝟔𝟒𝒂𝟐 𝐛 𝟐 𝐜 𝟐
∞ ∞
𝟏 𝟏 𝟏 𝟏 𝟏 𝟏 𝟏 𝟏 𝟏 𝟑
= 𝑮 + (∑ 𝟐 − ∑ 𝟐 ) = 𝑮 + (𝜻(𝟐) − 𝜻(𝟐)) = 𝑮 + 𝜻(𝟐)
𝟐 𝟐 𝒌 𝟒 𝒋 𝟐 𝟐 𝟒 𝟐 𝟖
𝒌=𝟏 𝒋=𝟏
𝟏 𝟏 ∞ ∞
𝒍𝒐𝒈(𝒙) 𝟏 𝟏 𝟑
∗∫ 𝟒
𝒅𝒙 = − ∑ ∫ 𝒙𝟒𝒌 𝒍𝒐𝒈(𝒙) 𝒅𝒙 = ∑ 𝟐
= 𝜴 ⇒ 𝑳𝑯𝑺 = 𝑮 + 𝜻(𝟐)
𝟎 (𝒙 − 𝟏) 𝟎 𝒌=𝟎
(𝟒𝒌 + 𝟏) 𝟐 𝟖
𝒌=𝟎
𝟏 𝝅𝟐 𝟑 𝝅𝟐 𝟑
𝑺𝟏 =
∙ = ∙ = 𝜻(𝟐)
𝟐 𝟒 𝟒 𝟔 𝟒
𝟏 𝟏 𝟑 𝑮 𝟑
𝛀 = (𝑺𝟏 + 𝑺𝟐 ) = ( 𝜻(𝟐) + 𝑮) = + 𝜻(𝟐)
𝟐 𝟐 𝟒 𝟐 𝟖
UP.508 Find:
𝟏 𝟏 𝟏 𝒏 𝒏
𝛀 = 𝐥𝐢𝐦 𝒆𝟏+𝟐+𝟑+⋯+𝒏 ⋅ ( √𝝅𝟑 − √𝒆𝟑 )
𝒏→∞
Proposed by D.M.Bătinețu-Giurgiu, Daniel Sitaru-Romania
Solution 1 by proposers
𝟏 𝟏 𝟏 𝒏 𝒏
𝛀 = 𝐥𝐢𝐦 𝒆𝟏+𝟐+𝟑+⋯+𝒏 ⋅ ( √𝝅𝟑 − √𝒆𝟑 ) =
𝒏→∞
𝟏 𝟏 𝟏 𝒏 𝒏
= 𝐥𝐢𝐦 𝒆𝟏+𝟐+𝟑+⋯+𝒏−𝐥𝐨𝐠 𝒏 ⋅ 𝒆𝐥𝐨𝐠 𝒏 ⋅ ( √𝝅𝟑 − √𝒆𝟑 ) =
𝒏→∞
𝒏 𝒏 𝒏 𝒏 𝒏
= 𝒆𝜸 ⋅ 𝐥𝐢𝐦 𝒏( √𝝅 − √𝒆) ( √𝝅𝟐 + √𝝅𝒆 + √𝒆𝟐 ) =
𝒏→∞
𝒏 𝒏
𝒏 𝒏 √𝝅𝟑 − 𝟏 √𝒆𝟑 − 𝟏
= 𝒆 𝐥𝐢𝐦 𝒏 ( √𝝅𝟑 − √𝒆𝟑 ) = 𝒆𝜸 𝐥𝐢𝐦 (
𝜸
− )=
𝒏→∞ 𝒏→∞ 𝟏 𝟏
𝒏 𝒏
𝝅
= 𝒆𝜸 (𝐥𝐨𝐠(𝝅𝟑 ) − 𝐥𝐨𝐠(𝒆𝟑 )) = 𝟑𝒆𝜸 𝐥𝐨𝐠 ( )
𝒆
Solution 3 by Adrian Popa-Romania
𝟏 𝟏 𝟏 𝒏 𝒏 𝒏 𝒏
𝛀 = 𝐥𝐢𝐦 𝒆𝟏+𝟐+𝟑+⋯+𝒏 ( √𝝅𝟑 − √𝒆𝟑 ) = 𝒆𝜸 𝐥𝐢𝐦 𝒏 ( √𝝅𝟑 − √𝒆𝟑 ) =
𝒏→∞ 𝒏→∞
𝒏 𝒏
𝜸
√𝝅𝟑 − 𝟏 √𝒆𝟑 − 𝟏 𝜸
(𝝅𝟑 )𝒙 − (𝒆𝟑 )𝒙
= 𝒆 𝐥𝐢𝐦 ( − ) = 𝒆 𝐥𝐢𝐦 =
𝒏→∞ 𝟏 𝟏 𝒙→𝟎 𝒙
𝒏 𝒏
𝜸
[(𝝅𝟑 )𝒙 − 𝟏] − [(𝒆𝟑 )𝒙 − 𝟏]
= 𝒆 𝐥𝐢𝐦 = 𝐥𝐨𝐠(𝝅𝟑 ) − 𝐥𝐨𝐠(𝒆𝟑 ) =
𝒙→𝟎 𝒙
𝝅 𝟑
= 𝒆𝜸 𝐥𝐨𝐠 ( ) = 𝟑𝒆𝜸 (𝐥𝐨𝐠 𝝅 − 𝟏)
𝒆
UP.509 Find:
𝒏 𝟐
𝛀 = 𝐥𝐢𝐦 (𝒆𝟑𝑯𝒏+𝟏 − 𝒆𝟑𝑯𝒏 )( √𝝅 − 𝟏)
𝒏→∞
𝟏 𝟐
𝟑 𝒆𝒏 𝐥𝐨𝐠 𝝅
𝟏 𝟐
−𝟏
= 𝐥𝐢𝐦 𝒆𝟑𝑯𝒏 (𝒆𝒏+𝟏 − 𝟏) ( ) ( 𝐥𝐨𝐠 𝝅) =
𝒏→∞ 𝟏 𝒏
𝐥𝐨𝐠 𝝅
𝒏
𝟑
𝟑𝑯𝒏 −𝟑 𝐥𝐨𝐠 𝒏
𝒆𝒏+𝟏 − 𝟏
𝟑 𝐥𝐨𝐠 𝒏
𝟑 𝟏
= 𝐥𝐢𝐦 𝒆 ⋅𝒆 ⋅ ⋅ ⋅ 𝟐 ⋅ 𝐥𝐨𝐠 𝟐 𝝅 =
𝒏→∞ 𝟑 𝒏+𝟏 𝒏
𝒏+𝟏
𝟏 𝟏 𝟏 𝟑 𝟏
= 𝐥𝐢𝐦 𝒆𝟑(𝟏+𝟐+𝟑+⋯+𝒏−𝐥𝐨𝐠 𝒏) ⋅ 𝒏𝟑 ⋅ ⋅ 𝟐 ⋅ 𝐥𝐨𝐠 𝟐 𝝅 =
𝒏→∞ 𝒏+𝟏 𝒏
𝟑𝒏
= 𝒆𝟑𝜸 ⋅ 𝐥𝐢𝐦 ⋅ 𝐥𝐨𝐠 𝟐 𝝅 = 𝒆𝟑𝜸 ⋅ 𝟑 ⋅ 𝐥𝐨𝐠 𝟐 𝝅 = 𝟑𝒆𝟑𝜸 𝐥𝐨𝐠 𝟐 𝝅
𝒏→∞ 𝒏 + 𝟏
𝟑 𝒍𝒐𝒈𝝅 𝟐
= 𝒆𝟑𝜸 𝐥𝐢𝐦 𝒏𝟑 (𝒆𝒏+𝟏 − 𝟏) (𝒆 𝒏 − 𝟏) =
𝒏→∞
𝟐
𝟑𝜸 𝟑
𝟑 𝒍𝒐𝒈𝝅
=𝒆 𝐥𝐢𝐦 𝒏 ((𝟏 + ) − 𝟏) ((𝟏 + ) − 𝟏) =
𝒏→∞ 𝒏+𝟏 𝒏
𝟑 𝒍𝒐𝒈𝝅 𝟐 𝟑𝒏
= 𝒆𝟑𝜸 𝐥𝐢𝐦 𝒏𝟑 ( )( ) = 𝒆𝟑𝜸 𝒍𝒐𝒈𝟐 𝝅𝐥𝐢𝐦 ( ) = 𝟑𝒆𝟑𝜸 𝒍𝒐𝒈𝟐 𝝅
𝒏→∞ 𝒏+𝟏 𝒏 𝒏→∞ 𝒏 + 𝟏
UP.510 Find:
𝒏𝟒
𝟏 𝟏
𝛀 = 𝐥𝐢𝐦 (∑ ) ∙
𝒏→∞ 𝒏𝟐 + 𝒌 𝐥𝐨𝐠 𝒏
𝒌=𝟏
𝒏𝟒 𝒏𝟐
𝟏 𝟏 𝟏
= 𝐥𝐢𝐦 (∑ − 𝐥𝐨𝐠(𝒏𝟒 ) − (∑ − 𝐥𝐨𝐠(𝒏𝟐 )) + 𝐥𝐨𝐠(𝒏𝟒 ) − 𝐥𝐨𝐠(𝒏𝟐 )) ∙ =
𝒏→∞ 𝒌 𝒌 𝐥𝐨𝐠 𝒏
𝒌=𝟏 𝒌=𝟏
𝒏𝟒 𝒏𝟐
𝟏 𝟏 𝟏 𝟏
= 𝐥𝐢𝐦 (∑ − 𝐥𝐨𝐠(𝒏𝟒 )) − 𝐥𝐢𝐦 (∑ − 𝐥𝐨𝐠(𝒏𝟐 ))
𝒏→∞ 𝐥𝐨𝐠 𝒏 𝒌 𝒏→∞ 𝐥𝐨𝐠 𝒏 𝒌
𝒌=𝟏 𝒌=𝟏
𝐥𝐨𝐠(𝒏𝟒 ) − 𝐥𝐨𝐠(𝒏𝟐 )
+ 𝐥𝐢𝐦 = 𝟎 − 𝟎 + 𝟐 = 𝟐.
𝒏→∞ 𝐥𝐨𝐠 𝒏
Solution 2 by Arnab Debnath-India
𝒏𝟒 𝒏𝟒 +𝒏𝟐 𝒏𝟐
𝟏 𝟏 𝟏 𝟏 𝟏
𝛀 = 𝐥𝐢𝐦 (∑ 𝟐 )∙ = 𝐥𝐢𝐦 ( ∑ − ∑ ) ⋅ =
𝒏→∞ 𝒏 + 𝒌 𝐥𝐨𝐠 𝒏 𝒏→∞ 𝒌 𝒌 𝐥𝐨𝐠 𝒏
𝒌=𝟏 𝒌=𝟏 𝒌=𝟏
𝝍(𝒏𝟒 + 𝒏𝟐 + 𝟏) − 𝝍(𝒏𝟐 + 𝟏)
= 𝐥𝐢𝐦 =
𝒏→∞ 𝐥𝐨𝐠 𝒏
𝟏 𝟏
𝐥𝐨𝐠(𝒏𝟒 + 𝒏𝟐 + 𝟏) − − 𝐥𝐨𝐠(𝒏𝟐 + 𝟏) +
𝟐(𝒏𝟒 + 𝒏𝟐 + 𝟏) 𝟐(𝒏𝟐 + 𝟏)
= 𝐥𝐢𝐦 =
𝒏→∞ 𝐥𝐨𝐠 𝒏
𝐥𝐨𝐠(𝒏𝟒 + 𝒏𝟐 + 𝟏) 𝐥𝐨𝐠(𝒏𝟐 + 𝟏)
= 𝐥𝐢𝐦 − 𝐥𝐢𝐦 =
𝒏→∞ 𝐥𝐨𝐠 𝒏 𝒏→∞ 𝐥𝐨𝐠 𝒏
𝟖𝒏𝟐 + 𝟐 𝟐𝒏𝟐
= 𝐥𝐢𝐦 − 𝐥𝐢𝐦 =𝟒−𝟐=𝟐
𝒏→∞ 𝟐𝒏𝟐 + 𝟏 𝒏→∞ 𝒏𝟐 + 𝟏
Solution 3 by Khaled Abd Imouti-Damascus-Syria
𝟏 𝟏 𝟏
𝑯𝒏 = 𝟏 + + + ⋯ + ≅ 𝐥𝐨𝐠 𝒏
𝟐 𝟑 𝒏
𝒏𝟒
𝟏 𝟒 𝟐) 𝟐)
𝒏𝟒 + 𝒏𝟐
∑ ≅ 𝐥𝐨𝐠(𝒏 + 𝒏 − 𝐥𝐨𝐠(𝒏 = 𝐥𝐨𝐠 ( ) = 𝐥𝐨𝐠(𝒏𝟐 + 𝟏)
𝒏𝟐 + 𝒌 𝒏𝟐
𝒌=𝟏
𝒏𝟒 𝟐𝒏
𝟏 𝟏 𝐥𝐨𝐠(𝒏𝟐 + 𝟏) 𝟐
𝛀 = 𝐥𝐢𝐦 (∑ 𝟐 )∙ ≅ 𝐥𝐢𝐦 = 𝐥𝐢𝐦 𝒏 + 𝟏 = 𝟐
𝒏→∞ 𝒏 + 𝒌 𝐥𝐨𝐠 𝒏 𝒏→∞ 𝐥𝐨𝐠 𝒏 𝒏→∞ 𝟏
𝒌=𝟏
𝒏
Solution 5 by Le Thu-Vietnam
𝑩𝒚 𝑬𝒖𝒍𝒆𝒓 − 𝑴𝒂𝒄𝒍𝒂𝒖𝒓𝒊𝒏 𝒇𝒐𝒓𝒎𝒖𝒍𝒂, 𝒐𝒏𝒆 𝒉𝒂𝒔
𝒏𝟒 𝒏 𝟒
𝟏 𝟏 𝟐 𝒏𝟒
∑ 𝟐 ~∫ 𝒅𝒙 = 𝐥𝐨𝐠(𝒏 + 𝒙)| =
𝒏 + 𝒌 𝟏 𝒏𝟐 + 𝒙 𝟏
𝒌=𝟏
𝟏 𝒏𝟒 𝟏 𝒏 𝟐 𝟒 𝟐
𝒏𝟐 𝒌−𝟏
𝟏 𝒙 − 𝒙𝒏 +𝒏 𝟏
= 𝐥𝐢𝐦 (∫ 𝒙 ∑𝒙 𝒅𝒙) ⋅ = 𝐥𝐢𝐦 (∫ 𝒅𝒙) ⋅ =
𝒏→∞ 𝟎 𝐥𝐨𝐠 𝒏 𝒏→∞ 𝟎 𝟏−𝒙 𝐥𝐨𝐠 𝒏
𝒌=𝟏
𝟏 𝟒 𝟏𝟐 𝟐
𝟏 − 𝒙𝒏 +𝒏 𝟏 − 𝒙𝒏 𝟏
= 𝐥𝐢𝐦 (−𝜸 + ∫ 𝒅𝒙 + 𝜸 − ∫ 𝒅𝒙) ⋅ =
𝒏→∞ 𝟎 𝟏−𝒙 𝟎 𝟏−𝒙 𝐥𝐨𝐠 𝒏
𝟏 𝑯 𝟒 𝟐 𝑯 𝟐
= 𝐥𝐢𝐦 (𝑯𝒏𝟒 +𝒏𝟐 − 𝑯𝒏𝟐 ) ⋅ = 𝐥𝐢𝐦 𝒏 +𝒏 − 𝐥𝐢𝐦 𝒏
𝒏→∞ 𝐥𝐨𝐠 𝒏 𝒏→∞ 𝐥𝐨𝐠 𝒏 𝒏→∞ 𝐥𝐨𝐠 𝒏