Inbound 6991538473025699064
Inbound 6991538473025699064
Inbound 6991538473025699064
R M M
ROM A N IA N MAT HEMAT IC AL MAG AZINE
Founding Editor
DANIEL SITARU
Available online ISSN-L 2501-0099
www.ssmrmh.ro
www.ssmrmh.ro
Proposed by
Daniel Sitaru – Romania, Neculai Stanciu-Romania
Marin Chirciu-Romania, Togrul Ehmedov-Azerbaijan
Amir Sofi-Kosovo, Elsen Kerimov-Azerbaijan, Nguyen Van Canh-Vietnam
Carlos Paiva-Brazil, Samed Ahmedov-Azerbaijan
Hikmat Mammadov-Azerbaijan, SK Sabiruddin-India
Sakthi Vel-India, Mehmet Șahin-Turkiye, Mihaly Bencze-Romania
Samir Cabiyev-Azerbaijan, D.M.Bătinețu-Giurgiu-Romania
Kenan Rustemov-Azerbaijan, Sidi Abdallah Lemrabott-Mauritania
Qudrat Muhammadi-Afghanistan, Toubal Fethi-Algeria
Tran Quoc Thinh-Vietnam, Radu Diaconu-Romania
Pavlos Trifon-Greece, Rovsen Pirguliyev-Azerbaijan
Mohamed Amine Ben Ajiba-Morocco
𝟓 ± 𝒊√𝟑
𝒙 ∈ {−𝟓, }
𝟐
𝟏 + √𝟓
√𝒙𝟏 + √𝒙𝟐 = √𝟐 + √𝟓√𝟏 + (𝟏 + √𝟓) = √𝟏 + 𝟐 ∙
𝟖 𝟖
= √𝟏 + 𝟐𝝋
𝟐
𝟑 +𝟒
𝟏 √𝟑 + √𝟓 + 𝟏 √𝟔 + 𝟐√𝟓 + 𝟏
√𝟓 𝟐 𝟒
√ 𝒙𝟏 + √ 𝒙𝟐 = √
𝟖 𝟖
+ = = =
𝟐 𝟒
𝟑 + √𝟓 𝟒
𝟑 + √𝟓 𝟒
𝟔 + 𝟐√𝟓
√ √ √
𝟐 𝟐 𝟒
𝟐
√(√𝟓 + 𝟏) + 𝟏 √𝟓 + 𝟏
𝟐 + 𝟏 = 𝝋 + 𝟏 = 𝝋 = √𝝋𝟑 = √𝝋𝟐 + 𝝋 = √𝟏 + 𝟐𝝋
𝟒 𝟐
= =
𝟒 𝟐
√√𝟓 + 𝟏 √𝝋 √𝝋
√(√𝟓 + 𝟏) 𝟐
𝟒
Solution 3 by Samir Zaakouni-Morocco
𝑺 = 𝟖√ 𝒙𝟏 + 𝟖√𝒙𝟐 ⇒ 𝑺𝟐 − 𝟐 = 𝟒√𝒙𝟏 + 𝟒√𝒙𝟐
(𝑺𝟐 − 𝟐)𝟐 − 𝟐 = √𝒙𝟏 + √𝒙𝟐
((𝑺𝟐 − 𝟐)𝟐 − 𝟐)𝟐 = 𝒙𝟏 + 𝒙𝟐 + 𝟐
((𝑺𝟐 − 𝟐)𝟐 − 𝟐)𝟐 = 𝟗, (𝑺𝟐 − 𝟐)𝟐 − 𝟐 = 𝟑
(𝑺𝟐 − 𝟐)𝟐 = 𝟓, 𝑺𝟐 − 𝟐 = √𝟓, 𝑺𝟐 = 𝟐 + √𝟓
𝟏 + √𝟓
𝑺 = √𝟏 + 𝟐 ∙ = √𝟏 + 𝟐𝝋
𝟐
Solution 4 by Ahmad Ishnawahyudi-Indonesia
𝒙𝟏 + 𝒙𝟐 = 𝟕 𝒂𝒏𝒅 𝒙𝟏 𝒙𝟐 = 𝟏
𝑳𝒆𝒕 √ 𝒙𝟏 + √ 𝒙𝟐 = 𝒂, 𝟒√ 𝒙𝟏 + 𝟒√𝒙𝟐 = 𝒃 𝒂𝒏𝒅 𝒄 = √𝒙𝟏 + √𝒙𝟐 , 𝒕𝒉𝒆𝒏
𝟖 𝟖
𝟐(√𝟓 + 𝟏)
√𝒙𝟏 + √𝒙𝟐 = √𝟐 + √𝟓 = √𝟏 +
𝟖 𝟖
= √𝟏 + 𝟐𝝋
𝟐
Solution 7 by Tapas Das-India
𝒙𝟐 − 𝟕𝒙 + 𝟏 = 𝟎
𝟒 𝟒
𝟕 + 𝟑√𝟓 √𝟓 + 𝟏 𝟕 − 𝟑√𝟓 √𝟓 − 𝟏
𝒙𝟏 = =( ) , 𝒙𝟐 = =( )
𝟐 𝟐 𝟐 𝟐
√𝟓 + 𝟏 √√𝟓 − 𝟏 √ 𝟐(√𝟓 + 𝟏)
√ 𝒙𝟏 + √ 𝒙 𝟐 = √ = 𝟐 + √𝟓 = √𝟏 +
𝟖 𝟖
+ = √𝟏 + 𝟐𝝋
𝟐 𝟐 𝟐
′( 𝟐
𝟔𝒙𝟐 − 𝟏
′′ (
𝒇 𝒙) = 𝟑𝒙 − 𝐥𝐨𝐠 𝒙 − 𝟑 𝒂𝒏𝒅 𝒇 𝒙) =
𝒙
𝟏
𝒇′′ (𝒙) = 𝟎 ⇔ 𝒙 = , (𝒙 > 0)
√𝟔
𝟏
𝐥𝐨𝐠 𝒙
𝒇(𝟎) = 𝟏 − 𝐥𝐢𝐦 𝒙 𝐥𝐨𝐠 𝒙 = 𝟏 − 𝐥𝐢𝐦 = 𝟏 − 𝐥𝐢𝐦 𝒙 = 𝟏
𝒙→𝟎 𝒙→𝟎 𝟏 𝒙→𝟎 𝟏
−
𝒙 𝒙𝟐
𝟏 𝟓 𝟏 𝟓 𝟏
⇔ (𝒙 − ) − 𝟏 + 𝝀 √𝒙 − − 𝝀 = 𝟎, 𝒍𝒆𝒕: 𝒕 = √𝒙 −
𝒙 𝒙 𝒙
⇔ 𝒕𝟓 − 𝟏 + 𝝀(𝒕 − 𝟏) = 𝟎 ⇔ (𝒕 − 𝟏)(𝒕𝟒 + 𝒕𝟑 + 𝒕𝟐 + 𝒕 + 𝟏) + 𝝀(𝒕 − 𝟏) = 𝟎
⇔ (𝒕 − 𝟏)(𝒕𝟒 + 𝒕𝟑 + 𝒕𝟐 + 𝒕 + 𝟏 + 𝝀) = 𝟎
𝑡=1
⇔[ 𝟒
𝒕 + 𝒕 𝟑 + 𝒕𝟐 + 𝒕 + 𝟏 + 𝝀 = 𝟎
𝟏 𝟏 ± √𝟓
∗ 𝒕 = 𝟏 ⇔ 𝒙 − = 𝟏 ⇔ 𝒙𝟐 − 𝒙 − 𝟏 = 𝟎 ⇔ 𝒙 =
𝒙 𝟐
∗ 𝒕𝟒 + 𝒕𝟑 + 𝒕𝟐 + 𝒕 + 𝟏 + 𝝀 = (𝒕𝟐 + 𝒕)(𝒕𝟐 + 𝟏) + 𝟏 + 𝝀
𝑡≥𝟎
𝑪𝒂𝒔𝒆𝟏: [ ⇒ (𝒕𝟐 + 𝒕)(𝒕𝟐 + 𝟏) + 𝟏 + 𝝀 > 0 ⇒ 𝒕𝟒 + 𝒕𝟑 + 𝒕𝟐 + 𝒕 + 𝟏 + 𝝀 ≠ 𝟎
𝑡 ≤ −𝟏
⇒ 𝒕𝟒 + 𝒕𝟑 + 𝒕𝟐 + 𝒕 + 𝟏 + 𝝀 ≠ 𝟎
𝟏 ± √𝟓
⇒𝒙= 𝐚𝐫𝐞 𝐬𝐨𝐥𝐮𝐭𝐢𝐨𝐧𝐬
𝟐
610. Solve for real numbers:
𝟐 𝟏
𝒙𝟐 + = 𝟐√𝟐 (𝒙 − )
𝒙𝟐 + 𝟐𝒙 𝒙
Proposed by Amir Sofi-Kosovo
Solution by Pham Duc Nam-Vietnam
𝟐 𝟏
𝒙𝟐 + = 𝟐√𝟐 (𝒙 − ) (𝒆𝒒𝟎)(𝒙 ∈ ℝ)
𝒙𝟐 + 𝟐𝒙 𝒙
∗ 𝒙 ≠ 𝟎, 𝒙 ≠ −𝟐
𝒙𝟒 + 𝟐𝒙𝟑 + 𝟐 𝒙𝟐 − 𝟏 𝒙𝟒 + 𝟐𝒙𝟑 + 𝟐
∗ (𝒆𝒒𝟎) ⇔ = 𝟐√𝟐 ( )⇔ = 𝟐√𝟐(𝒙𝟐 − 𝟏)
𝒙(𝒙 + 𝟐) 𝒙 𝒙+𝟐
− (𝟐 + √𝟐)(𝟐 − 𝟑√𝟐) = 𝟎
𝒙𝟐 − (𝟐 + √𝟐) = 𝟎 𝑥 = ±√𝟐 + √𝟐
⇔[ ⇔
𝒙𝟐 + (𝟐 − 𝟐√𝟐)𝒙 + (𝟐 − 𝟑√𝟐) = 𝟎
√
{𝑥 = −𝟏 + √𝟐 ± 𝟏 + √𝟐
= 𝟎 ∴ 𝒕 = 𝒙𝟐 > 0
𝒕𝟐 = 𝟕 𝒙𝟒 = 𝟕
𝟐 ( ) 𝟐𝟎𝟓
⇔ (𝒕 − 𝟕) 𝟏𝟒𝟒𝒕 − 𝟐𝟎𝟓 = 𝟎 ⇔ [ ⇔ [ 𝟐 𝟐𝟎𝟓
𝑡= 𝒙 =
𝟏𝟒𝟒 𝟏𝟒𝟒
𝟒 𝟒
𝑥 = ± √𝟕 𝑪𝒉𝒆𝒄𝒌 𝒃𝒚 𝒅𝒊𝒓𝒆𝒄𝒕𝒍𝒚 𝒄𝒐𝒎𝒑𝒖𝒕𝒆
𝑥 = √𝟕
⇔[ √𝟐𝟎𝟓 → [ √𝟐𝟎𝟓
𝑥=± 𝑥=
𝟏𝟐 𝟏𝟐
613. Solve for real numbers:
𝟑 𝟑
√𝒙𝟑 + 𝒙𝟐 + 𝟗𝒙 − 𝟏 + √𝒙𝟑 − 𝟓𝒙𝟐 + 𝟗𝒙 − 𝟑 = 𝟐𝒙
Proposed by Amir Sofi-Kosovo
Solution by Pham Duc Nam-Vietnam
𝟑 𝟑
√𝒙𝟑 + 𝒙𝟐 + 𝟗𝒙 − 𝟏 + √𝒙𝟑 − 𝟓𝒙𝟐 + 𝟗𝒙 − 𝟑 = 𝟐𝒙
𝟑 𝟑
⇔ √𝒙𝟑 + 𝒙𝟐 + 𝟗𝒙 − 𝟏 − (𝒙 + 𝟏) + √𝒙𝟑 − 𝟓𝒙𝟐 + 𝟗𝒙 − 𝟑 − (𝒙 − 𝟏) = 𝟎
𝒙𝟑 + 𝒙𝟐 + 𝟗𝒙 − 𝟏 − (𝒙 + 𝟏)𝟑
⇔ 𝟑 𝟑
√(𝒙𝟑 + 𝒙𝟐 + 𝟗𝒙 − 𝟏)𝟐 + (𝒙 + 𝟏) √𝒙𝟑 + 𝒙𝟐 + 𝟗𝒙 − 𝟏 + (𝒙 + 𝟏)𝟐
𝒙𝟑 − 𝟓𝒙𝟐 + 𝟗𝒙 − 𝟑 − (𝒙 − 𝟏)𝟑
+𝟑 𝟑
=𝟎
√(𝒙𝟑 − 𝟓𝒙𝟐 + 𝟗𝒙 − 𝟑)𝟐 + (𝒙 − 𝟏) √𝒙𝟑 − 𝟓𝒙𝟐 + 𝟗𝒙 − 𝟑 + (𝒙 − 𝟏)𝟐
𝟑 ± √𝟓
⇔ 𝒙𝟐 − 𝟑𝒙 + 𝟏 = 𝟎 ⇔ 𝒙 =
𝟐
614. Solve for natural numbers:
𝒙𝟒 − 𝒚𝟔 − 𝒛𝟔 − 𝟏𝟒𝒙𝟐 + 𝟐𝒚𝟑 + 𝟐𝒛𝟑 − 𝟐𝒚𝟑 𝒛𝟑 + 𝟒𝟓 = 𝟎
Proposed by Elsen Kerimov-Azerbaijan
Solution 1 by Bedri Hajrizi-Mitrovica-Kosovo
𝑳𝒆𝒕 𝒙𝟐 = 𝒂, 𝒚𝟑 = 𝒃, 𝒛𝟑 = 𝒄, 𝒕𝒉𝒆𝒏
𝒂𝟐 − 𝟏𝟒𝒂 − 𝒃𝟐 − 𝟐𝒃𝒄 − 𝒄𝟐 + 𝟐𝒃 + 𝟐𝒄 + 𝟒𝟓 = 𝟎
(𝒂 − 𝟕)𝟐 + 𝟐(𝒃 + 𝒄) = (𝒃 + 𝒄)𝟐 + 𝟒
(𝒂 − 𝟕)𝟐 − 𝟐𝟐 = (𝒃 + 𝒄)(𝒃 + 𝒄 − 𝟐)
(𝒂 − 𝟕 + 𝟐)(𝒂 − 𝟕 − 𝟐) = (𝒃 + 𝒄)(𝒃 + 𝒄 − 𝟐)
(𝒂 − 𝟓)(𝒂 − 𝟗) = (𝒃 + 𝒄)(𝒃 + 𝒄 − 𝟐)
𝑳𝒆𝒕: 𝒂 − 𝟗 = 𝒑, 𝒃 + 𝒄 − 𝟐 = 𝒒, 𝒕𝒉𝒆𝒏: 𝒑(𝒑 + 𝟒) = 𝒒(𝒒 + 𝟐)
𝒑𝟐 + 𝟒𝒑 + 𝟒 − 𝟒 = 𝒒𝟐 + 𝟐𝒒 + 𝟏 − 𝟏
(𝒑 + 𝟐)𝟐 − 𝟒 = (𝒒 + 𝟏)𝟐 − 𝟏, ( 𝒑 + 𝟐) 𝟐 − ( 𝒒 + 𝟏) 𝟐 = 𝟑
(𝒑 + 𝟐 + 𝒒 + 𝟏)(𝒑 + 𝟐 − 𝒒 − 𝟏) = 𝟑
(𝒑 + 𝒒 + 𝟑)(𝒑 − 𝒒 + 𝟏) = 𝟑
𝒑+𝒒+𝟑 =𝟑
𝟏) { ⇒ 𝒑 = 𝒒 = 𝟎 𝒂𝒏𝒅 𝒉𝒆𝒏𝒄𝒆,
𝒑−𝒒+𝟏 =𝟏
𝒂 = 𝟗, 𝒃 = 𝒄 = 𝟏 𝒐𝒓 𝒙 = 𝟑, 𝒚 = 𝒛 = 𝟏.
𝒑+𝒒+𝟑 =𝟏 𝒑+𝒒=𝟐 𝒑=𝟎
𝟐) { ⇒{ ⇒{ 𝒂𝒏𝒅 𝒉𝒆𝒏𝒄𝒆,
𝒑−𝒒+𝟏 =𝟑 𝒑−𝒒=𝟐 𝒒 = −𝟐
√𝒙𝒚(𝒙 + 𝒚) = √𝒙𝒚(𝒙 + 𝒚)
𝐭𝐡𝐞𝐧 ∶ (𝒖, 𝒗, 𝟎), (𝒖, 𝟎, 𝒗), (𝟎, 𝒖, 𝒗), 𝒖, 𝒗 ≥ 𝟎, 𝐚𝐫𝐞 𝐬𝐨𝐥𝐮𝐭𝐢𝐨𝐧𝐬 𝐨𝐟 𝐭𝐡𝐞 𝐞𝐪𝐮𝐚𝐭𝐢𝐨𝐧.
𝐀𝐬𝐬𝐮𝐦𝐞 𝐧𝐨𝐰 𝐭𝐡𝐚𝐭 𝒙𝒚𝒛 > 0. 𝐓𝐡𝐞 𝐝𝐞𝐬𝐢𝐫𝐞𝐝 𝐞𝐪𝐮𝐚𝐭𝐢𝐨𝐧 𝐢𝐬 𝐞𝐪𝐮𝐢𝐯𝐚𝐥𝐞𝐧𝐭 𝐭𝐨:
𝒙𝒚 𝒚𝒛 𝒛𝒙 𝟐𝒙𝒚𝒛
√( +√ +√ = 𝟏+√
𝒚 + 𝒛)(𝒛 + 𝒙) (𝒛 + 𝒙)(𝒙 + 𝒚) (𝒙 + 𝒚)(𝒚 + 𝒛) (𝒙 + 𝒚)(𝒚 + 𝒛)(𝒛 + 𝒙)
𝐋𝐞𝐭
𝟏 𝟏 𝟏 𝟏 𝟏 𝟏
𝒂 = √ + ,𝒃 = √ + ,𝒄 = √ + .
𝒚 𝒛 𝒛 𝒙 𝒙 𝒚
𝒙𝒚 𝟏 𝒚𝒛 𝒛𝒙 𝒂𝟐 + 𝒃𝟐 − 𝒄𝟐
√( = .√ .√ = = 𝐜𝐨𝐬 𝑪 (𝐚𝐧𝐝 𝐚𝐧𝐚𝐥𝐨𝐠𝐬)
𝒚 + 𝒛)(𝒛 + 𝒙) 𝒛 𝒚 + 𝒛 𝒛 + 𝒙 𝟐𝒂𝒃
𝑩𝒖𝒕 𝒘𝒆 𝒉𝒂𝒗𝒆:
𝑮𝒆𝒓𝒓𝒆𝒕𝒔𝒆𝒏
𝒔𝟐 − (𝟐𝑹 + 𝒓)𝟐 (𝟒𝑹𝟐 + 𝟒𝑹𝒓 + 𝟑𝒓𝟐 ) − (𝟐𝑹 + 𝒓)𝟐 𝒓𝟐
𝐜𝐨𝐬 𝑨 𝐜𝐨𝐬 𝑩 𝐜𝐨𝐬 𝑪 = ⏞
≤ = ,
𝟒𝑹𝟐 𝟒𝑹𝟐 𝟐𝑹𝟐
𝒓
𝒕𝒉𝒆𝒏 ∶ 𝟏 + √𝟐 𝐜𝐨𝐬 𝑨 𝐜𝐨𝐬 𝑩 𝐜𝐨𝐬 𝑪 ≤ 𝟏 + = 𝐜𝐨𝐬 𝑨 + 𝐜𝐨𝐬 𝑩 + 𝐜𝐨𝐬 𝑪,
𝑹
𝑻𝒉𝒆𝒓𝒆𝒇𝒐𝒓𝒆, 𝑺 = {(𝒖, 𝒗, 𝟎), (𝒖, 𝟎, 𝒗), (𝟎, 𝒖, 𝒗), (𝒖, 𝒖, 𝒖)|𝒖, 𝒗 ≥ 𝟎}.
⇔ 𝒕 = √𝟑 ⇔ −𝒙𝟐 + 𝟔𝒙 − √𝟑 = 𝟎 ⇔ 𝒙 = 𝟑 ± √𝟗 − √𝟑
𝟑 𝟐𝟗
𝒇(−𝟐) = −𝟓 < 0 𝑎𝑛𝑑 𝑓 (− ) = > 0 𝑓𝑟𝑜𝑚 𝐵𝑜𝑙𝑧𝑎𝑛𝒐′ 𝒔 𝒍𝒆𝒎𝒎𝒂
𝟐 𝟑𝟐
𝟑
(∃)𝒙𝟎 ∈ (−𝟐, − ) , 𝒇(𝒙𝟎 ) = 𝟎
𝟐
𝑺𝒐, 𝑺 = {−𝟐, 𝒙𝟎 , 𝟏}.
Solution 2 by Pham Duc Nam-Vietnam
𝟏 𝟏 𝟏 𝟏
+ 𝟒 = 𝟔 +
𝒙 ( 𝒙 + 𝟏) 𝒙 + 𝟏 𝒙 + 𝒙 𝟓 − 𝒙 𝟒 + 𝟏 𝟐
𝟏. 𝑪𝒐𝒏𝒅𝒊𝒕𝒊𝒐𝒏: 𝒙 ≠ 𝟎, 𝒙 ≠ 𝟏, 𝒙 ≠ 𝒙(∗) , 𝒘𝒉𝒆𝒓𝒆 𝒙(∗) − 𝒊𝒔 𝒓𝒐𝒐𝒕 𝒐𝒇 𝒙𝟓 − 𝒙𝟑 + 𝒙𝟐 − 𝒙 + 𝟏 = 𝟎
𝟏 𝟏 𝟏 𝟏
𝟐. + 𝟒 = 𝟔 + ⇔
𝒙 ( 𝒙 + 𝟏) 𝒙 + 𝟏 𝒙 + 𝒙 𝟓 − 𝒙 𝟒 + 𝟏 𝟐
𝒙𝟒 + 𝟏 + 𝒙𝟐 + 𝒙 𝟐 + 𝒙𝟔 + 𝒙𝟓 − 𝒙𝟒 + 𝟏
+ ⇔
𝒙(𝒙 + 𝟏)(𝒙𝟒 + 𝟏) 𝟐(𝒙 + 𝟏)(𝒙𝟓 − 𝒙𝟑 + 𝒙𝟐 − 𝒙 + 𝟏)
𝒙𝟒 + 𝒙 𝟐 + 𝒙 + 𝟏 𝒙𝟔 + 𝒙 𝟓 − 𝒙𝟒 + 𝟑
= ⇔
𝒙 ( 𝒙 𝟒 + 𝟏) 𝟐( 𝒙 𝟓 − 𝒙 𝟑 + 𝒙 𝟐 − 𝒙 + 𝟏)
𝒙𝟕 + 𝟑𝒙𝟔 + 𝒙𝟓 − 𝟐𝒙𝟒 − 𝒙 − 𝟐 = 𝟎
(𝒙 − 𝟏)(𝒙 + 𝟐)(𝒙𝟓 + 𝟐𝒙𝟒 + 𝒙𝟑 + 𝒙𝟐 + 𝒙 + 𝟏) = 𝟎
{ 𝒙=𝟏
𝒙 = −𝟐
𝒙𝟓 + 𝟐𝒙𝟒 + 𝒙𝟑 + 𝒙𝟐 + 𝒙 + 𝟏 = 𝟎
𝟑. 𝑳𝒆𝒕 𝒇(𝒙) = 𝒙𝟓 + 𝟐𝒙𝟒 + 𝒙𝟑 + 𝒙𝟐 + 𝒙 + 𝟏 𝒉𝒂𝒔 𝑮𝒂𝒍𝒐𝒊𝒔 𝒈𝒓𝒐𝒖𝒑 𝒊𝒔 𝑺𝟓 , 𝒂𝒏𝒅 𝒐𝒓𝒅𝒆𝒓 𝟏𝟐𝟎
⇒ 𝒇(𝒙) 𝒊𝒔 𝒊𝒓𝒓𝒆𝒅𝒖𝒄𝒊𝒃𝒍𝒆 𝒂𝒏𝒅 𝒖𝒏𝒔𝒐𝒍𝒗𝒂𝒃𝒍𝒆, 𝒕𝒉𝒆𝒏 𝒇(𝒙) = 𝟎 𝒉𝒂𝒔 𝒐𝒏𝒆 𝒓𝒐𝒐𝒕 𝒂𝒏𝒅 𝒕𝒉𝒊𝒔 𝒓𝒐𝒐𝒕
𝒄𝒂𝒏𝒏𝒐𝒕 𝒃𝒆 𝒆𝒙𝒑𝒓𝒆𝒔𝒔𝒆𝒅 𝒃𝒚 𝒓𝒂𝒅𝒊𝒄𝒂𝒍𝒔.
𝒇(−𝟏) = 𝟏, 𝒇(−𝟐) = −𝟓 ⇒ 𝒇(−𝟏)𝒇(−𝟐) < 0 𝑡ℎ𝑒𝑛 𝑡ℎ𝑠 𝑟𝑜𝑜𝑡 𝑙𝑖𝑒
𝒊𝒏 (−𝟐, −𝟏), 𝒘𝒆 𝒄𝒂𝒍𝒍 𝒕𝒉𝒊𝒔 𝒓𝒐𝒐𝒕 𝒊𝒔 𝒙(∗∗).
𝟑
𝑩𝒚 𝒖𝒔𝒊𝒏𝒈 𝑵𝒆𝒘𝒕𝒐𝒏 − 𝑹𝒂𝒑𝒉𝒔𝒐𝒏 𝒎𝒆𝒕𝒉𝒐𝒅, 𝒘𝒆 𝒑𝒊𝒄𝒌 𝒙𝟎 = − ∈ (−𝟐, −𝟏) 𝒂𝒏𝒅 𝒔𝒆𝒕:
𝟐
𝒇(𝒙𝟎 ) 𝒇(𝒙𝒏 )
𝒙𝟏 = 𝒙𝟎 − , 𝒕𝒉𝒆𝒏 𝒙𝒏+𝟏 = 𝒙𝒏 − ′
𝒇′ (𝒙𝟎 ) 𝒇 ( 𝒙𝒏 )
𝑨 𝒏𝒖𝒎𝒆𝒓𝒊𝒄𝒂𝒍 𝒔𝒐𝒍𝒖𝒕𝒊𝒐𝒏 𝒊𝒔 𝒙 ≅ −𝟏. 𝟔𝟕𝟑𝟔𝟒𝟖𝟓𝟒𝟔.
𝑻𝒉𝒆𝒏 𝒕𝒉𝒆 𝒈𝒊𝒗𝒆𝒏 𝒆𝒒𝒖𝒂𝒍𝒕𝒊𝒐𝒏 𝒉𝒂𝒔 𝟑 𝒓𝒐𝒐𝒕𝒔: 𝒙 = 𝟏, 𝒙 = −𝟐, 𝒙(∗∗) .
𝟏
𝒚= 𝝅
𝟏 − 𝒕𝒂𝒏 𝟏𝟒
𝟐𝒙𝟒 𝐲 + 𝟑𝐲𝟒 𝒛 + 𝟒𝐳 𝟒 𝐲 = 𝟗
Proposed by Samed Ahmedov-Azerbaijan
Solution 1 by Mohamed Amine Ben Ajiba-Tanger-Morocco
𝒙, 𝒚, 𝒛 ∈ ℝ+
{√(𝒙𝟐 𝒚 + 𝒚𝟐 𝒛 + 𝒛𝟐 𝒙)(𝒙𝒚𝟐 + 𝒚𝒛𝟐 + 𝒛𝒙𝟐 ) = 𝒙𝒚𝒛 + 𝟑√(𝒙𝟑 + 𝒙𝒚𝒛)(𝒚𝟑 + 𝒙𝒚𝒛)(𝒛𝟑 + 𝒙𝒚𝒛) (𝟏)
𝟐𝒙𝟒 𝒚 + 𝟑𝒚𝟒 𝒛 + 𝟒𝒛𝟒 𝒚 = 𝟗 (𝟐)
𝑨𝑴−𝑮𝑴
(𝒙𝟑 + 𝒙𝒚𝒛)(𝒚𝟑 + 𝒙𝒚𝒛)(𝒛𝟑 + 𝒙𝒚𝒛) 𝟐√𝒙𝟑 . 𝒙𝒚𝒛. 𝟐√𝒚𝟑 . 𝒙𝒚𝒛. 𝟐√𝒛𝟑 . 𝒙𝒚𝒛
𝐋𝐞𝐭 𝒌 ≔ ⏞
≥ = 𝟏.
𝟖(𝒙𝒚𝒛)𝟑 𝟖(𝒙𝒚𝒛)𝟑
𝐒𝐢𝐧𝐜𝐞 (𝒙𝟐 𝒚 + 𝒚𝟐 𝒛 + 𝒛𝟐 𝒙)(𝒙𝒚𝟐 + 𝒚𝒛𝟐 + 𝒛𝒙𝟐 ) = (𝒙𝟐 + 𝒚𝒛)(𝒚𝟐 + 𝒛𝒙)(𝒛𝟐 + 𝒙𝒚) + (𝒙𝒚𝒛)𝟐 ,
𝟑 𝟖𝒌 𝟑 𝟑
√𝟖𝒌 + 𝟏 = 𝟏 + √𝟖𝒌 ⇔ = 𝟐√𝒌 ⇔ 𝟒 √ 𝒌𝟐 = √𝟖𝒌 + 𝟏 + 𝟏,
√𝟖𝒌 + 𝟏 + 𝟏
𝟑 𝟑 𝟑
𝒃𝒖𝒕 𝒔𝒊𝒏𝒄𝒆 𝒌 ≥ 𝟏 𝒕𝒉𝒆𝒏 ∶ 𝟒 √𝒌𝟐 = 𝟑 √ 𝒌𝟐 + √𝒌𝟐 ≥ 𝟑√𝒌 + 𝟏 = √𝟗𝒌 + 𝟏 ≥ √𝟖𝒌 + 𝟏 + 𝟏,
𝑻𝒉𝒆𝒓𝒆𝒇𝒐𝒓𝒆, 𝒙 = 𝒚 = 𝒛 = 𝟏.
∑𝐜𝐲𝐜 𝒙𝟑 𝐲 𝟑 ∑𝐜𝐲𝐜 𝒙𝟑 𝟑 ∑
𝐜𝐲𝐜 𝒙 𝐲
𝟑 𝟑 ∑𝐜𝐲𝐜 𝒙𝟑
⇒ 𝒙𝐲𝐳. √ + + 𝟑 = 𝒙𝐲𝐳 + 𝒙𝐲𝐳. √ + +𝟐
𝒙𝟐 𝐲 𝟐 𝐳 𝟐 𝒙𝐲𝐳 𝒙𝟐 𝐲 𝟐 𝐳 𝟐 𝒙𝐲𝐳
(∗) 𝟑
∑𝐜𝐲𝐜 𝒙𝟑 𝐲 𝟑 ∑𝐜𝐲𝐜 𝒙𝟑 𝐀−𝐆
⇒ √𝐭 + 𝟑 = 𝟏 + √𝐭 + 𝟐 (𝐭 = + ≥ 𝟑 + 𝟑 = 𝟔 → (𝟏))
𝒙𝟐 𝐲 𝟐 𝐳 𝟐 𝒙𝐲𝐳
𝟑
𝐋𝐞𝐭 √𝐭 + 𝟐 = 𝐦 ≥ 𝟐 > 0 (∵ 𝐭 ≥ 𝟔) ∴ 𝐭 + 𝟐 = 𝐦𝟑 ⇒ 𝐭 + 𝟑 = 𝐦𝟑 + 𝟏
∴ (∗) 𝐛𝐞𝐜𝐨𝐦𝐞𝐬 ∶ √𝐦𝟑 + 𝟏 = 𝟏 + 𝐦 ⇒ 𝐦𝟑 + 𝟏 = 𝐦𝟐 + 𝟐𝐦 + 𝟏
⇒ 𝐦(𝐦𝟐 − 𝐦 − 𝟐) = 𝟎 ⇒ 𝐦(𝐦 − 𝟐)(𝐦 + 𝟏) = 𝟎 ⇒ 𝐦 = 𝟐 (∵ 𝐦 > 0) ⇒ 𝐭 = 𝟔
∑𝐜𝐲𝐜 𝒙𝟑 𝐲 𝟑 ∑𝐜𝐲𝐜 𝒙𝟑 ∑𝐜𝐲𝐜 𝒙𝟑 𝐲 𝟑 ∑𝐜𝐲𝐜 𝒙𝟑 𝐯𝐢𝒂 (𝟏) ′′ ′′
⇒ 𝟐 𝟐 𝟐 + = 𝟔, 𝐛𝐮𝐭 𝟐 𝟐 𝟐 + ≥ 𝟔, = 𝐢𝐟𝐟 𝒙 = 𝐲 = 𝐳
𝒙 𝐲 𝐳 𝒙𝐲𝐳 𝒙 𝐲 𝐳 𝒙𝐲𝐳
∴ 𝒙 = 𝐲 = 𝐳 𝒂𝐧𝐝 𝐯𝐢𝒂 𝒙 = 𝐲 = 𝐳, 𝟐𝒙𝟒 𝐲 + 𝟑𝐲 𝟒 𝒛 + 𝟒𝐳 𝟒 𝐲 = 𝟗 ⇒ 𝟗𝒙𝟓 = 𝟗 ⇒ 𝒙 = 𝟏
∴ 𝒙 = 𝐲 = 𝐳 = 𝟏 (𝒂𝒏𝒔)
623. Solve for real numbers:
𝑥𝒚𝟒 𝒕 + 𝟔𝒙𝟐 𝒚 = 𝟐𝒕𝟐
{𝑥𝑡 + 𝒚𝟑 𝒕𝟐 = 𝟔𝒙𝟐 𝒚𝟒
𝒚𝟑 𝒕 − 𝒙𝒚𝟔 𝒕𝟐 = 𝟐𝒙𝟐
Proposed by Hikmat Mammadov-Azerbaijan
Solution by Pham Duc Nam-Vietnam
𝑥𝒚𝟒 𝒕 + 𝟔𝒙𝟐 𝒚 = 𝟐𝒕𝟐 𝑥𝒚𝟒 𝒕 + 𝟔𝒙𝟐 𝒚 − 𝟐𝒕𝟐 = 𝟎(𝟏)
{𝑥𝑡 + 𝒚𝟑 𝒕𝟐 = 𝟔𝒙𝟐 𝒚𝟒 ⇔ {𝑥𝑡 + 𝒚𝟑 𝒕𝟐 − 𝟔𝒙𝟐 𝒚𝟒 = 𝟎(𝟐)
𝒚𝟑 𝒕 − 𝒙𝒚𝟔 𝒕𝟐 = 𝟐𝒙𝟐 𝒚𝟑 𝒕 − 𝒙𝒚𝟔 𝒕𝟐 − 𝟐𝒙𝟐 = 𝟎(𝟑)
∗ 𝑪𝒍𝒆𝒂𝒓𝒍𝒚: (𝒙, 𝒚, 𝒕) = (𝟎, 𝒚, 𝟎) 𝒊𝒔 𝒂 𝒔𝒐𝒍𝒖𝒕𝒊𝒐𝒏
∗ 𝑨𝒔𝒔𝒖𝒎𝒆: 𝒙, 𝒚, 𝒕 ≠ 𝟎
⊕ 𝒚 . 𝟏 + (𝟐) = 𝟎 ⇔ −𝒕 𝒚 − 𝒙𝒕𝒚𝟕 + 𝒙𝒕 = 𝟎 ⇔ 𝒙 + 𝒙𝒚𝟕 − 𝒚𝟑 𝒕 = 𝟎 ⇔ 𝒙(𝟏 + 𝒚𝟕 ) − 𝒕𝒚𝟑 = 𝟎
𝟑 ( ) 𝟐 𝟑
𝒕 𝟏 + 𝒚𝟕
⇒ = (∗)
𝒙 𝒚𝟑
𝒙𝒕 + 𝒚𝟑 𝒕𝟐 − 𝟔𝒙𝟐 𝒚𝟒 𝒕 𝒙
⊕ 𝑭𝒓𝒐𝒎 (𝟐) ⇒ = 𝟎 ⇔ 𝟏 + 𝒚𝟑 − 𝟔𝒚𝟒 = 𝟎(∗∗)
𝒙𝒕 𝒙 𝒕
𝟑
𝟏 + 𝒚𝟕 𝟒
𝒚𝟑 𝟕
𝟔𝒚𝟕
𝑷𝒖𝒕 (∗) 𝒕𝒐 (∗∗) ⇒ 𝟏 + 𝒚 − 𝟔𝒚 = 𝟎 ⇔ 𝟐 + 𝒚 − =𝟎
𝒚𝟑 𝟏 + 𝒚𝟕 𝟏 + 𝒚𝟕
𝒚𝟕 = 𝟏 𝑦=1
⇔ 𝒚𝟏𝟒 − 𝟑𝒚𝟕 + 𝟐 = 𝟎 ⇔ [ 𝟕 ⇔[ 𝟕
𝒚 =𝟐 𝑦 = √𝟐
𝝅
625. If 𝟎 ≤ 𝒂 ≤ 𝒃 < then:
𝟐
| |
𝒃 𝒂
| − | ≥ |𝒃 − 𝒂|
𝒃𝟐 𝒂𝟐
𝟏− 𝟏−
𝒃𝟐 𝒂𝟐
𝟑− 𝟑−
| 𝒃𝟐 𝒂𝟐 |
𝟓− 𝟓−
𝒃𝟐 𝒂𝟐
𝟕− 𝟕−
… …
Proposed by Daniel Sitaru-Romania
Solution 1 by Toubal Fethi-Algerie
𝑩𝒚 𝒖𝒔𝒊𝒏𝒈 𝑮𝒂𝒖𝒔𝒔′ 𝒔 𝒄𝒐𝒏𝒕𝒊𝒏𝒖𝒆𝒅 𝒇𝒓𝒂𝒄𝒕𝒊𝒐𝒏, 𝒘𝒆 𝒈𝒆𝒕:
√𝒙𝟑 + 𝒚𝟐 + √𝒙𝟐 + 𝒚𝟑 = 𝒙 + 𝒚
Proposed by Sakthi Vel-India
Solution by Mohamed Amine Ben Ajiba-Tanger-Morocco
𝐖𝐋𝐎𝐆, 𝐰𝐞 𝐚𝐬𝐬𝐮𝐦𝐞 𝐭𝐡𝐚𝐭 𝒙 ≥ 𝒚.
√𝒙𝟑 + 𝒚𝟐 + √𝒙𝟐 + 𝒚𝟑 ≥ 𝒙 + 𝒚,
√𝒙𝟑 + 𝒚𝟐 + √𝒙𝟐 + 𝒚𝟑 ≥ 𝒙 + 𝒚,
𝟑 𝟑
√ (𝟏 + 𝒙)(𝟏 + 𝐲)(𝟏 + 𝐳) + √(𝟏 − 𝒙)(𝟏 − 𝐲)(𝟏 − 𝐳) = 𝟐
𝐜𝐮𝐛𝐢𝐧𝐠
⇒ ∏(𝟏 + 𝒙) + ∏(𝟏 − 𝒙)
𝐜𝐲𝐜 𝐜𝐲𝐜
(∗)
⇒ 𝟑 − ∑ 𝒙𝐲 = 𝟑. 𝟑√ ∏(𝟏 − 𝒙𝟐 )
𝐜𝐲𝐜 𝐜𝐲𝐜
𝟐
𝒙+𝐲+𝐳 = 𝟏 𝟏
𝐍𝐨𝐰, ∀ 𝒙, 𝐲, 𝐳 ∈ ℝ, 𝟑 ∑ 𝒙𝐲 ≤ (∑ 𝒙) = 𝟏 ⇒ − ∑ 𝒙𝐲 ≥ − ⇒ 𝟑 − ∑ 𝒙𝐲
𝟑
𝐜𝐲𝐜 𝐜𝐲𝐜 𝐜𝐲𝐜 𝐜𝐲𝐜
𝟏 𝟖 𝐯𝐢𝒂 (∗) 𝟑 𝟖 𝟖
≥ 𝟑− = ⇒ 𝟑. √ ∏(𝟏 − 𝒙𝟐 ) ≥ ⇒ 𝟑√ ∏(𝟏 − 𝒙𝟐 ) ≥
𝟑 𝟑 𝟑 𝟗
𝐜𝐲𝐜 𝐜𝐲𝐜
𝟖 𝟏 𝟖
⇒ 𝐥𝐧 ( 𝟑√∏(𝟏 − 𝒙𝟐 )) ≥ 𝐥𝐧 ( ) ⇒ ∑ 𝐥𝐧(𝟏 − 𝒙𝟐 ) ≥ 𝐥𝐧 ( )
𝟗 𝟑 𝟗
𝐜𝐲𝐜 𝐜𝐲𝐜
(∗∗) 𝟖
⇒ ∑ 𝐥𝐧(𝟏 − 𝒙𝟐 ) ≥ 𝟑𝐥𝐧 ( )
𝟗
𝐜𝐲𝐜
( 𝒙𝟐 + 𝟏)
𝐋𝐞𝐭 𝐟(𝒙) = 𝐥𝐧(𝟏 − 𝒙𝟐 ) ∀ 𝒙 ∈ ℝ+ 𝒂𝐧𝐝 𝐭𝐡𝐞𝐧 ∶ 𝐟 ′′(𝒙) = − <0
( 𝒙𝟐 − 𝟏) 𝟐
(∵ 𝒙, 𝐲, 𝐳 > 0 𝑎𝐧𝐝 𝒙 + 𝐲 + 𝐳 = 𝟏 ⇒ 𝒙, 𝐲, 𝐳 < 1 ⇒ 𝒙, 𝐲, 𝐳 ≠ 𝟏)
𝐉𝐞𝐧𝐬𝐞𝐧 ∑𝐜𝐲𝐜 𝒙 𝟐
+ 𝟐
⇒ 𝐟(𝒙) 𝐢𝐬 𝐜𝐨𝐧𝐜𝒂𝐯𝐞 ∀ 𝒙 ∈ ℝ ⇒ ∑ 𝐥𝐧(𝟏 − 𝒙 ) ≤ 𝟑𝐥𝐧 (𝟏 − ( ) )
𝟑
𝐜𝐲𝐜
𝟏
⇒ 𝒙 = 𝐲 = 𝐳 𝒂𝐧𝐝 ∵ 𝒙 + 𝐲 + 𝐳 = 𝟏 ∴ 𝒙 = 𝐲 = 𝐳 = (𝒂𝐧𝐬)
𝟑
Solution 3 by Khanh Hai-Vietnam
𝒙, 𝒚, 𝒛 > 0; (𝒊)
{ √(𝟏 + 𝒙)(𝟏 + 𝒚)(𝟏 + 𝒛) + 𝟑√ (𝟏 − 𝒙)(𝟏 − 𝒚)(𝟏 − 𝒛) = 𝟐; (𝒊𝒊)
𝟑
𝒙 + 𝒚 + 𝒛 = 𝟏; (𝒊𝒊𝒊)
𝑭𝒓𝒐𝒎 (𝒊) 𝒂𝒏𝒅 (𝒊𝒊𝒊), 𝒘𝒆 𝒉𝒂𝒗𝒆: 𝟎 < 𝑥, 𝑦, 𝑧 < 1 ⇒ 1 − 𝑥, 1 − 𝑦, 1 − 𝑧 > 0
𝟑 + ( 𝒙 + 𝒚 + 𝒛) 𝟑 − ( 𝒙 + 𝒚 + 𝒛)
𝑩𝒚 𝑨𝑴 − 𝑮𝑴: 𝑳𝑯𝑺(𝒊𝒊) ≤ + = 𝟐 = 𝑹𝑯𝑺(𝒊𝒊)
𝟑 𝟑
𝒙=𝒚=𝒛>0 𝟏
𝑬𝒒𝒖𝒂𝒍𝒊𝒕𝒚 𝒉𝒐𝒍𝒅𝒔 𝒊𝒇 𝒂𝒏𝒅 𝒐𝒏𝒍𝒚 𝒊𝒇 { ⇔𝒙=𝒚=𝒛= .
𝒙+𝒚+𝒛 =𝟏 𝟑
Solution 4 by Myagmarsuren Yadamsuren-Darkhan-Mongolia
∑𝒙=𝟏
𝑴 = ∏(𝟏 + 𝒙) = 𝟐 + ∑ 𝒙𝒚 + 𝒙𝒚𝒛
𝒄𝒚𝒄 𝒄𝒚𝒄
𝑵 = ∏(𝟏 − 𝒙) = ∑ 𝒙𝒚 − 𝒙𝒚𝒛
𝒄𝒚𝒄 𝒄𝒚𝒄
𝟐
𝟏 𝟐 𝟖
𝑴 + 𝑵 = 𝟐 + 𝟐 ∑ 𝒙𝒚 = 𝟐 + 𝟐 ⋅ (∑ 𝒙) = 𝟐 + =
𝟑 𝟑 𝟑
𝒄𝒚𝒄 𝒄𝒚𝒄
𝟖
{𝑴 + 𝑵 = 𝟑
𝑴>𝑁
𝟑 𝟑 𝟑
( √𝑴 + √𝑵) = 𝟐𝟑
𝟑 𝟑 𝟑 𝟑 𝟖 𝟑 𝟖
𝟖 = 𝑴 + 𝑵 + 𝟑√𝑴𝑵( √𝑴 + √𝑵) ⇒ 𝟑 ⋅ √𝑴𝑵 = ⇒ √𝑴𝑵 =
𝟑 𝟗
𝑨+𝑩=𝟐
𝟑 𝟑 𝟖 𝟒 𝟐
𝑳𝒆𝒕 √𝑴 = 𝑨 𝒂𝒏𝒅 √𝑵 = 𝑩 ⇒ { 𝑨𝑩 = ⇒ (𝑨, 𝑩) = ( , ),
𝟗 𝟑 𝟑
𝑨>𝐵
𝟏 𝟏
𝒑 = 𝟏, 𝒒 = ,𝒓 =
𝟑 𝟐𝟕
𝟑 𝟐
𝟏 𝟏 𝟏 𝟑 𝟏 𝟏
( )
𝒕 = 𝒙, 𝒚, 𝒛 ⇒ 𝒕 − 𝒕 + 𝒕 − = 𝟎 ⇔ (𝒕 − ) = 𝟎 ⇒ 𝒕 = ⇒ 𝒙 = 𝒚 = 𝒛 = .
𝟑 𝟐𝟕 𝟑 𝟑 𝟑
𝟏𝟓
630. 𝒂 < 𝑏 = 𝑐 < 𝑑 < 𝑒, 𝛼 = √𝜷 = 𝒆𝒊 𝒂𝒓𝒄𝒔𝒊𝒏 𝟖𝒊 ,
√𝒂+√𝒃+√𝒆 𝒂𝒅
𝒙𝜶 + 𝜷𝒙𝜶−𝟏 − 𝟐𝜷𝒙𝜶−𝟑 = 𝜶𝟐 for: 𝒙 = . Find:
√𝒄+√𝒅 𝒆
𝟏𝟓 𝟏𝟓 𝟏𝟓𝒊 𝟏𝟓
∗ 𝜶 = √𝜷 = 𝒆𝒊 𝒂𝒓𝒄𝒔𝒊𝒏 𝟖𝒊 , 𝒊 𝒂𝒓𝒄𝒔𝒊𝒏 = 𝒊 𝒂𝒓𝒄𝒔𝒊𝒏 (− ) = 𝒊. 𝒊 𝒔𝒊𝒏𝒉−𝟏 (− )
𝟖𝒊 𝟖 𝟖
𝟏𝟓 𝟐 𝟏𝟓
= − 𝒍𝒐𝒈 (√(− ) +𝟏− )
𝟖 𝟖
𝟐𝟖𝟗 𝟏𝟓 𝟏𝟕 𝟏𝟓 𝟏𝟓
= − 𝒍𝒐𝒈 (√ − ) = − 𝒍𝒐𝒈 ( − ) = 𝒍𝒐𝒈(𝟒) ⇒ 𝜶 = √𝜷 = 𝒆𝒊 𝒂𝒓𝒄𝒔𝒊𝒏 𝟖𝒊 = 𝟒
𝟔𝟒 𝟖 𝟖 𝟖
∗ 𝒙𝜶 + 𝜷𝒙𝜶−𝟏 − 𝟐𝜷𝒙𝜶−𝟑 = 𝜶𝟐 ⇔ 𝒙𝟒 + 𝟏𝟔𝒙𝟑 − 𝟑𝟐𝒙 = 𝟏𝟔 ⇔ 𝒙𝟒 + 𝟏𝟔𝒙𝟑 − 𝟑𝟐𝒙 − 𝟏𝟔 = 𝟎
Sub: 𝒙 = 𝒕 − 𝟒 ⇔ 𝒕𝟒 − 𝟗𝟔𝒕𝟐 + 𝟒𝟖𝟎𝒕 − 𝟔𝟓𝟔 = 𝟎
𝟐 𝟐 𝒕𝟐 − 𝟖 = 𝟒√𝟓(𝒕 − 𝟑)
⇔ (𝒕𝟐 − 𝟖) − 𝟖𝟎(𝒕 − 𝟑)𝟐 = 𝟎 ⇔ (𝒕𝟐 − 𝟖) = 𝟖𝟎(𝒕 − 𝟑)𝟐 ⇔ [ 𝟐
𝒕 − 𝟖 = −𝟒√𝟓(𝒕 − 𝟑)
𝟒 −𝟒𝒙𝟐 −𝟑𝒙+𝟔 𝟑𝒙
𝟐𝒙 =√ 𝟐
𝒙 +𝟐
∗ Domain: 𝒙 > 0
∗ 𝒙𝟒 − 𝟒𝒙𝟐 − 𝟑𝒙 + 𝟔 = (𝒙𝟐 + 𝟐)𝟐 − (𝟑𝒙)𝟐 + (𝒙𝟐 + 𝟐 − 𝟑𝒙)
33 RMM-ABSTRACT ALGEBRA MARATHON 601-700
www.ssmrmh.ro
𝟏 𝟏
⇒ (𝟏) ⇔ (𝒙𝟐 + 𝟐)𝟐 − (𝟑𝒙)𝟐 + (𝒙𝟐 + 𝟐 − 𝟑𝒙) = 𝒍𝒐𝒈𝟐 (𝟑𝒙) − 𝒍𝒐𝒈𝟐(𝒙𝟐 + 𝟐)
𝟐 𝟐
𝟏 𝟏
⇔ (𝒙𝟐 + 𝟐)𝟐 + (𝒙𝟐 + 𝟐) + 𝒍𝒐𝒈𝟐 (𝒙𝟐 + 𝟐) = (𝟑𝒙)𝟐 + 𝟑𝒙 + 𝒍𝒐𝒈𝟐 (𝟑𝒙)
𝟐 𝟐
𝟏
∗ Consider : 𝒇(𝒕) = 𝒕𝟐 + 𝒕 + 𝒍𝒐𝒈𝟐 (𝒕) , 𝒕 > 0
𝟐
𝟏
⇒ 𝒇′(𝒕) = 𝟐𝒕 + + 𝟏 > 0∀𝒕 > 0 ⇒ 𝒇(𝒕) is always increasing
𝟐𝒕 𝒍𝒐𝒈(𝟐)
𝑥 = 1(
⇒ 𝒇(𝒙𝟐 + 𝟐) = 𝒇(𝟑𝒙) ⇔ 𝒙𝟐 + 𝟐 = 𝟑𝒙 ⇔ [ Satisfied)
𝑥=2
⇒ 𝒙 = 𝟏, 𝒙 = 𝟐 are solutions
𝐧+𝟒 𝐧+𝟒
633. 𝐏𝐫𝐨𝐯𝐞 𝐭𝐡𝒂𝐭 ∶ 𝐅𝐧+𝟐 − 𝐅𝐧 𝐅𝐧+𝟏 < 𝒂𝐧𝐝 𝐋𝐧+𝟐 − 𝐋𝐧 𝐋𝐧+𝟏 <
𝟒 𝟒
𝐬𝐢𝐧𝒎+𝟐 𝒕 𝐜𝐨𝐬𝒎+𝟐 𝒕
+
(𝑭𝒏 𝐬𝐢𝐧 𝒕 + 𝑭𝒏+𝟏 𝐜𝐨𝐬 𝒕)𝒎 (𝑭𝒏 𝐜𝐨𝐬 𝒕 + 𝑭𝒏+𝟏 𝐬𝐢𝐧 𝒕)𝒎
𝒎+𝟏 𝒎+𝟏
(𝐬𝐢𝐧𝟐 𝒕) (𝐜𝐨𝐬𝟐 𝒕)
= +
(𝑭𝒏 𝐬𝐢𝐧𝟐 𝒕 + 𝑭𝒏+𝟏 𝐜𝐨𝐬 𝒕 𝐬𝐢𝐧 𝒕)𝒎 (𝑭𝒏 𝐜𝐨𝐬𝟐 𝒕 + 𝑭𝒏+𝟏 𝐜𝐨𝐬 𝒕 𝐬𝐢𝐧 𝒕)𝒎
𝒎+𝟏
(𝐬𝐢𝐧𝟐 𝒕 + 𝐜𝐨𝐬𝟐 𝒕) 𝟏
≥ 𝟐 𝟐 𝒎
≥
[𝑭𝒏 (𝐬𝐢𝐧 𝒕 + 𝐜𝐨𝐬 𝒕) + 𝟐𝑭𝒏+𝟏 𝐜𝐨𝐬 𝒕 𝐬𝐢𝐧 𝒕] [𝑭𝒏 + 𝑭𝒏+𝟏 (𝐬𝐢𝐧𝟐 𝒕 + 𝐜𝐨𝐬 𝟐 𝒕)]𝒎
𝐦 𝐦 𝟏
638. 𝐏𝐫𝐨𝐯𝐞 𝐭𝐡𝒂𝐭 ∶ ( ) . ∑𝐧+𝟏
𝐤=𝟏 ( (𝟏 + 𝐅𝟐𝐤−𝟏 )𝐦+𝟏 ) ≥ 𝐅𝟐𝐧+𝟐 ,
𝐦+𝟏 𝐦+𝟏
𝐦+𝟏 𝐦
(𝟏 + 𝐅𝟐𝐤−𝟏 )𝐦+𝟏
≥ ( 𝐦 + 𝟏) ( ) . 𝐅𝟐𝐤−𝟏
𝐦
𝐦
𝐦+𝟏 𝐦 𝐦 + 𝐦𝒙 𝐦 (⦁) 𝒙𝐦 + 𝒙
⇔ (𝟏 + 𝒙)(𝟏 + 𝒙) ≥ (𝒙𝐦 + 𝒙) ( ) (𝒙 = 𝐅𝟐𝐤−𝟏 ) ⇔ ( ) ≥
𝐦 𝐦+𝟏 𝟏+𝒙
𝐦
𝐦 + 𝐦𝒙 𝐦 𝐦 + 𝐦𝒙 𝐁𝐞𝐫𝐧𝐨𝐮𝐥𝐥𝐢 𝐦(𝐦𝒙 − 𝟏) ? 𝒙𝐦 + 𝒙
𝐍𝐨𝐰, ( ) = (𝟏 + ( − 𝟏)) ≥ 𝟏+ ≥
𝐦+𝟏 𝐦+𝟏 𝐦+𝟏 𝟏+𝒙
𝐦(𝐦𝒙 − 𝟏) ? 𝒙𝐦 + 𝒙 − 𝟏 − 𝒙 𝐦𝒙 − 𝟏 𝐦 𝟏 ?
⇔ ≥ = ⇔ (𝐦𝒙 − 𝟏) ( − )≥𝟎
𝐦+𝟏 𝟏+𝒙 𝟏+𝒙 𝐦+𝟏 𝟏+𝒙
(𝐦𝒙 − 𝟏) 𝟐
𝐦 + 𝐦𝒙 − 𝐦 − 𝟏 ? ?
⇔ (𝐦𝒙 − 𝟏). ≥𝟎 ⇔ ≥ 𝟎 → 𝐭𝐫𝐮𝐞
(𝐦 + 𝟏)(𝟏 + 𝒙) (𝐦 + 𝟏)(𝟏 + 𝒙)
𝐧+𝟏
𝐦 𝐦 𝟏
∴( ) .∑( (𝟏 + 𝐅𝟐𝐤−𝟏 )𝐦+𝟏 ) ≥ 𝐅𝟐𝐧+𝟐 ∀ 𝐦 ∈ [𝟏, ∞) (𝐐𝐄𝐃)
𝐦+𝟏 𝐦+𝟏
𝐤=𝟏
𝒌 𝒌 𝒌
𝒌 ( 𝒌 − 𝟏)
= 𝒌𝒙𝟏 + 𝟒𝒓 ∙ = 𝒌𝒙𝟏 + 𝟐𝒓𝒌(𝒌 − 𝟏) = 𝒌(𝒙𝟏 + 𝟐𝒓(𝒌 − 𝟏))
𝟐
𝒎
𝒙𝟏 + 𝟐𝒓(𝒌 − 𝟏) =
𝒌
𝑨𝑴−𝑮𝑴
𝒙𝟏 + 𝒙𝟐 + ⋯ + 𝒙𝟒𝒌−𝟑 𝟒𝒌−𝟑
𝒙𝟏 ∙ 𝒙𝟐 ∙ … ∙ 𝒙𝟒𝒌−𝟑 ⏞
< ( ) =
𝟒𝒌 − 𝟑
𝒛𝟐 − 𝟏𝟐𝒕 = 𝟏𝟓(𝟏)
𝒛𝟐 𝟐𝒛 𝒛𝟑 𝒛𝟐 𝒕 ∴ 𝒛, 𝒕 ∈ ℝ
+ = √ + − (𝟐)
{𝟖𝒕 𝟑 𝟑𝒕 𝟒 𝟐
𝒛𝟑 𝒛𝟒
∗ 𝑫𝒐𝒎𝒂𝒊𝒏: + ≥ 𝟎, 𝒕 ≠ 𝟎(∗)
𝟑𝒕 𝟒
𝒛𝟐 𝟐𝒛 𝒕 𝒛𝟑 𝒛𝟐
𝑭𝒓𝒐𝒎(𝟐) ⇔ + + =√ +
𝟖𝒕 𝟑 𝟐 𝟑𝒕 𝟒
𝟐 𝒛𝟑 𝒛𝟐 𝟐
⇔ (𝟑𝒛𝟐 + 𝟏𝟔𝒛𝒕 + 𝟏𝟐𝒕𝟐 ) = 𝟓𝟕𝟔𝒕𝟐 ( + ) ⇔ ((𝟑𝒛 + 𝟐𝒕)(𝟔𝒕 − 𝒛) + 𝟔𝒛𝟐 )
𝟑𝒕 𝟒
= 𝟏𝟗𝟐𝒛𝟑 𝒕 + 𝟏𝟒𝟒𝒛𝟐 𝒕𝟐
⇔ [(𝟑𝒛 + 𝟐𝒕)(𝟔𝒕 − 𝒛)]𝟐 + 𝟏𝟐𝒛𝟐(𝟑𝒛 + 𝟐𝒕)(𝟔𝒕 − 𝒛) + 𝟑𝟔𝒛𝟒 − 𝟏𝟗𝟐𝒛𝟑 𝒕 − 𝟏𝟒𝟒𝒛𝟐 𝒕𝟐 = 𝟎
⇔ [(𝟑𝒛 + 𝟐𝒕)(𝟔𝒕 − 𝒛)]𝟐 + 𝟏𝟐𝒛𝟐 [(𝟑𝒛 + 𝟐𝒕)(𝟔𝒕 − 𝒛) + 𝟑𝒛𝟐 − 𝟏𝟔𝒛𝒕 − 𝟏𝟐𝒕𝟐 ] = 𝟎
⇔ [(𝟑𝒛 + 𝟐𝒕)(𝟔𝒕 − 𝒛)]𝟐 + 𝟏𝟐𝒛𝟐 (−𝟑𝒛𝟐 + 𝟏𝟔𝒛𝒕 + 𝟏𝟐𝒕𝟐 + 𝟑𝒛𝟐 − 𝟏𝟔𝒛𝒕 − 𝟏𝟐𝒕𝟐 ) = 𝟎
6𝒕 − 𝒛 = 𝟎
⇔ (𝟑𝒛 + 𝟐𝒕)(𝟔𝒕 − 𝒛) = 𝟎 ⇔ [
3𝒛 + 𝟐𝒕 = 𝟎
∗ 𝟔𝒕 − 𝒛 = 𝟎 ⇔ 𝒛 = 𝟔𝒕 ⇒ (𝟏) ⇔ 𝟑𝟔𝒕𝟐 − 𝟏𝟐𝒕 − 𝟏𝟓 = 𝟎
𝟏
𝑡 = − ⇒ 𝒛 = −𝟑(𝑵𝒐𝒕 𝒔𝒂𝒕𝒊𝒔𝒇𝒊𝒆𝒅 𝒃𝒚 𝒓𝒆𝒄𝒉𝒆𝒄𝒌𝒊𝒏𝒈)
⇔[ 𝟐
𝟓
𝑡 = ⇒ 𝒛 = 𝟓(𝑺𝒂𝒕𝒊𝒔𝒇𝒊𝒆𝒅)
𝟔
𝟕 𝟕
∗ 𝐃𝐨𝐦𝐚𝐢𝐧: 𝒙 > − (𝒙 = − is not satisfied)
𝟐 𝟐
𝟐
∗ 𝒚 = 𝟎 ⇒ 𝒙 = , now assume: 𝒚 ≠ 𝟎
𝟑
𝟐
𝒚𝟐 + 𝟑𝒚 𝟑𝒙 − 𝟐
( )(
∗ (𝒚 + 𝟑𝒚)√𝟐𝒙 + 𝟕 = 𝟑𝒙 − 𝟐 𝒚 + 𝟏 ⇔ ) =
𝒚+𝟏 √𝟐𝒙 + 𝟕
43 RMM-ABSTRACT ALGEBRA MARATHON 601-700
www.ssmrmh.ro
∗ (𝟑𝒙 − 𝟐)𝟐 + 𝟐𝒙𝒚𝟐 = 𝟐𝒚𝟒 + 𝟖𝒚𝟑 + 𝟑𝒚𝟐 ⇔ (𝟑𝒙 − 𝟐)𝟐 + 𝟐𝒙𝒚𝟐 + 𝟕𝒚𝟐 = 𝟐𝒚𝟒 + 𝟖𝒚𝟑 + 𝟏𝟎𝒚𝟐
(𝟑𝒙 − 𝟐)𝟐 𝟐𝒚𝟒 + 𝟖𝒚𝟑 + 𝟏𝟎𝒚𝟐
⇔ (𝟑𝒙 − 𝟐)𝟐 + 𝒚𝟐 (𝟐𝒙 + 𝟕) = 𝟐𝒚𝟒 + 𝟖𝒚𝟑 + 𝟏𝟎𝒚𝟐 ⇔ + 𝒚𝟐 =
𝟐𝒙 + 𝟕 𝟐𝒙 + 𝟕
𝟐 𝟐 𝟒 𝟑 𝟐 𝟐 𝟐 𝟐
𝒚 + 𝟑𝒚 𝟐𝒚 + 𝟖𝒚 + 𝟏𝟎𝒚 𝒚 + 𝟑𝒚 𝒚(𝒚 + 𝟑𝒚)
⇔( ) + 𝒚𝟐 = ⇔( − 𝒚) + 𝟐.
𝒚+𝟏 𝟐𝒙 + 𝟕 𝒚+𝟏 𝒚+𝟏
𝟐𝒚𝟒 + 𝟖𝒚𝟑 + 𝟏𝟎𝒚𝟐
=
𝟐𝒙 + 𝟕
𝟐 𝟐
𝟒𝒚 𝒚(𝒚 + 𝟑𝒚) 𝟐𝒚𝟒 + 𝟖𝒚𝟑 + 𝟏𝟎𝒚𝟐 𝟒 𝟐(𝒚 + 𝟑) 𝟐𝒚𝟐 + 𝟖𝒚 + 𝟏𝟎
⇔ + 𝟐. = ⇔ + =
(𝒚 + 𝟏)𝟐 𝒚+𝟏 𝟐𝒙 + 𝟕 (𝒚 + 𝟏)𝟐 (𝒚 + 𝟏) 𝟐𝒙 + 𝟕
𝟐𝒙 + 𝟕 − (𝒚 + 𝟏)𝟐
⇔ =𝟎
(𝟐𝒙 + 𝟕)(𝒚 + 𝟏)𝟐
𝟕
∗ 𝒙 > − , 𝒚 = −𝟏 is not satisfied ⇒ 𝟐𝒙 + 𝟕 − (𝒚 + 𝟏)𝟐 = 𝟎 ⇒ 𝟐𝒙 + 𝟕 = (𝒚 + 𝟏)𝟐
𝟐
𝟑𝒚𝟐 + 𝟔𝒚 − 𝟐𝟐
⇒ (𝒚𝟐 + 𝟑𝒚)√𝟐𝒙 + 𝟕 = (𝟑𝒙 − 𝟐)(𝒚 + 𝟏) ⇔ (𝒚𝟐 + 𝟑𝒚)|𝒚 + 𝟏| = ( ) (𝒚 + 𝟏)
𝟐
𝟑𝒚𝟐 + 𝟔𝒚 − 𝟐𝟐
⊕ 𝐂𝐚𝐬𝐞 𝟏: 𝒚 + 𝟏 > 0 ⇒ 𝒚 > −𝟏 ⇔ 𝒚𝟐 + 𝟑𝒚 =
𝟐
𝑦 = √𝟐𝟐 ⇒ 𝒙 = 𝟖 + √𝟐𝟐
⇔[
𝑦 = −√𝟐𝟐(𝐫𝐞𝐣𝐞𝐜𝐭 𝐛𝐲 𝐜𝐨𝐧𝐝𝐢𝐭𝐢𝐨𝐧 𝒚 > −𝟏)
𝟑𝒚𝟐 + 𝟔𝒚 − 𝟐𝟐
⊕ 𝐂𝐚𝐬𝐞 𝟐: 𝒚 + 𝟏 < 0 ⇒ 𝒚 < −𝟏 ⇔ 𝒚𝟐 + 𝟑𝒚 = −
𝟐
−√𝟏𝟒𝟔 − 𝟔 √𝟏𝟒𝟔 − 𝟏𝟒
𝑦= ⇒𝒙=
⇔ 𝟓 𝟐𝟓
√𝟏𝟒𝟔 − 𝟔
(𝐫𝐞𝐣𝐞𝐜𝐭 𝐛𝐲 𝐜𝐨𝐧𝐝𝐢𝐭𝐢𝐨𝐧 𝒚 < −𝟏)
[𝑦 = 𝟓
𝟐 √𝟏𝟒𝟔 − 𝟏𝟒 −√𝟏𝟒𝟔 − 𝟔
⇒ (𝒙, 𝒚) = ( , 𝟎) , (𝟖 + √𝟐𝟐, √𝟐𝟐), ( , )
𝟑 𝟐𝟓 𝟓
644. Solve for real numbers:
𝑥, 𝑦, 𝑧 > 0
{49(𝒙𝒚 + 𝒚𝒛 + 𝒙𝒛) = 𝟔𝟖𝟔 + 𝟗𝒙𝒚𝒛 , (𝒙, 𝒚, 𝒛 ∈ ℝ)
𝑥+𝑦+𝑧=7
Proposed by Daniel Sitaru-Romania
Solution by Pham Duc Nam-Vietnam
Use: 𝒑, 𝒒, 𝒓 transformation
𝒑 = 𝒙+𝒚+𝒛 = 𝟕
𝒒 = 𝒙𝒚 + 𝒚𝒛 + 𝒙𝒛
𝒓 = 𝒙𝒚𝒛
xy xz yz y z x 1
2 2 2
then 2 x 2 2, x 2 1, x {1,1}. If x 1
xy xz yz y z x 3
2 2 2
y z yz y z 1 1
2 2
y z yz y z 1 1 2
2 2
, , y z 2 y z yz 2,
y z yz y z 1 3
y z yz y z 1 3
2 2 2 2
2 x 2 0, 2 0, false.In conclusion
S {(1, 2, 3), (1, 0, 2), (1, 3, 2), (1,1, 0), (1, 2, 0), (1, 0,1), (1, 2,3), (1,3, 2), (1, 0, 2), (1, 2, 0),
(1, 1, 0), (1, 0, 1)}.
𝟐 𝒙𝟐 + 𝐲 𝟐
∀ 𝒙, 𝐲 > 0, (𝒙 − √𝒙𝐲 + 𝐲) ≥ ⇔ (𝒙 + 𝐲)𝟐 + 𝒙𝐲 − 𝟐√𝒙𝐲(𝒙 + 𝐲)
𝟐
𝒙𝟐 + 𝐲 𝟐 𝒙𝟐 + 𝐲 𝟐
≥ ⇔ + 𝒙𝐲 + 𝟐𝒙𝐲 − 𝟐√𝒙𝐲(𝒙 + 𝐲) ≥ 𝟎
𝟐 𝟐
𝟐
⇔ (𝒙 + 𝐲)𝟐 + 𝟒𝒙𝐲 − 𝟒√𝒙𝐲(𝒙 + 𝐲) ≥ 𝟎 ⇔ (𝒙 + 𝐲 − 𝟐√𝒙𝐲) ≥ 𝟎
𝟐 𝟐 𝒙𝟐 + 𝐲 𝟐
⇔ (√𝒙 − √𝐲) ≥ 𝟎 → 𝐭𝐫𝐮𝐞 ∴ (𝒙 − √𝒙𝐲 + 𝐲) ≥ ∀ 𝒙, 𝐲 > 0 → (𝟏)
𝟐
𝟐 𝟐 𝟐
𝐕𝐢𝒂 (𝟏), (𝐅𝟏 − √𝐅𝟏 𝐅𝟐 + 𝐅𝟐 ) + (𝐅𝟐 − √𝐅𝟐 𝐅𝟑 + 𝐅𝟑 ) + ⋯ + (𝐅𝐧 − √𝐅𝐧 𝐅𝟏 + 𝐅𝟏 )
𝐧
𝐅𝟏𝟐 + 𝐅𝟐𝟐 𝐅𝟐𝟐 + 𝐅𝟑𝟐 𝐅𝐧𝟐 + 𝐅𝟏𝟐
≥ + +⋯+ = ∑ 𝐅𝐤𝟐 = 𝐅𝐧 𝐅𝐧+𝟏
𝟐 𝟐 𝟐
𝐤=𝟏
𝟐 𝟐 𝟐
(𝐅𝟏 − √𝐅𝟏 𝐅𝟐 + 𝐅𝟐 ) + (𝐅𝟐 − √𝐅𝟐 𝐅𝟑 + 𝐅𝟑 ) + ⋯ + (𝐅𝐧 − √𝐅𝐧 𝐅𝟏 + 𝐅𝟏 )
⇒ ≥𝟏
𝐅𝐧 𝐅𝐧+𝟏
𝟐 𝟐
𝐀𝐠𝒂𝐢𝐧, 𝐯𝐢𝒂 (𝟏), (𝐋𝟏 − √𝐋𝟏 𝐋𝟐 + 𝐋𝟐 ) + (𝐋𝟐 − √𝐋𝟐 𝐋𝟑 + 𝐋𝟑 ) + ⋯
𝐧
𝐋𝟐𝟏 + 𝐋𝟐𝟐 𝐋𝟐𝟐 + 𝐋𝟐𝟑
𝟐 𝐋𝟐𝐧 + 𝐋𝟐𝟏
)
+(𝐋𝐧 − √𝐋𝐧 𝐋𝟏 + 𝐋𝟏 ≥ + +⋯+ = ∑ 𝐋𝟐𝐤 = 𝐋𝐧 𝐋𝐧+𝟏 − 𝟐
𝟐 𝟐 𝟐
𝐤=𝟏
𝟐 𝟐 𝟐
(𝐋𝟏 − √𝐋𝟏 𝐋𝟐 + 𝐋𝟐 ) + (𝐋𝟐 − √𝐋𝟐 𝐋𝟑 + 𝐋𝟑 ) + ⋯ + (𝐋𝐧 − √𝐋𝐧 𝐋𝟏 + 𝐋𝟏 )
⇒ ≥𝟏
𝐋𝐧 𝐋𝐧+𝟏 − 𝟐
𝟏 𝟐 𝟑
652. 𝐈𝐟 𝒙, 𝒚, 𝒛 ∈ ℕ∗, 𝐟𝐢𝐧𝐝 𝐚𝐥𝐥 𝐬𝐨𝐥𝐮𝐭𝐢𝐨𝐧𝐬 𝐨𝐟 ∶ + + =𝟐
𝒙 𝒚 𝒛
Proposed by Sidi Abdallah Lemrabott-Mauritania
Solution by Mohamed Amine Ben Ajiba-Tanger-Morocco
𝟐 𝟑
𝐅𝐢𝐫𝐬𝐭𝐥𝐲, 𝐰𝐞 𝐡𝐚𝐯𝐞, 𝟐 > , 𝐭𝐡𝐞𝐧, 𝒚, 𝒛 ≥ 𝟐.
𝒚 𝒛
𝟏 𝟐 𝟑 𝟏 𝟐 𝟑 𝟔
𝐋𝐞𝐭 𝒎 = 𝒎𝒊𝒏{𝒙, 𝒚, 𝒛}. 𝐖𝐞 𝐡𝐚𝐯𝐞, 𝟐 = + + ≤ + + = ,
𝒙 𝒚 𝒛 𝒎 𝒎 𝒎 𝒎
𝒙 = 𝟏, 𝒚 = 𝟑, 𝒛 = 𝟗 ; 𝒙 = 𝟏, 𝒚 = 𝟒, 𝒛 = 𝟔 ; 𝒙 = 𝟏, 𝒚 = 𝟓, 𝒛 = 𝟓 ; 𝒙 = 𝟏, 𝒚 = 𝟖, 𝒛 = 𝟒.
𝟑 𝟐 𝟑 𝟓
𝐅𝐨𝐫 𝒙 = 𝟐, 𝐰𝐞 𝐡𝐚𝐯𝐞, = + ≤ ⇒ 𝒎𝒊𝒏{𝒚, 𝒛} ∈ {𝟐, 𝟑}.
𝟐 𝒚 𝒛 𝒎𝒊𝒏{𝒚, 𝒛}
𝒙 = 𝟐, 𝒚 = 𝟐, 𝒛 = 𝟔 ; 𝒙 = 𝟐, 𝒚 = 𝟒, 𝒛 = 𝟑.
𝟓 𝟐 𝟑 𝟓
𝐅𝐨𝐫 𝒙 = 𝟑, 𝐰𝐞 𝐡𝐚𝐯𝐞, = + ≤ ⇒ 𝒎𝒊𝒏{𝒚, 𝒛} ∈ {𝟑} ⇒ 𝒙 = 𝟑, 𝒚 = 𝟑, 𝒛 = 𝟑.
𝟑 𝒚 𝒛 𝒎𝒊𝒏{𝒚, 𝒛}
𝟏 𝟑 𝟒
• 𝐈𝐟 𝒎 = 𝒚, 𝐭𝐡𝐞𝐧, 𝐟𝐨𝐫 𝒚 = 𝟐, 𝐰𝐞 𝐡𝐚𝐯𝐞, 𝟏 = + ≤ ⇒ 𝒎𝒊𝒏{𝒙, 𝒛} ∈ {𝟐, 𝟑, 𝟒}.
𝒙 𝒛 𝒎𝒊𝒏{𝒙, 𝒛}
𝐂𝐡𝐞𝐜𝐤𝐢𝐧𝐠 𝐟𝐨𝐫 𝐱 ∈ {𝟐, 𝟑, 𝟒} 𝐚𝐧𝐝 𝐟𝐨𝐫 𝒛 ∈ {𝟐, 𝟑, 𝟒} 𝐰𝐞 𝐠𝐞𝐭 𝐭𝐡𝐞 𝐧𝐞𝐰 𝐬𝐨𝐥𝐮𝐭𝐢𝐨𝐧, 𝒙 = 𝟒, 𝒚 = 𝟐, 𝒛 = 𝟒.
𝟒 𝟏 𝟑 𝟒
𝐅𝐨𝐫 𝒚 = 𝟑, 𝐰𝐞 𝐡𝐚𝐯𝐞, = + ≤ ⇒ 𝒎𝒊𝒏{𝒙, 𝒛} ≤ 𝟑 ⇒ 𝒙 = 𝟑 𝐨𝐫 𝒛 = 𝟑 ⇒ 𝒙 = 𝒚 = 𝒛
𝟑 𝒙 𝒛 𝒎𝒊𝒏{𝒙, 𝒛}
= 𝟑.
𝟏 𝟏 𝟐 𝟑
• 𝐈𝐟 𝒎 = 𝒛, 𝐭𝐡𝐞𝐧, 𝐟𝐨𝐫 𝒛 = 𝟐, 𝐰𝐞 𝐡𝐚𝐯𝐞, = + ≤ ⇒ 𝒎𝒊𝒏{𝒙, 𝒚} ∈ {𝟐, 𝟑, 𝟒, 𝟓, 𝟔}.
𝟐 𝒙 𝒚 𝒎𝒊𝒏{𝒙, 𝒚}
𝐂𝐡𝐞𝐜𝐤𝐢𝐧𝐠 𝐟𝐨𝐫 𝐱 ∈ {𝟐, 𝟑, 𝟒, 𝟓, 𝟔} 𝐚𝐧𝐝 𝐟𝐨𝐫 𝒛 ∈ {𝟐, 𝟑, 𝟒, 𝟓, 𝟔} 𝐰𝐞 𝐠𝐞𝐭 𝐭𝐡𝐞 𝐧𝐞𝐰 𝐬𝐨𝐥𝐮𝐭𝐢𝐨𝐧𝐬,
𝒙 = 𝟑, 𝒚 = 𝟏𝟐, 𝒛 = 𝟐 ; 𝒙 = 𝟒, 𝒚 = 𝟖, 𝒛 = 𝟐 ; 𝒙 = 𝟏𝟎, 𝒚 = 𝟓, 𝒛 = 𝟐 ; 𝒙 = 𝟔, 𝒚 = 𝟔, 𝒛 = 𝟐.
𝟏 𝟐 𝟑
𝐅𝐨𝐫 𝒛 = 𝟑, 𝐰𝐞 𝐡𝐚𝐯𝐞, 𝟏 = + ≤ ⇒ 𝒎𝒊𝒏{𝒙, 𝒚} ≤ 𝟑 ⇒
𝒙 𝒚 𝒎𝒊𝒏{𝒙, 𝒚}
𝒙 = 𝟑 𝐨𝐫 𝒚 = 𝟑 ⇒ 𝒙 = 𝒚 = 𝒛 = 𝟑.
𝐓𝐡𝐞𝐫𝐞𝐟𝐨𝐫𝐞,
(𝟏, 𝟑, 𝟗); (𝟏, 𝟒, 𝟔); (𝟏, 𝟓, 𝟓); (𝟏, 𝟖, 𝟒); (𝟐, 𝟐, 𝟔); (𝟐, 𝟒, 𝟑); (𝟑, 𝟑, 𝟑); (𝟒, 𝟐, 𝟒);
𝐒={ }
(𝟑, 𝟏𝟐, 𝟐); (𝟒, 𝟖, 𝟐); (𝟏𝟎, 𝟓, 𝟐); (𝟔, 𝟔, 𝟐)/(𝐱, 𝐲, 𝐳)
𝒏+𝟏
𝑷(𝒏) → 𝑷(𝒏 + 𝟏)
654. 𝐈𝐟 𝒙, 𝒚, 𝒛 > 0, 𝐭𝐡𝐞𝐧 𝐩𝐫𝐨𝐯𝐞 𝐭𝐡𝐚𝐭
𝟐𝑭𝒏+𝟐 𝒙 𝒚 𝒛
( + + )≥𝟏
𝟑 𝒙𝑭𝒏 + 𝒚𝑭𝒏+𝟏 + 𝒛𝑭𝒏+𝟐 𝒚𝑭𝒏 + 𝒛𝑭𝒏+𝟏 + 𝒙𝑭𝒏+𝟐 𝒛𝑭𝒏 + 𝒙𝑭𝒏+𝟏 + 𝒚𝑭𝒏+𝟐
𝟐𝑳𝒏+𝟐 𝒙 𝒚 𝒛
( + + ) ≥ 𝟏,
𝟑 𝒙𝑳𝒏 + 𝒚𝑳𝒏+𝟏 + 𝒛𝑳𝒏+𝟐 𝒚𝑳𝒏 + 𝒛𝑳𝒏+𝟏 + 𝒙𝑳𝒏+𝟐 𝒛𝑳𝒏 + 𝒙𝑳𝒏+𝟏 + 𝒚𝑳𝒏+𝟐
𝒙 (𝒙 + 𝒚 + 𝒛)𝟐 (𝒙 + 𝒚 + 𝒛)𝟐
∑ ≥ =
𝒙𝑭𝒏 + 𝒚𝑭𝒏+𝟏 + 𝒛𝑭𝒏+𝟐 ∑𝒄𝒚𝒄 𝒙(𝒙𝑭𝒏 + 𝒚𝑭𝒏+𝟏 + 𝒛𝑭𝒏+𝟐 ) 𝑭𝒏 . ∑𝒄𝒚𝒄 𝒙 + (𝑭𝒏 + 𝟐𝑭𝒏+𝟏 ) ∑𝒄𝒚𝒄 𝒚𝒛
𝟐
𝒄𝒚𝒄
𝟐𝑭𝒏+𝟐 𝒙 𝒚 𝒛
( + + ) ≥ 𝟏.
𝟑 𝒙𝑭𝒏 + 𝒚𝑭𝒏+𝟏 + 𝒛𝑭𝒏+𝟐 𝒚𝑭𝒏 + 𝒛𝑭𝒏+𝟏 + 𝒙𝑭𝒏+𝟐 𝒛𝑭𝒏 + 𝒙𝑭𝒏+𝟏 + 𝒚𝑭𝒏+𝟐
𝐒𝐢𝐦𝐢𝐥𝐚𝐫𝐥𝐲, 𝐰𝐞 𝐡𝐚𝐯𝐞,
𝒙 (𝒙 + 𝒚 + 𝒛)𝟐 (𝒙 + 𝒚 + 𝒛)𝟐
∑ ≥ =
𝒙𝑳𝒏 + 𝒚𝑳𝒏+𝟏 + 𝒛𝑳𝒏+𝟐 ∑𝒄𝒚𝒄 𝒙(𝒙𝑳𝒏 + 𝒚𝑳𝒏+𝟏 + 𝒛𝑳𝒏+𝟐 ) 𝑳𝒏 . ∑𝒄𝒚𝒄 𝒙𝟐 + (𝑳𝒏 + 𝟐𝑳𝒏+𝟏 ) ∑𝒄𝒚𝒄 𝒚𝒛
𝒄𝒚𝒄
𝟐𝑳𝒏+𝟏 ≥ 𝑳𝒏
(𝒙 + 𝒚 + 𝒛)𝟐 (𝒙 + 𝒚 + 𝒛)𝟐
= ⏞
≥
𝟐 𝟐
𝑳𝒏 (∑𝒄𝒚𝒄 𝒙) + (𝟐𝑳𝒏+𝟏 − 𝑳𝒏 ) ∑𝒄𝒚𝒄 𝒚𝒛 𝟐 (∑𝒄𝒚𝒄 𝒙)
𝑳𝒏 (∑𝒄𝒚𝒄 𝒙) + (𝟐𝑳𝒏+𝟏 − 𝑳𝒏 ) 𝟑
𝟑 𝟑
= = .
(
𝟐 𝑳𝒏 + 𝑳𝒏+𝟏 ) 𝟐𝑳𝒏+𝟐
𝟐𝑳𝒏+𝟐 𝒙 𝒚 𝒛
𝐓𝐡𝐞𝐧, ( + + ) ≥ 𝟏,
𝟑 𝒙𝑳𝒏 + 𝒚𝑳𝒏+𝟏 + 𝒛𝑳𝒏+𝟐 𝒚𝑳𝒏 + 𝒛𝑳𝒏+𝟏 + 𝒙𝑳𝒏+𝟐 𝒛𝑳𝒏 + 𝒙𝑳𝒏+𝟏 + 𝒚𝑳𝒏+𝟐
𝟑 𝟐
(𝟒𝒙 + 𝒚)𝒚𝟑 = 𝒚𝟒 + 𝟖 ⟹ 𝟒𝒙𝒚𝟑 = 𝟖 ⟹ 𝒚 = √
𝒙
𝟑 𝟐
Solution:(𝒙, √𝒙 ) , 𝒙 ≠ 𝟎.
𝒂 𝒃 𝟎 𝟎 (
656. 𝑲 = {( )| 𝒂, 𝒃 ∈ ℝ} , 𝑶𝟐 = ( ) , 𝑲, +), (𝑲 − {𝑶𝟐 }) are abelian
−𝒃 𝒂 𝟎 𝟎
groups. Prove that: (𝑲, +) ≇ (𝑲 − {𝑶𝟐 }).
Proposed by Daniel Sitaru-Romania
Solution by Ravi Prakash-New Delhi-India
𝟏 𝟎 𝟎 𝟎
𝒇(𝑶𝟐 ) = 𝑰𝟐 = ( ), 𝑶𝟐 = ( )
𝟎 𝟏 𝟎 𝟎
𝒂 −𝒃 −𝟏 𝟎
𝒇 −bijectif, hence exists 𝑨 = ( ) ≠ 𝑶𝟐 such that: 𝒇(𝑨) = ( )
𝒃 𝒂 𝟎 −𝟏
−𝟏 𝟎 −𝟏 𝟎
𝒇(𝟐𝑨) = 𝒇(𝑨 + 𝑨) = 𝒇(𝑨) ∙ 𝒇(𝑨) = ( )∙( ) = 𝑰𝟐
𝟎 −𝟏 𝟎 −𝟏
𝒇−𝒊𝒏𝒋𝒆𝒄𝒕𝒊𝒇
𝒇(
𝟐𝒂 −𝟐𝒃
) = 𝒇(𝑶𝟐 ) ⟹ ⏞ (𝟐𝒂 −𝟐𝒃) = (𝟎 𝟎) ⟹
𝟐𝒃 𝟐𝒂 𝟐𝒃 𝟐𝒂 𝟎 𝟎
𝒂 −𝒃
⟹𝒂=𝒃=𝟎⟹ 𝑨=( ) = 𝑶𝟐 . False!
𝒃 𝒂
Hence:
(𝑲, +) ≇ (𝑲 − {𝑶𝟐 })
657.
𝒂𝟏 𝒃𝟏 𝒂 𝒃𝒏
𝑨=( ) , 𝑨𝒏 = ( 𝒏 ) , 𝒂𝟏 = 𝟓, 𝒃𝟏 = 𝟏
−𝒃𝟏 𝒂𝟏 −𝒃𝒏 𝒂𝒏
𝒂𝟐 𝟏 (∗)
= (𝒙 − 𝛌)𝟐 + 𝟐(𝒙𝟐 − 𝟐𝛌 − 𝟏) ⇒ 𝟐 + 𝐛𝟒 + = 𝒂 + 𝟐𝐛
𝐛 𝒂
(𝒂 = (𝒙 − 𝛌)𝟐 , 𝐛 = 𝒙𝟐 − 𝟐𝛌 − 𝟏)
57 RMM-ABSTRACT ALGEBRA MARATHON 601-700
www.ssmrmh.ro
𝟐
𝒂𝟐 𝟏 𝐁𝐞𝐫𝐠𝐬𝐭𝐫𝐨𝐦 (𝒂 + 𝐛𝟐 + 𝟏)
∵ 𝒂, 𝐛 ≠ 𝟎 ∴ 𝒂 = (𝒙 − 𝛌 )𝟐 > 0, 𝐛 > 0 ∴ 𝟐 + 𝐛𝟒 +
𝟐
≥
𝐛 𝒂 𝐛𝟐 + 𝟏 + 𝒂
𝐯𝐢𝒂 (∗)
= 𝒂 + 𝐛𝟐 + 𝟏 ⇒ 𝒂 + 𝟐𝐛 ≥ 𝒂 + 𝐛𝟐 + 𝟏 ⇒ (𝐛 − 𝟏)𝟐 ≤ 𝟎, 𝐛𝐮𝐭 ∵ (𝐛 − 𝟏)𝟐 ≥ 𝟎
(∗∗) 𝒂𝟐 𝟏 𝟏
∴ (𝐛 − 𝟏)𝟐 = 𝟎 ⇒ 𝐛 = 𝟏 ∴ (∗), (∗∗) ⇒ + 𝟏𝟒 + = 𝒂 + 𝟐 ⇒ 𝒂𝟐 − 𝟏 = 𝒂 −
𝟏 𝒂 𝒂
𝒂𝟐 − 𝟏 𝟏 (𝒂 + 𝟏 )(𝒂 − 𝟏 )𝟐
= ⇒ (𝒂𝟐 − 𝟏) (𝟏 − ) = 𝟎 ⇒ = 𝟎 ⇒ 𝒂 = ±𝟏 ⇒ 𝒂 = 𝟏
𝒂 𝒂 𝒂
(∵ 𝒂 = (𝒙 − 𝛌)𝟐 > 0) ⇒ (𝒙 − 𝛌)𝟐 = 𝟏 ⇒ 𝒙 = 𝛌 ± 𝟏 𝒂𝐧𝐝 ∵ 𝐛 = 𝟏
(∗∗∗)
∴ 𝒙𝟐 − 𝟐𝛌 − 𝟏 = 𝟏 ⇒ 𝒙𝟐 = 𝟐𝛌 + 𝟐
𝐯𝐢𝒂 (∗∗∗)
𝐂𝒂𝐬𝐞 𝟏 𝒙 = 𝛌 + 𝟏 ⇒ 𝒙𝟐 = 𝛌𝟐 + 𝟐𝛌 + 𝟏 ⇒ 𝟐𝛌 + 𝟐 = 𝛌𝟐 + 𝟐𝛌 + 𝟏 ⇒ 𝛌 = ±𝟏
⇒ 𝛌 = 𝟏 (∵ 𝛌 ≥ 𝟎) ∴ 𝒙 = 𝛌 + 𝟏 = 𝟐 ∴ 𝒙 = 𝟐
𝐯𝐢𝒂 (∗∗∗)
𝐂𝒂𝐬𝐞 𝟐 𝒙 = 𝛌 − 𝟏 ⇒ 𝒙𝟐 = 𝛌𝟐 − 𝟐𝛌 + 𝟏 ⇒ 𝟐𝛌 + 𝟐 = 𝛌𝟐 − 𝟐𝛌 + 𝟏
𝟒 ± √𝟏𝟔 + 𝟒
⇒ 𝛌𝟐 − 𝟒𝛌 − 𝟏 = 𝟎 ⇒ 𝛌 = ⇒ 𝛌 = 𝟐 ± √𝟓 𝒂𝐧𝐝 ∵ 𝛌 ≥ 𝟎 ∴ 𝛌 = 𝟐 + √𝟓
𝟐
⇒ 𝒙 = 𝛌 − 𝟏 = √𝟓 + 𝟏 ∴ 𝒙 = √𝟓 + 𝟏
∴ (𝒙 = 𝟐 𝐟𝐨𝐫 𝛌 = 𝟏) 𝒂𝐧𝐝 (𝒙 = √𝟓 + 𝟏 𝐟𝐨𝐫 𝛌 = √𝟓 + 𝟐)
𝒂𝐫𝐞 𝒂𝒍𝒍 𝐩𝐨𝐬𝐬𝐢𝐛𝐥𝐞 𝐬𝐨𝐥𝐮𝐭𝐢𝐨𝐧𝐬 𝒂𝐧𝐝 𝐢𝐟 𝛌 ≠ 𝟏, √𝟓 + 𝟐, 𝐭𝐡𝐞𝐧 𝐧𝐨 𝐬𝐨𝐥𝐮𝐭𝐢𝐨𝐧 𝐞𝒙𝐢𝐬𝐭𝐬 (𝒂𝒏𝒔)
From (1) and (3) → 𝒓𝒂𝒏𝒌 {𝒀𝑿𝒁} ≥ 𝒓𝒂𝒏𝒌 {𝒀𝒁} − 𝐝𝐢𝐦{𝑹(𝒀) ∩ 𝑵(𝑿)}
(2) → 𝒓𝒂𝒏𝒌 {𝑿𝒀} = −𝒓𝒂𝒏𝒌 (𝒀) + 𝐝𝐢𝐦{𝑹(𝒀) ∩ 𝑵(𝑿)}
Adding: 𝒓𝒂𝒏𝒌 {𝑿𝒀𝒁} − 𝒓𝒂𝒏𝒌 {𝑿𝒀} ≥ 𝒓𝒂𝒏𝒌 {𝒀𝒁} − 𝒓𝒂𝒏𝒌 {𝒀}
⇒ 𝒓𝒂𝒏𝒌 {𝑿𝒀𝒁} ≥ 𝒓𝒂𝒏𝒌 {𝒀𝒁} + 𝒓𝒂𝒏𝒌 {𝑿𝒀} − 𝒓𝒂𝒏𝒌 {𝒀}
Let → 𝒁 = 𝑨𝟑 , 𝒀 = 𝑨 and 𝒁 = 𝑨
Then → 𝒓𝒂𝒏𝒌{𝑨𝟓 } ≥ 𝒓𝒂𝒏𝒌 {𝑨𝟒 } + 𝒓𝒂𝒏𝒌 {𝑨𝟐 } − 𝒓𝒂𝒏𝒌 {𝒀}
Therefore ⇒ 𝒓𝒂𝒏𝒌 {𝑨𝟓 } + 𝒓𝒂𝒏𝒌 {𝑨} ≥ 𝒓𝒂𝒏𝒌 {𝑨𝟒 } + 𝒓𝒂𝒏𝒌 {𝑨𝟐 }
𝟐 + √𝟑 𝝅
𝟒𝒄𝒐𝒔𝟐 𝒙 − √𝟑 − 𝟐 = 𝟎 ⟹ 𝒄𝒐𝒔𝒙 = √ ⟹𝒙=
𝟒 𝟏𝟐
(𝟐𝒙 + 𝟑𝒙 ) ⋅ √𝟔𝟏−𝒙 = 𝟓
Proposed by Daniel Sitaru – Romania
Solution 1 by Israfilov Murad-Azerbaijan
(𝟐𝒙 + 𝟑𝒙 ) ⋅ √𝟔𝟏−𝒙 = 𝟓
𝟏−𝒙
( 𝟐𝒙 + 𝟑𝒙 ) ⋅ 𝟔 𝟐 =𝟓
𝟐𝒕 𝟐𝒕 𝒕
𝟑 𝒕 𝟐 𝒕
𝟐⋅𝟑 +𝟑⋅𝟐 =𝟔⋅𝟔 , 𝟐 ⋅ ( ) + 𝟑( ) − 𝟓 = 𝟎
𝟐 𝟑
𝟑 𝒕
𝒊𝒇 ( ) = 𝒖
𝟐
𝟐 𝒕 𝟏
{ ( 𝟑) = 𝒖
𝟑
𝟐𝒖 + − 𝟓 = 𝟎, 𝟐𝒖𝟐 − 𝟓𝒖 + 𝟑 = 𝟎, (𝟐𝒖 − 𝟑)(𝒖 − 𝟏) = 𝟎
𝟒
𝟐 𝟑 𝒕 𝟐
𝒖𝟏 = , 𝒖𝟐 = 𝟏 ⇒ ( ) = , 𝒕 = −𝟏
𝟑 𝟐 𝟑
𝟑 𝒕
( ) =𝟏
𝟐
𝒕=𝟎
…
𝒕=𝟏
𝒙 = 𝟏 − 𝟐𝒕, 𝒙𝟏 = 𝟏 − 𝟐(−𝟏) ≠ 𝟑, 𝒙𝟐 = 𝟏 − 𝟐 ⋅ 𝟎 ≠ 𝟏
𝒙𝟑 = 𝟏 − 𝟐 ⋅ 𝟏 = −𝟏
𝟏 − 𝒙 > 0, 𝑥<1
Answer: −𝟏, 𝟏
Solution 2 by Toubal Fethi-Algeria
Let: 𝒂 = 𝟐𝒙 , 𝒃 = 𝟑𝒙 where: 𝒂, 𝒃 > 0, ∀𝑥 ∈ ℝ
𝟔
(𝒂 + 𝒃)√ = 𝟓, (𝒂 + 𝒃)√𝟔 = 𝟓√𝒂𝒃
𝒂𝒃
𝒙
𝟑 𝒙 𝟑 𝒙
𝟑𝒂 − 𝟐𝒃 = 𝟎 ⇒ 𝟑 ⋅ 𝟐 = 𝟐 ⋅ 𝟑 ⇒ ( ) = ⇒ 𝒙 = 𝟏
𝟐 𝟐
62 RMM-ABSTRACT ALGEBRA MARATHON 601-700
www.ssmrmh.ro
663. Solve for real numbers :
𝒙𝟔 + 𝒙𝟒 − 𝟒𝒙𝟑 + 𝟓𝒙𝟐 − 𝟓𝒙 + 𝟓 𝟒
𝟐𝒙
+ 𝒍𝒐𝒈𝟒 ( 𝒙 − 𝟒𝒙 + 𝟓 ) = 𝟐 𝒙𝟐 +𝟏
𝒙𝟐 + 𝟏
Proposed by Neculai Stanciu-Romania
Solution by Pham Duc Nam-Vietnam
𝒙 𝒙
𝒙𝟒 − 𝟒𝒙 + 𝟓 − + 𝒍𝒐𝒈𝟒 (𝒙𝟒
− 𝟒𝒙 + 𝟓) = 𝟒 𝒙𝟐 +𝟏
𝒙𝟐 + 𝟏
𝒙 𝒙
⇔ 𝒙𝟒 − 𝟒𝒙 + 𝟓 + 𝒍𝒐𝒈𝟒 (𝒙𝟒 − 𝟒𝒙 + 𝟓) = 𝟒𝒙𝟐 +𝟏 + 𝟐
𝒙 +𝟏
𝒙 𝒙
𝟒
⇔ 𝟒𝒍𝒐𝒈𝟒 (𝒙 −𝟒𝒙+𝟓) + 𝒍𝒐𝒈𝟒 (𝒙𝟒 − 𝟒𝒙 + 𝟓) = 𝟒𝒙𝟐+𝟏 + 𝟐
𝒙 +𝟏
∗ Consider: 𝒇(𝒕) = 𝟒𝒕 + 𝒕 ⇒ 𝒇′(𝒕) = 𝟒𝒕 𝒍𝒐𝒈(𝟒) + 𝟏 > 0∀𝒕 ∈ ℝ
⇒ 𝒇(𝒕) is always increasing ⇒
𝒙 𝒙
𝒇(𝒍𝒐𝒈𝟒 (𝒙𝟒 − 𝟒𝒙 + 𝟓)) = 𝒇 ( 𝟐 ) ⇔ 𝒍𝒐𝒈𝟒 (𝒙𝟒 − 𝟒𝒙 + 𝟓) = 𝟐
𝒙 +𝟏 𝒙 +𝟏
𝟒(𝒙𝟑 − 𝟏)
∗ Consider: 𝒈(𝒙) = 𝒍𝒐𝒈𝟒 (𝒙𝟒 − 𝟒𝒙 + 𝟓) ⇒ 𝒈′(𝒙) = ⇒ 𝒈′(𝒙) = 𝟎 ⇔ 𝒙 = 𝟏
(𝒙𝟒 − 𝟒𝒙 + 𝟓) 𝒍𝒐𝒈(𝟒)
⇒ 𝒈(𝒙) is decreasing in (−∞, 𝟏),and increasing in (𝟏, ∞)
𝟏 𝟏
At: 𝒙 = 𝟏 ⇒ 𝒈(𝟏) = ⇒ 𝒈(𝒙) ≥ (𝟏)
𝟐 𝟐
𝒙 𝟏 − 𝒙𝟐 𝟏
∗ Consider: 𝒉(𝒙) = 𝟐
⇒ 𝒉′ (𝒙) = 𝟐 𝟐
⇒ 𝒉′(𝒙) = 𝟎 ⇔ 𝒙 = ±𝟏 ⇒ 𝒉(±𝟏) = ±
𝒙 +𝟏 (𝒙 + 𝟏) 𝟐
⇒ 𝒉(𝒙) is decreasing in (−∞, −𝟏), (𝟏, ∞),and increasing in (−𝟏, 𝟏)
𝟏 𝟏
At: 𝒙 = ±𝟏 ⇒ 𝒉(±𝟏) = ± ⇒ 𝒉(𝒙) ≤ (𝟐)
𝟐 𝟐
𝒙
∗ 𝐅𝐫𝐨𝐦 ∶ (𝟏), (𝟐) ⇒ 𝒈(𝒙) = 𝒉(𝒙) ⇔ 𝒍𝒐𝒈𝟒 (𝒙𝟒 − 𝟒𝒙 + 𝟓) = ⇔𝒙=𝟏
𝒙𝟐 +𝟏
⇒ 𝒙 = 𝟏 is solution for the given equation
664. Solve for complex numbers:
(𝟏 − 𝒙𝒚 + 𝒚𝒛 − 𝒙𝒛)𝟐 + (𝒙 + 𝒚 + 𝒛 − 𝒙𝒚𝒛)𝟐 = 𝟎
Proposed by Daniel Sitaru – Romania
Solution by Sakthi Vel-India
(𝟏 − 𝒙𝒚 − 𝒚𝒛 − 𝒙𝒛)𝟐 + (𝒙 + 𝒚 + 𝒛 − 𝒙𝒚𝒛)𝟐 = 𝟎
𝒙 = 𝒚 = 𝒛 = √−𝟏
∴𝒙=𝒚=𝒛=𝒊
𝟏 𝟎 𝟏 𝟏
665. 𝑨 = ( ),𝑩 = ( ). Solve for real numbers:
𝟏 𝟏 𝟎 𝟏
𝒙 𝟎 𝟐𝒆 − 𝟏
𝒆𝑨 ∙ ( ) + 𝒆𝑩 ∙ ( ) = ( ) , 𝒆𝑨 −exponential matrix
𝟎 𝒚 𝟐𝒆 − 𝟏
Proposed by Daniel Sitaru-Romania
Solution by Ravi Prakash-New Delhi-India
By mathematical induction:
𝟏 𝟎 𝟏 𝒏
𝑨𝒏 = ( ) , 𝑩𝒏 = ( )
𝒏 𝟏 𝟎 𝟏
∞ ∞
𝟏 𝟏 𝟏 𝟎 𝒆 𝟎
𝒆 = ∑ 𝑨𝒏 = ∑ (
𝑨
)=( ) = 𝒆𝑨
𝒏! 𝒏! 𝒏 𝟏 𝒆 𝒆
𝒏=𝟎 𝒏=𝟎
∞ ∞
𝟏 𝟏 𝟏 𝒏 𝒆 𝒆
𝒆 = ∑ 𝑩𝒏 = ∑ (
𝑩
)=( ) = 𝒆𝑩
𝒏! 𝒏! 𝟎 𝟏 𝟎 𝒆
𝒏=𝟎 𝒏=𝟎
𝒙 𝟎 𝟐𝒆 − 𝟏 𝒆 𝟎 𝒙 𝒆 𝒆 𝟎 𝟐𝒆 − 𝟏
𝒆𝑨 ∙ ( ) + 𝒆𝑩 ∙ ( ) = ( ), ( )∙( )+( )∙( )= ( )
𝟎 𝒚 𝟐𝒆 − 𝟏 𝒆 𝒆 𝟎 𝟎 𝒆 𝒚 𝟐𝒆 − 𝟏
𝒆𝒙 𝒆𝒚 𝟐𝒆 − 𝟏
( ) + (𝒆𝒚) = ( ) , 𝒆(𝒙 + 𝒚) = 𝟐𝒆 − 𝟏
𝒆𝒙 𝟐𝒆 − 𝟏
𝒛 𝒊 𝒊 𝒊
|−𝒊 𝒛 𝒊 𝒊
−𝒊 −𝒊 𝒛 𝒊| = 𝟎
−𝒊 −𝒊 −𝒊 𝒛
By Laplace theorem:
(−𝟏)𝟏+𝟐+𝟏+𝟐 ∙ | 𝒛 𝒊
|∙|
𝒛 𝒊
| + (−𝟏)𝟏+𝟐+𝟏+𝟑 ∙ |
𝒛 𝒊 −𝒊 𝒊
|∙| |+
−𝒊 𝒛 −𝒊 𝒛 −𝒊 𝒊 −𝒊 𝒛
𝒛 𝒊 −𝒊 𝒛 𝒊 𝒊 −𝒊 𝒊
+(−𝟏)𝟏+𝟐+𝟏+𝟒 ∙ | |∙| | + (−𝟏)𝟏+𝟐+𝟐+𝟑 ∙ | |∙| |+
−𝒊 𝒊 −𝒊 −𝒊 𝒛 𝒊 −𝒊 𝒛
𝒊 𝒊 −𝒊 𝒛 𝒊 𝒊 −𝒊 −𝒊
= +(−𝟏)𝟏+𝟐+𝟐+𝟒 ∙ | |∙| | + +(−𝟏)𝟏+𝟐+𝟑+𝟒 ∙ | |∙| |=𝟎
𝒛 𝒊 −𝒊 −𝒊 𝒊 𝒊 −𝒊 −𝒊
𝒛𝟒 − 𝟔𝒛𝟐 + 𝟏 = 𝟎
⇒ 𝒛 = √𝟐 + 𝟏, −√𝟐 − 𝟏, √𝟐 − 𝟏, −√𝟐 + 𝟏
667. Solve for real numbers:
√𝟑(𝟐𝒙 + 𝟐𝒚 + 𝟏) = 𝟐√𝒙𝟐 + 𝒚𝟐 + 𝟏 + √𝟐𝒙𝟐 + 𝟏 + +𝟐√𝒙𝟐 + 𝟐𝒚𝟐
𝟔𝒙 + 𝟔𝒚 + 𝟑
√𝟑(𝟐𝒙 + 𝟐𝒚 + 𝟏) ≥
√𝟑
𝟔𝒙 + 𝟔𝒚 + 𝟑 ≥ 𝟔𝒙 + 𝟔𝒚 + 𝟑
Equality holds for:
𝒙 𝒚 𝟏
= = ⟹𝒙=𝒚=𝟏
𝟏 𝟏 𝟏
668.
𝝅 𝝅 𝒙
𝒇: [−𝟐, ∞) → [− , ) , 𝒇(𝒙) = 𝒔𝒊𝒏−𝟏 ( )
𝟐 𝟒 √𝟐(𝒙𝟐 + 𝟐𝒙 + 𝟐)
Solve for real numbers:
𝒇−𝟏 (𝒙) + 𝟏 = 𝟎
Proposed by Daniel Sitaru-Romania
68 RMM-ABSTRACT ALGEBRA MARATHON 601-700
www.ssmrmh.ro
Solution by Bedri Hajrizi-Mitrovica-Kosovo
𝟏
𝒇′ (𝒙) = (𝒙+𝟏)𝟐 +𝟏 > 0 ⟹ 𝑓 −increasing ⟹ 𝒇 −injectif
𝝅 𝝅
𝐥𝐢𝐦 𝒇(𝒙) = − , 𝐥𝐢𝐦 𝒇(𝒙) =
𝒙→−𝟐 𝟐 𝒙→∞ 𝟒
𝒙>−2
𝝅 𝝅
𝒇 −continuous, 𝒇 −has Darboux property⟹ 𝒇([−𝟐, ∞)) = [− 𝟐 , 𝟒 ) ⟹
𝝅 𝝅
Im𝒇 = [− 𝟐 , 𝟒 ) ⟹ 𝒇 −surjectif
𝒚
Denote: 𝒚 = 𝒇−𝟏 (𝒙) ⟹ 𝒙 = 𝒂𝒓𝒄𝒔𝒊𝒏 ⟹
√𝟐(𝒚𝟐 +𝟐𝒚+𝟐)
⟹ 𝒔𝒊𝒏𝟐 𝒙 ∙ (𝟐𝒚𝟐 + 𝟒𝒚 + 𝟒) = 𝒚𝟐
𝒙−𝒚= 𝒂 𝟐 𝟐 𝒂 = −𝟐 𝒙 − 𝒚 = −𝟐
Denote: { ⟹ { 𝒂 + 𝒃 = 𝟏𝟑 ⟹ { ⟹{ ⟹
𝒙−𝒛 =𝒃 𝟐𝒂 + 𝟑𝒃 = −𝟏𝟑 𝒃 = −𝟑 𝒙 − 𝒛 = −𝟑
𝒚 =𝒙+𝟐
⟹{
𝒛= 𝒙+𝟑
Define : 𝑮 → 𝑯, 𝚽(𝒇𝒎 ) = 𝒈𝒎 , 𝒎 ∈ ℝ .
For 𝒎, 𝒏 ∈ ℝ, 𝒙 > 𝑎 ∶
(𝒇𝒎 ∘ 𝒇𝒏 )(𝒙) = 𝒇𝒎 (𝒇𝒏 (𝒙)) = 𝒇𝒎 (𝒂 + (𝒙 − 𝒂)𝒏 ) =
= 𝒂 + (𝒂 + (𝒙 − 𝒂)𝒏 − 𝒂)𝒎 = 𝒂 + (𝒙 − 𝒂)𝒎𝒏 = 𝒇𝒎𝒏 (𝒙)
𝚽 −morphism
𝚽(𝒇𝒎 ∘ 𝒇𝒏 ) = 𝚽(𝒇𝒎𝒏 ) = 𝒈𝒎𝒏 = 𝒈𝒎 ∘ 𝒈𝒏 = 𝚽(𝒇𝒎 ) ∘ 𝚽(𝒇𝒏 )
𝚽 −injectif
𝚽(𝒇𝒎 ) = 𝚽(𝒇𝒏 ) ⟹ 𝒈𝒎 = 𝒈𝒏 ⟹ 𝒈𝒎 (𝒙) = 𝒈𝒏 (𝒙), 𝒙 > 𝑏 ⟹
𝒃 + (𝒙 − 𝒃)𝒎 = 𝒃 + (𝒙 − 𝒃)𝒏 ⟹ 𝒎 = 𝒏
𝚽 −surjectif
For 𝒈𝒎 ∈ 𝑯, ∃𝒇𝒎 ∈ 𝑮 such that: 𝚽(𝒇𝒎 ) = 𝒈𝒎 , 𝒎 ∈ ℝ
𝚽 −isomorphism ⟹ (𝑮,∘) ≅ (𝑯,∘)
𝒙𝟒 + 𝟔𝒙𝟑 − 𝟏𝟒𝒙𝟐 + 𝟔𝒙 + 𝟏 = 𝟎
𝟏 𝟏
𝒙𝟐 + 𝟐 + 𝟔 (𝒙 + ) − 𝟏𝟒 = 𝟎
𝒙 𝒙
𝟏 𝟏
𝒙 + = 𝒕, 𝒙𝟐 + 𝟐 = 𝒕𝟐 − 𝟐
𝒙 𝒙
𝒙𝟏 = 𝟏
𝒕 = −𝟖 𝒙𝟐 = 𝟏
𝒕𝟐 − 𝟐 + 𝟔𝒕 − 𝟏𝟒 = 𝟎, 𝒕𝟐 + 𝟔𝒕 − 𝟏𝟔 = 𝟎 ⟹ { 𝟏 ⟹
𝒕𝟐 = 𝟐 𝒙𝟑 = −𝟒 + √𝟏𝟓
{𝒙𝟒 = −𝟒 − √𝟏𝟓
Solution 2 by Adrian Popa-Romania
𝒅𝒆𝒕𝑨 = 𝟏, 𝑨𝟐 = 𝑩𝑪, 𝒅𝒆𝒕(𝑨𝟐 ) = 𝒅𝒆𝒕(𝑩𝑪), 𝟏 = 𝒙𝒚
𝒙 = 𝒅𝒆𝒕𝑩, 𝒚 = 𝒅𝒆𝒕𝑪
𝑩 = 𝑪𝑨 ⟹ 𝒅𝒆𝒕𝑩𝟐 = 𝒅𝒆𝒕𝑪𝑨 ⟹ 𝒙𝟐 = 𝒚 ⟹ 𝒙𝟑 = 𝒙𝒚 ⟹
𝟐
⟹ 𝒙𝟑 = 𝟏 ⟹ 𝒙 = 𝟏 ⟹ 𝒚 = 𝟏
𝒙 + 𝟔(𝒙𝒅𝒆𝒕𝑩)𝟑 − 𝟏𝟒(𝒙𝒅𝒆𝒕𝑪)𝟐 + 𝟔𝒙 + 𝟏 = 𝟎
𝟒
𝒙 𝒙
𝒙𝟏 = √ , 𝒚𝟏 = √ , 𝒙 ≥ 𝟎. Find:
𝟑(𝒙𝟐 +𝟏) 𝟒(𝒙𝟐 +𝟏)
𝛀 = 𝐥𝐢𝐦 (𝒙𝒏 + 𝒚𝒏 )
𝒏→∞
𝒙 𝟏 𝟏 𝟕 𝒙 𝟕
𝒙𝟐𝟏 + 𝒚𝟐𝟏 = 𝒓𝟐 = ( + ) = ⋅ ≤
𝒙𝟐 + 𝟏 𝟑 𝟒 𝟏𝟐 𝒙𝟐 + 𝟏 𝟐𝟒
𝒙 𝟏
as 𝒙𝟐 +𝟏 ≤ 𝟐
𝟕
∴𝟎≤𝒓≤√
𝟐𝟒
𝒓 𝐜𝐨𝐬 𝜽 𝒓 𝐬𝐢𝐧 𝜽 𝐜𝐨𝐬 𝜽 𝐬𝐢𝐧 𝜽
Now, 𝑨 = ( ) = 𝒓( )
−𝒓 𝐬𝐢𝐧 𝜽 𝒓 𝐜𝐨𝐬 𝜽 − 𝐬𝐢𝐧 𝜽 𝐜𝐨𝐬 𝜽
𝐜𝐨𝐬(𝒏𝜽) 𝐬𝐢𝐧(𝒏𝜽)
𝑨𝒏 = 𝒓𝒏 ( )
− 𝐬𝐢𝐧(𝒏𝜽) 𝐜𝐨𝐬(𝒏𝜽)
Thus, 𝒙𝒏 = 𝒓𝒏 𝐜𝐨𝐬(𝒏𝜽) ; 𝒚𝒏 = 𝒓𝒏 𝐬𝐢𝐧(𝒏𝜽) ⇒
𝟏 𝟏
∴− 𝒓 𝒏 ≤ 𝒙 𝒏 + 𝒚𝒏 ≤ 𝒓𝒏
√𝟐 √𝟐
𝟕
As 𝟎 ≤ 𝒓 ≤ √𝟐𝟒 < 1, we get
𝐥𝐢𝐦 𝒓𝒏 = 𝟎
𝒏→∞
𝒙 𝒙
√ √ 𝟏 𝟏
𝟐
𝟑( 𝒙 + 𝟏 ) 𝟐
𝟒( 𝒙 + 𝟏) 𝒙 √𝟑 𝟐 𝒙
𝑨′ (𝒙) = =√ ⋅ =√ ⋅𝑩
𝒙𝟐 + 𝟏 𝟏 𝟏 𝒙𝟐 + 𝟏
𝒙 𝒙 −
−√ √ 𝟐 √𝟑)
𝟐
𝟒( 𝒙 + 𝟏 ) 𝟐
𝟑( 𝒙 + 𝟏) ⏟
(
( ) 𝑩
𝐜𝐨𝐬 𝜶 𝐬𝐢𝐧 𝜶
It is known that: the matrices of the form 𝑨 = 𝒓 ( ) have the form: 𝑨𝒏 =
− 𝐬𝐢𝐧 𝜶 𝐜𝐨𝐬 𝜶
𝐜𝐨𝐬 𝒏 𝜶 𝐬𝐢𝐧 𝒏 𝜶
𝒏( ) (it can be proved by mathematical induction)
− 𝐬𝐢𝐧 𝒏 𝜶 𝐜𝐨𝐬 𝒏𝜶
𝟏 𝟏
√𝟑 𝟐
𝟏 𝟏
√𝟕 √𝟕
𝟐 𝟏 𝟏 𝟕 𝟕 𝟏𝟐 𝟏𝟐
𝐝𝐞𝐭 𝑩 = || √𝟑 |= + = ⇒𝑩=√
𝟏 𝟏 | 𝟑 𝟒 𝟏𝟐 𝟏𝟐 𝟏 𝟏
− −𝟐
𝟐 √𝟑 √𝟑
√𝟕 √𝟕
( 𝟏𝟐 𝟏𝟐 )
𝟐
𝟏 𝟏𝟐 𝟏 𝟏𝟐 𝟏 𝟏𝟐 𝟏 𝟏𝟐 𝟏 𝟏
We notice that ( ⋅ √ 𝟕 ) + (𝟐 ⋅ √ 𝟕 ) = 𝟑 ⋅ +𝟒⋅ = 𝟏𝟐 (𝟐𝟏 + 𝟐𝟖) =
√𝟑 𝟕 𝟕
𝟏
𝟒+𝟑 𝟕 √𝟑
= 𝟏𝟐 ⋅ 𝟕⋅𝟏𝟐 = 𝟏𝟐 ⋅ 𝟕⋅𝟏𝟐 = 𝟏 ⇒ we can denote 𝟕
= 𝐜𝐨𝐬 𝜶 and
√
𝟏𝟐
𝒏 𝒏
√𝟕 √𝟕 √𝟕
= 𝟐√𝟔 < 1 ⇒ 0 < |𝒙𝒏 + 𝒚𝒏 | ≤ |𝒙𝒏 | + |𝒚𝒏 | ≤ (𝟐√𝟔) + (𝟐√𝟔) → 𝟎 when 𝒏 → ∞
So 𝛀 = 𝟎
675.
𝟏
𝑨𝒏 = (𝒂𝒊𝒋) , 𝒂𝒊𝒋 = , 𝒏 ∈ ℕ, 𝒏 ≥ 𝟐
𝟏≤𝒊,𝒋≤𝒏 𝒊+𝒋−𝟏
Find:
𝐝𝐞𝐭(𝑨𝒏+𝟏 )
𝛀 = 𝐥𝐢𝐦 ( )
𝒏→∞ (𝒏!)𝟑 ⋅ 𝐝𝐞𝐭(𝑨𝒏 )
Proposed by Daniel Sitaru – Romania
Solution 1 by Le Thu-Vietnam
Such matrices are known as Cauchy matrices. The special case where it satisfies
𝒙𝒊 − 𝒚𝒊 = 𝒊 + 𝒋 − 𝟏 is called a Hilbert matrix - 𝓗𝒏
𝐝𝐞𝐭(𝓗𝒏+𝟏) (𝒏!)𝟒
Note that = (𝟐𝒏)!(𝟐𝒏+𝟏)!
𝐝𝐞𝐭(𝓗𝒏 )
See: https://math.stackexchange.com/questions/4167272/
hilbert_matrices_determinant_recurrence_relation
𝒏!
Therefore, 𝛀 = 𝐥𝐢𝐦 (𝟐𝒏)!(𝟐𝒏+𝟏)! = 𝟎
𝐝𝐞𝐭(𝑨𝒏+𝟏 )
𝛀 = 𝐥𝐢𝐦 ( )
𝒏→∞ (𝒏!)𝟐 ⋅ 𝐝𝐞𝐭(𝑨𝒏 )
−𝟏
Consider Cauchy matrix with: 𝒂𝒊𝒋 = (𝒙𝒊 − 𝒚𝒋 )
Subtract the last row from 𝒏 − 𝟏 preceding rows.
𝟏 𝟏 𝒙 𝒏 − 𝒚𝒋 − 𝒙 𝒊 + 𝒚𝒋 𝒙𝒏 − 𝒙𝒊
− = =
𝒙𝒊 − 𝒚𝒊 𝒙𝒏 − 𝒚𝒋 (𝒙𝒊 − 𝒚𝒋 )(𝒙𝒏 − 𝒚𝒋 ) (𝒙𝒊 − 𝒚𝒋 )(𝒙𝒏 − 𝒚𝒋 )
𝑭𝒓𝒐𝒎 𝒓𝒐𝒘 𝒊 𝒕𝒂𝒌𝒆 𝒐𝒖𝒕: 𝒙𝒏 − 𝒙𝒋 → 𝒊 ∈ (𝟏, 𝟐, … , 𝒏 − 𝟏)
{ 𝟏 ⇒ 𝑨𝒏 now becomes →
𝑭𝒓𝒐𝒎 𝒄𝒐𝒍𝒖𝒎𝒏 𝒋 𝒕𝒂𝒌𝒆 𝒐𝒖𝒕: 𝒙 → 𝒋 ∈ (𝟏, 𝟐, … , 𝒏)
𝒏 −𝒚𝒋
𝟏
𝑨𝒏−𝟏
𝒙 𝟏 − 𝒚𝒏
…
→ 𝟏
𝒙𝒏−𝟏 − 𝒚𝒏
[ 𝟏 𝟏 ]
In the temaining determinant, subtract the last column for all the preceding columns.
𝟏 𝟏 𝒙 𝒊 − 𝒚𝒏 − 𝒙 𝒊 + 𝒚𝒊 𝒚𝒋 − 𝒚𝒏
− = =
𝒙𝒊 − 𝒚𝒋 𝒙𝒊 − 𝒚𝒏 (𝒙𝒊 − 𝒚𝒊 )(𝒙𝒊 − 𝒚𝒏 ) (𝒙𝒊 − 𝒚𝒋 )(𝒙𝒊 − 𝒚𝒏 )
𝟏
𝑭𝒓𝒐𝒎 𝒓𝒐𝒘 𝒊 𝒕𝒂𝒌𝒆 𝒐𝒖𝒕: → 𝒊 ∈ (𝟏, 𝟐, … , 𝒏 − 𝟏)
{ 𝒙𝒊 −𝒚𝒏 ⇒ 𝑨𝒏 becomes →
𝑭𝒓𝒐𝒎 𝒓𝒐𝒘 𝒋 𝒕𝒂𝒌𝒆 𝒐𝒖𝒕: 𝒚𝒋 − 𝒚𝒏 → 𝒋 ∈ (𝟏, 𝟐, … , 𝒏 − 𝟏)
𝑨𝒏−𝟏 𝟏
[ …]
𝟎𝟎 … 𝟎𝟏
𝟏 𝒙𝒏 −𝒙𝒌 𝒚 −𝒚
Thus → 𝐝𝐞𝐭{𝑨𝒏 } = 𝐝𝐞𝐭{𝑨𝒏−𝟏 } 𝒙 ∏𝒏−𝟏
𝒌=𝟏 ( ⋅ 𝒙𝒌−𝒚𝒏 )
𝒏 −𝒚𝒏 𝒙𝒏 −𝒚𝒌 𝒌 𝒏
If: 𝒙𝒊 = 𝒊 − 𝟏, 𝒚𝒋 = −𝒋 → 𝒙𝒏 − 𝒙𝒌 = 𝒏 − 𝒌
𝒙 𝒏 − 𝒚𝒌 = 𝒏 + 𝒌 − 𝟏
𝟏 𝟏
= → 𝒚𝒌 − 𝒚𝒏 = 𝒏 − 𝒌
𝒙𝒏 − 𝒚𝒏 𝟐𝒏 − 𝟏
𝒙 𝒌 − 𝒚𝒏 = 𝒏 + 𝒌 − 𝟏
∏ ( 𝒏 − 𝒌 ) = ( 𝒏 − 𝟏) !
𝒌−𝟏
and
𝒏−𝟏
(𝟐𝒏 − 𝟐)!
∏(𝒏 + 𝒌 − 𝟏) =
( 𝒏 − 𝟏) !
𝒌=𝟏
𝟒
((𝒏 − 𝟏)!)
𝐝𝐞𝐭{𝑨𝒏 } = 𝐝𝐞𝐭{𝑨𝒏−𝟏 }
(𝟐𝒏 − 𝟏)! (𝟐𝒏 − 𝟐)!
𝐝𝐞𝐭{𝑨𝒏+𝟏 } (𝒏!)𝟒 𝐝𝐞𝐭{𝑨𝒏+𝟏 } 𝒏!
⇒ = ⇒ 𝟑
=
𝐝𝐞𝐭{𝑨𝒏 } (𝟐𝒏 + 𝟏)! (𝟐𝒏)! (𝒏!) 𝐝𝐞𝐭{𝑨𝒏 } (𝟐𝒏 + 𝟏)! (𝟐𝒏)!
⇒𝛀=𝟎
676. 𝑨 ∈ 𝑴𝟓 (ℤ), 𝑨𝟒 = 𝑶𝟓 . Solve for complex numbers:
𝟐 +𝑰 )
𝒛 − 𝒊 𝟓 𝐝𝐞𝐭(𝑨 𝟓
( ) = −𝟏
𝒛+𝒊
Proposed by Daniel Sitaru – Romania
Solution 1 by George Florin Șerban-Romania
𝑨𝟒 = 𝑶𝟓 ⇒ 𝒎𝑨 |𝒙𝟒 T. Frobenius
𝒑𝒂 (𝒙) = (−𝟏)𝟓 𝐝𝐞𝐭(𝑨 − 𝒙𝑰𝟓 ) = 𝒙𝟓 , T. Casley – Hamilton
𝒑𝑨 (𝑨) = 𝑶𝟓 ⇒ 𝑨𝟓 = 𝑶𝟓 , 𝐝𝐞𝐭(𝑨 − 𝒙𝑰𝟓 ) = 𝒙𝟓
𝐝𝐞𝐭(𝑨𝟐 + 𝑰𝟓 ) = 𝐝𝐞𝐭(𝑨 + 𝒊𝑰𝟓 ) ⋅ 𝐝𝐞𝐭(𝑨 − 𝒊𝑰𝟓 ) =
= −(−𝒊)𝟓 ⋅ [−𝒊𝟓 ] = (−𝒊𝟐 )𝟓 = 𝟏𝟓 = 𝟏
𝒛−𝒊 𝟓
⇒( ) = −𝟏, −𝟏 = 𝐜𝐨𝐬 𝝅 + 𝒊 𝐬𝐢𝐧 𝝅
𝒛+𝒊
𝒛−𝒊 𝟓 𝒛−𝒊 𝝅 + 𝟐𝒌𝝅 𝝅 + 𝟐𝒌𝝅
= √𝐜𝐨𝐬 𝝅 + 𝒊 𝐬𝐢𝐧 𝝅 , = 𝐜𝐨𝐬 + 𝒊 𝐬𝐢𝐧 =𝜶⇒
𝒛+𝒊 𝒛+𝒊 𝟓 𝟓
⇒ 𝒛 − 𝒊 = 𝒛𝜶 + 𝒊𝜶, 𝒌 = 𝟎, 𝟒
𝒛 − 𝒛𝜶 = 𝒊 + 𝒊𝜶, 𝒛(𝟏 − 𝜶) = 𝒊(𝟏 + 𝜶)
𝒏
𝟏 𝒏
↔ ∑ 𝒎 ((𝟏 + ) − 𝟏) = 𝟑𝟏𝟑𝟎 − 𝟑𝟏 ↔
𝒎
𝒎
𝒎=𝟏
𝒏 𝒏 𝒏 𝒏
𝟏 𝒏
↔ ∑ 𝒎 (𝟏 + ) − ∑ 𝒎𝒏 = 𝟑𝟏𝟑𝟎 − 𝟑𝟏 ↔ ∑ (𝒎 + 𝟏)𝒏 − ∑ 𝒎𝒏 = 𝟑𝟏𝟑𝟎 − 𝟑𝟏
𝒏
𝒎
𝒎=𝟏 𝒎=𝟏 𝒎=𝟏 𝒎=𝟏
𝒏
𝟏 𝒏
↔ ∑ 𝒎𝒏 ((𝟏 + ) − 𝟏) = 𝟑𝟏𝟑𝟎 − 𝟏
𝒎
𝒎=𝟏
𝒏 𝒏 𝒏 𝒏
𝟏 𝒏
↔ ∑ 𝒎 (𝟏 + ) ∑ 𝒎𝒏 = 𝟑𝟏𝟑𝟎 − 𝟏 ↔ ∑ (𝒎 + 𝟏)𝒏 − ∑ 𝒎𝒏 = 𝟑𝟏𝟑𝟎 − 𝟏
𝒏
𝒎
𝒎=𝟏 𝒎=𝟏 𝒎=𝟏 𝒎=𝟏
↔ (𝒏 + 𝟏 )𝒏 − 𝟏 = 𝟑𝟏 𝟑𝟎
− 𝟏 ↔ (𝒏 + 𝟏 )𝒏 = 𝟑𝟏 𝟑𝟎
↔ 𝒏 = 𝟑𝟎
Hence: 𝒏 = 𝟑𝟎
79 RMM-ABSTRACT ALGEBRA MARATHON 601-700
www.ssmrmh.ro
678. Solve for real numbers:
𝟏 𝟏 𝟐
+ =
𝟏 + 𝐭𝐚𝐧𝟒 𝒙 𝟏𝟎 𝟏 + 𝟑 𝐭𝐚𝐧𝟐 𝒙
Proposed by Daniel Sitaru – Romania
Solution by Hikmat Mammadov-Azerbaijan
9
−
10
𝟏 𝟏 𝟐
𝒚= + −
𝟏 + 𝐭𝐚𝐧 𝒙 𝟏𝟎 𝟏 + 𝟑 𝐭𝐚𝐧𝟐 𝒙
𝟒
𝐭𝐚𝐧𝟐 𝒙 = 𝒕
𝟑𝒕𝟑 − 𝟏𝟗𝒕𝟐 + 𝟑𝟑𝒕 − 𝟗 = 𝟎, (𝒕 − 𝟑)(𝟑𝒕𝟐 − 𝟏𝟎𝒕 + 𝟑) = 𝟎
𝟏
(𝒕 − 𝟑)𝟐 (𝒕 − ) = 𝟎
𝟑
𝟏 𝟏 𝟐
+ =
𝟏 + 𝐭𝐚𝐧 𝒙 𝟏𝟎 𝟏 + 𝟑 𝐭𝐚𝐧𝟐 𝒙
𝟒
𝟏
𝐭𝐚𝐧𝟐 𝒙 = 𝟑 ⇒ 𝒙 = 𝝅 (𝒌 ± ) , 𝒌 ∈ ℤ
𝟑
𝟏 𝟏
𝐭𝐚𝐧𝟐 𝒙 = ⇒ 𝒙 = 𝝅 (𝒌 ± ) , 𝒌 ∈ ℤ
𝟑 𝟔
679. 𝐏𝐫𝐨𝐯𝐞 𝐭𝐡𝒂𝐭 ∶
𝐧+𝟏 𝐧 𝐦+𝟏
𝟏 𝐅𝐧+𝟏 𝐅𝐧+𝟐 𝐦 (
𝐤−𝟏
)
( ) ∑ ≥ 𝟏,
𝟐𝐧 𝟐𝐧 𝐅𝐤𝟐𝐦
𝐤=𝟏
∑ 𝑭𝟐𝒌 = 𝑭𝒏 𝑭𝒏+𝟏
𝒌=𝟏
∑ 𝑭𝟐𝒋 = 𝑭𝒌 𝑭𝒌+𝟏
𝒌=𝟏
𝒌+𝟏 𝒌
∴ ∑ 𝑭𝟐𝒋 = ∑ 𝑭𝟐𝒋 + 𝑭𝟐𝒌+𝟏 = 𝑭𝒌 𝑭𝒌+𝟏 + 𝑭𝟐𝒌+𝟏 = (𝑭𝒌 + 𝑭𝒌+𝟏 ) ⋅ 𝑭𝒌+𝟏 = 𝑭𝒌+𝟐 𝑭𝒌+𝟏
𝒋=𝟏 𝒋=𝟏
∴ 𝑷(𝒌 + 𝟏) is true
𝒏+𝟏
Note :
𝒏+𝟏
(𝟏 + 𝒙)𝒏 = 𝑪𝟎 + 𝑪𝟏 𝒙 + ⋯ + 𝑪𝒏 𝒙𝒏
We put 𝒙 = 𝟏, we get
𝟐𝒏 = 𝑪𝟎 + 𝑪𝟏 + ⋯ + 𝑪𝒏
Now
𝒏+𝟏 𝒏 𝒎+𝟏 𝟐 𝒎 [∑𝒏+𝟏 (
𝒏 𝒎+𝟏
𝟏 𝑭𝒏+𝟏 𝑭𝒏+𝟐 𝒎 ( ) 𝑹𝒂𝒅𝒐𝒏 𝟏 (∑𝒏+𝟏 𝑭 ) 𝒌=𝟏 ) ]
( ) ∑ 𝒌−𝟏 ≥
𝒌=𝟏 𝒌 𝒌−𝟏
𝒎
𝟐𝒏 𝟐𝒏 𝑭𝟐𝒎
𝒌 𝟐 𝒏 𝟐 𝒎𝒏
(∑𝒌=𝟏 𝑭𝟐𝒌 )
𝒏+𝟏
𝒌=𝟏
𝒏+𝟏 𝒎
𝟏 (𝟐𝒏 )𝒎+𝟏
= ⋅ × (∑ 𝑭𝟐𝒌 )
𝟐𝒎𝒏+𝒏 (∑𝒏+𝟏 𝟐 𝒎
𝒌=𝟏 𝑭𝒌 ) 𝒌=𝟏
𝐧+𝟏 𝐧 𝐦+𝟏
𝟏 𝐅𝐧+𝟏 𝐅𝐧+𝟐 𝐦 ( )
∴ 𝐧( ) ∑ 𝐤−𝟏 ≥ 𝟏 (𝐐𝐄𝐃)
𝟐 𝟐𝐧 𝐅𝐤𝟐𝐦
𝐤=𝟏
680.
𝐈𝐟 𝐅𝐧 𝒂𝐧𝐝 𝐋𝐧 𝒂𝐫𝐞 𝐭𝐡𝐞 𝐧𝐭𝐡 𝐅𝐢𝐛𝐨𝐧𝒂𝐜𝐜𝐢 𝐧𝐮𝐦𝐛𝐞𝐫 𝒂𝐧𝐝 𝐧𝐭𝐡 𝐋𝐮𝐜𝒂𝐬 𝐧𝐮𝐦𝐛𝐞𝐫 𝐫𝐞𝐬𝐩𝐞𝐜𝐭𝐢𝐯𝐞𝐥𝐲,
𝐭𝐡𝐞𝐧 𝐩𝐫𝐨𝐯𝐞 𝐭𝐡𝒂𝐭 ∶
𝐧 𝐧
∑ 𝑭𝟐𝒋 = 𝑭𝒌 𝑭𝒌+𝟏
𝒋=𝟏
𝒌+𝟏 𝒏
∴ ∑ 𝑭𝟐𝒋 = ∑ 𝑭𝟐𝒋 + 𝑭𝟐𝒌+𝟏 = 𝑭𝒌 𝑭𝒌+𝟏 + 𝑭𝟐𝒌+𝟏 = (𝑭𝒌 + 𝑭𝒌+𝟏 ) ⋅ 𝑭𝒌+𝟏 = 𝑭𝒌+𝟐 𝑭𝒌+𝟏
𝒋=𝟏 𝒋=𝟏
∴ 𝑷(𝒌 + 𝟏) is true
𝑭𝒏 ⋅ 𝑭𝒏+𝟏 = ∑ 𝑭𝟐𝒌
𝒌=𝟏
Now
𝒏
𝐤=𝟏
𝐧
𝐤=𝟏
𝐧
?
⇔ 𝐛𝟐 (𝟐𝒂𝟐 − 𝟏) + 𝟑𝒂𝐛 + 𝟑 > 𝟎 → 𝐭𝐫𝐮𝐞 ∵ 𝒂 ≥ 𝐋𝟐 = 𝟑 𝒂𝐧𝐝 𝐛 ≥ 𝐋𝟑 = 𝟒
𝐧
𝒂𝒃 ⋅ 𝒃𝒂 = 𝒄𝒃𝒂𝒄
Proposed by Neculai Stanciu – Romania
Solution 1 by Adrian Popa
𝒂𝒃 ⋅
𝒃𝒂
−−
𝒎𝒏𝒄
𝒄𝒒𝒑
−−−
𝒄𝒃𝒂𝒄
We denote the last digit of 𝒂 ⋅ 𝒃 with 𝑼(𝒂 ⋅ 𝒃)
the first digit of 𝒂 ⋅ 𝒃 = 𝑷(𝒂 ⋅ 𝒃)
Because 𝑼(𝒂 ⋅ 𝒃) ≠ 𝑷(𝒂 ⋅ 𝒃) (if this thing happens ⇒ 𝒂 ⋅ 𝒃 ⋮ 𝟏𝟏 ⇒ one of 𝒂 or 𝒃 must be
𝟏𝟏 → false.) → 𝑼(𝒂 ⋅ 𝒃) = 𝑷(𝒂 ⋅ 𝒃) + 𝟏 ⇒
⇒ 𝒂 ⋅ 𝒃 = 𝟕 ⋅ 𝟖 = 𝟖 ⋅ 𝟕 = 𝟓𝟔
𝟕𝟖 ⋅
𝟖𝟕
−−
𝟓𝟒𝟔
𝟔𝟐𝟒
−−−
𝟔𝟕𝟖𝟔
𝒄𝒃𝒂𝒄
𝒄=𝟔
⇒ 𝒂 = 𝟖} ⇒ 𝒂𝒃𝒄 = 𝟖𝟕𝟔
𝒃=𝟕
85 RMM-ABSTRACT ALGEBRA MARATHON 601-700
www.ssmrmh.ro
Solution 2 by Bedri Hajrizi-Mitrovica-Kosovo
(𝟏𝟎𝒂 + 𝒃)(𝟏𝟎𝒃 + 𝒂) − 𝟏𝟎𝟎𝒃 − 𝟏𝟎𝒂 = 𝟏𝟎𝟎𝟏𝒄
(𝟏𝟎𝒂 + 𝒃)(𝟏𝟎𝒃 + 𝒂) − 𝟏𝟎(𝟏𝟎𝒃 + 𝒂) = 𝟏𝟎𝟎𝟏𝒄
(𝟏𝟎𝒂 + 𝒃 − 𝟏𝟎)(𝟏𝟎𝒃 + 𝒂) = 𝟏𝟎𝟎𝟏𝒄
(𝟏𝟎𝒂 + 𝒃 − 𝟏𝟎)(𝟏𝟎𝒃 + 𝒂) = 𝟕 ⋅ 𝟏𝟏 ⋅ 𝟏𝟑𝒄
(𝟏𝟎𝒂 + 𝒃 − 𝟏𝟎)(𝟏𝟎𝒃 + 𝒂)
𝒄=
𝟕 ⋅ 𝟏𝟏 ⋅ 𝟏𝟑
𝟏𝟎 + 𝒃 − 𝟏𝟎 = 𝟕𝟕
1) { ~ { 𝒂𝒃 = 𝟖𝟕
𝟏𝟎𝒃 + 𝒂 = 𝟏𝟑𝒄 𝒃𝒂 = 𝟏𝟑𝒄 = 𝟕𝟖
⇒ 𝒂 = 𝟖, 𝒃 = 𝟕, 𝒄 = 𝟔
𝟏𝟎𝒂 + 𝒃 − 𝟏𝟎 = 𝟏𝟏
2) { ~ { 𝒂𝒃 = 𝟐𝟏
𝟏𝟎𝒃 + 𝒂 = 𝟗𝟏𝒄 𝒃𝒂 = 𝟗𝟏𝒄
⇒ no solution
𝟏𝟎𝒂 + 𝒃 − 𝟏𝟎 = 𝟕𝟕𝒄 𝒂𝒃 = 𝟕𝟕𝒄 + 𝟏𝟏
3) { ~{
𝟏𝟎𝒃 + 𝒂 = 𝟏𝟑 𝒃𝒂 = 𝟏𝟑
⇒ no solution
𝟏𝟎𝒂 + 𝒃 − 𝟏𝟎 = 𝟏𝟏𝒄 𝒂𝒃 = 𝟏𝟏𝒄 + 𝟏𝟎
4) { ~{
𝟏𝟎𝒃 + 𝒂 = 𝟗𝟏 𝒃𝒂 = 𝟗𝟏
⇒ no solution
Finally 𝒂𝒃𝒄 = 𝟖𝟕𝟔
683. Solve for natural numbers:
𝒙 𝒙 𝒙 𝒙
( ) +𝟐( ) +𝟒( ) + ⋯ + 𝟐𝒙 ( ) = 𝟒𝒚
{ 𝟐𝒙 𝟐𝒙 − 𝟏 𝟐𝒙 − 𝟐 𝒙
𝒚
𝒙⋅𝟐 = 𝟖
Proposed by Daniel Sitaru – Romania
Solution 1 by Ravi Prakash-New Delhi-India
𝒙, 𝒚 ∈ ℕ, and (𝒙)(𝟐𝒚 ) = 𝟖 ⇒ 𝒙 ≠ 𝟎 ⇒ 𝒙 ≥ 𝟏
Thus, 𝟖 = (𝒙)(𝟐𝒚 ) ≥ 𝟐𝒚 ⇒ 𝟐𝒚 ≤ 𝟖 ⇒ 𝒚 = 𝟎, 𝟏, 𝟐, 𝟑
Case 1. When 𝒚 = 𝟎, 𝒙 = 𝟖
First equation becomes
𝟏𝟔 𝟏𝟓 𝟖
( ) + 𝟐 ( ) + ⋯ + 𝟐𝟖 ( ) = 𝟒𝟎 = 𝟏
𝟖 𝟖 𝟖
Not possible
Case 2. When 𝒚 = 𝟏, 𝒙 = 𝟒
In this case first equation becomes
∑ 𝑪𝟖−𝒓
𝟒 ⋅ 𝟐𝒓 = 𝟖𝑪𝟒 + 𝟕𝑪𝟒 ⋅ 𝟐𝟏 + ⋯ + 𝟒𝑪𝟒 ⋅ 𝟐𝟒 ≠ 𝟒𝟏
𝒓=𝟎
∑ 𝑪𝟒−𝒓
𝟐 ⋅ 𝟐𝒓 = 𝟒𝑪𝟐 ⋅ 𝟐𝟎 + 𝟑𝑪𝟐 ⋅ 𝟐𝟏 + 𝟐𝑪𝟐 ⋅ 𝟐𝟐 = 𝟔 + 𝟔 + 𝟒 = 𝟏𝟔 = 𝟒𝟐
𝒓
∴ ∑ 𝑪𝟐−𝒓
𝟏 ⋅ 𝟐𝒓 = 𝟐𝑪𝟏 + 𝟏𝑪𝟏 ⋅ 𝟐 ≠ 𝟒𝟑
𝒓=𝟎
𝒌 𝟏 𝒌 𝒌 𝟏 𝒌
Thus, ∑𝟐𝒙 𝟐𝒙
𝒌=𝒙 ( ) (𝟐) is independent of 𝒙 ⇒ ∑𝒌=𝒙 ( ) (𝟐) = 𝟏, ∀𝒙 ∈ ℤ≥𝟎
𝒙 𝒙
684. Find all (𝒎, 𝒏, 𝒑) ∈ ℕ𝑿ℕ𝑿ℕ such that:
𝒎 + 𝒏 + 𝒑 + 𝒎𝒏 + 𝒏𝒑 + 𝒑𝒎 + 𝒎𝒏𝒑 = 𝟑𝟓
{
(𝒑 + 𝟐) ⋅ 𝒑𝒑 = (𝒑 + 𝟐)𝒑
Proposed by Daniel Sitaru – Romania
Solution 1 by Rajarshi Chakraborty-India
𝒎 + 𝒏 + 𝒑 + 𝒎𝒏 + 𝒏𝒑 + 𝒎𝒑 + 𝒎𝒏𝒑 = 𝟑𝟓 (i)
(𝒑 + 𝟐) ⋅ 𝒑𝒑 = (𝒑 + 𝟐)𝒑 (ii)
From (ii)
𝒑𝒑 = (𝒑 + 𝟐)𝒑−𝟏 ⇒ 𝒑|𝒑 + 𝟐 ⇒ 𝒑 = 𝟐 or 1
For 𝒑 = 𝟐, 𝟐𝟐 = (𝟐 + 𝟐)𝟐−𝟏 , and for 𝒑 = 𝟏, 𝟏𝟏 = (𝟏 + 𝟐)𝟏−𝟏
Case 1 (𝒑 = 𝟐): 𝒎 + 𝒏 + 𝟐 + 𝒎𝒏 + 𝟐𝒏 + 𝟐𝒎 + 𝟐𝒎𝒏 = 𝟑𝟓
⇒ 𝒎 + 𝒏 + 𝒎𝒏 = 𝟏𝟏
Possibilities
𝒏=𝟏 𝒎=𝟓
𝒏=𝟐 𝒎=𝟑
𝒏=𝟑 𝒎=𝟐
𝒏=𝟒 𝒏∉ℕ
𝒏=𝟓 𝒎=𝟏
Case 𝟐(𝒑 = 𝟏):
𝟐𝒎 + 𝟐𝒏 + 𝟐𝒎𝒏 = 𝟑𝟒 ⇒ 𝒎 + 𝒏 + 𝒎𝒏 = 𝟏𝟕
Possibilities
𝒏=𝟏 𝒎=𝟖
∴ 𝒑|𝟐 then 𝒑 = 𝟏 or 𝒑 = 𝟐
𝑰𝒇 𝒑 = 𝟏, (𝟏 + 𝟐) ⋅ 𝟏𝟏 = (𝟏 + 𝟐)𝟏 ⇒ 𝟑 = 𝟑
} 𝒑 = 𝟏 and 𝒑 = 𝟐 satisfy the equation.
𝑰𝒇 𝒑 = 𝟐, (𝟐 + 𝟐) ⋅ 𝟐𝟐 = (𝟐 + 𝟐)𝟐 ⇒ 𝟏𝟔 = 𝟏𝟔
If 𝒑 = 𝟏 then (𝟏 + 𝒎)(𝟏 + 𝒏) = 𝟏𝟖, (𝒎, 𝒏) = (𝟎, 𝟏𝟕), (𝟏, 𝟖), (𝟐, 𝟓), (𝟏𝟕, 𝟎), (𝟖, 𝟏), (𝟓, 𝟐)
where 𝒑 = 𝟏
If 𝒑 = 𝟐 then (𝟏 + 𝒎)(𝟏 + 𝒏) = 𝟏𝟐, (𝒎, 𝒏) = (𝟎, 𝟏𝟏)(𝟏, 𝟓), (𝟐, 𝟑), (𝟏𝟏, 𝟎), (𝟓, 𝟏), (𝟑, 𝟐)
where 𝒑 = 𝟐
685. Solve for real numbers:
𝒙𝒙 = 𝟐𝒙+𝟒
𝟒𝒛
{ 𝒛𝟐 + + 𝐥𝐨𝐠 𝒚 𝒛 = 𝟗𝟏
𝒙
𝒚𝒚 = 𝟑𝒚+𝟗
Proposed by Daniel Sitaru – Romania
Solution by Ravi Prakash-New Delhi-India
𝒙𝒙 = 𝟐𝒙+𝟒 > 𝟐𝒙 ⇒ 𝒙 > 2
𝟒
Also, 𝒙 𝐥𝐨𝐠 𝟐 𝒙 = 𝒙 + 𝟒 ⇒ 𝐥𝐨𝐠 𝟐 𝒙 = 𝟏 + 𝒙
𝒌+𝟏𝟗 𝟐𝒌 −𝒊 −𝒋 𝒑𝟐𝒌−𝟏𝟑
𝟐𝒌
𝒎 𝟐 𝒎𝒏 𝟐𝒌−𝟑𝟔 𝒎𝒏 𝒌−𝟑𝟔 𝒎𝒏 𝒌−𝟑𝟔
= [( ) ⋅ ( 𝒎 ) ∑ ( 𝒎) ∑ ( 𝒎) ]
𝒏 𝒏 𝒏 𝒏
𝒊=𝟏 𝒋=𝟏
−(𝟐𝒌+𝟏) 𝟐 𝒑𝟐𝒌−𝟏𝟑
𝒏
𝒌+𝟏𝟗 𝒎 𝒌−𝟑𝟔
𝒎 𝟐 𝒎𝒏 𝟐⋅𝒌−𝟑𝟔 𝟏 − ( 𝒏𝒎 )
= ( ) ⋅ ( 𝒎) −𝟏 + −𝟏 =
𝒏 𝒏
𝒎𝒏 𝒌−𝟑𝟔
𝟏 − ( 𝒏𝒎 )
[ ( ) ]
−𝟐𝒌 𝟐 𝒑𝟐𝒌−𝟏𝟑
𝟐𝒌+𝟑𝟔 𝒎𝒏 𝒌−𝟑𝟔
𝒎 𝟐 𝒎𝒏 𝒌−𝟑𝟔 𝟏− ( 𝒏𝒏 )
= ( ) ⋅ ( 𝒎) −𝟏
𝒏 𝒏
𝒎𝒏 𝒌−𝟑𝟔
𝟏 − ( 𝒏𝒎 )
[ ( ) ]
𝟑𝟐−𝒌
𝒎 𝒎𝒏 𝒌−𝟑𝟔
−𝟐𝒌 𝟐 𝒏 ⋅(𝒏𝒎 )
𝟐𝒌+𝟑𝟔 𝒎𝒏 𝒌−𝟑𝟔
𝒎 𝟐 𝒎𝒏 𝒌−𝟑𝟔 𝟏 − ( 𝒎)
𝒏
= ( ) ⋅ ( 𝒎) −𝟏
𝒏 𝒏
𝒎𝒏 𝒌−𝟑𝟔
𝟏 − ( 𝒏𝒎 )
[ ( ) ]
∴𝛀=𝟐
𝒙𝟒 − 𝟒𝑹𝒙𝟑 + 𝟔𝑹𝒙𝟐 − 𝟒𝛀𝒙 + 𝟏 = 𝟎, 𝒙𝟒 − 𝟖𝒙𝟑 + 𝟏𝟐𝒙𝟐 − 𝟖𝒙 + 𝟏 = 𝟎
𝟏 𝟏
(𝒙𝟒 + 𝟏) − 𝟖(𝒙𝟑 + 𝒙) + 𝟏𝟐𝒙𝟐 = 𝟎, (𝒙𝟐 + 𝟐
) − 𝟖 (𝒙 + ) + 𝟏𝟐 = 𝟎
𝒙 𝒙
𝟏 𝟐 𝟏 𝟏
(𝒙 + ) − 𝟖 (𝒙 + ) + 𝟏𝟎 = 𝟎, 𝒑𝟐 − 𝟖𝒑 + 𝟏𝟎 = 𝟎 [𝒙 + = 𝒑]
𝒙 𝒙 𝒙
𝟖 ± √𝟔𝟒 − 𝟒𝟎
𝒑= = (𝟒 ± √𝟔)
𝟐
𝟏
∴ 𝒙 + = (𝟒 + √𝟔)
𝒙
∴ 𝒙𝟐 − 𝒙(𝟒 + √𝟔) + 𝟏 = 𝟎
𝟐
(𝟒 + √𝟔) ± √(𝟒 + √𝟔) − 𝟒 𝟏
∴𝒙= = [𝟒 + √𝟔 ± √𝟏𝟖 + 𝟖√𝟔]
𝟐 𝟐
𝟏
𝒙+ = 𝟒 − √𝟔
𝒙
𝟏
∴ 𝒙𝟐 − 𝒙(𝟒 − √𝟔) + 𝟏 = 𝟎, 𝒙= [𝟒 − √𝟔 ± √𝟏𝟖 − 𝟖√𝟔]
𝟐
𝟏
Four real roots 𝒙 = 𝟐 [𝟒 + √𝟔 ± √𝟏𝟖 + 𝟖√𝟔]
∑ 𝑭𝟐𝒌 = 𝑭𝒏 𝑭𝒏+𝟏
𝒌=𝟏
Let ∀𝒏 ∈ ℕ, let 𝑷(𝒌): ∑𝒏𝒌=𝟏 𝑭𝟐𝒌 = 𝑭𝒏 𝑭𝒏+𝟏 . 𝑷(𝟏) is true because 𝑭𝟐𝟏 = 𝟏 = 𝑭𝟑 − 𝟏
Holds from definition
𝒏
∑ 𝑭𝟐𝒋 = 𝑭𝒌 𝑭𝒌+𝟏
𝒋=𝟏
𝒌+𝟏 𝒌
∴ ∑ 𝑭𝟐𝒋 = ∑ 𝑭𝟐𝒋 + 𝑭𝟐𝒌+𝟏 = 𝑭𝒌 𝑭𝒌+𝟏 + 𝑭𝟐𝒌+𝟏 = (𝑭𝒌 + 𝑭𝒌+𝟏 ) ⋅ 𝑭𝒌+𝟏 = 𝑭𝒌+𝟐 𝑭𝒌+𝟏
𝒋=𝟏 𝒋=𝟏
∴ 𝑷(𝒌 + 𝟏) is true
Part 1
𝒏 𝒏 𝒏 𝒏 𝒏 𝟐
𝟏 𝒎+𝟐 𝟐
𝟏 𝑪𝒂𝒖𝒄𝒉𝒚−𝑺𝒄𝒉𝒘𝒂𝒓𝒛 𝑭𝒎+𝟐
𝒌
(∑ 𝑭𝟐𝒎+𝟒
𝒌 ) (∑ ) = (∑(𝑭 𝒌 ) ) (∑ ) ≥ (∑ 𝒎 )
𝑭𝟐𝒎
𝒌
𝒎 𝟐
(𝑭 ) 𝑭 𝒌
𝒌=𝟏 𝒌=𝟏 𝒌=𝟏 𝒌=𝟏 𝒌 𝒌=𝟏
Part 2
𝒏 𝒏
𝟏 𝟏
(∑ 𝑳𝟐𝒎+𝟒
𝒌 ) ⋅ (∑ )
(𝑳𝒏 𝑳𝒏+𝟏 − 𝟏) 𝟐 𝑳𝟐𝒎
𝒌
𝒌=𝟏 𝒌=𝟏
𝒏 𝒏 𝟐 𝟐
𝟏 𝟐 𝟏 𝟏 𝑳𝒎+𝟐
𝒌
= (∑(𝑳𝒎+𝟐
𝒌 ) ⋅ (∑ ( 𝒎 ) )) ≥ (∑ )
(𝑳𝒏 𝑳𝒏+𝟏 − 𝟏) 𝟐 𝑳𝒌 (𝑳𝒏 𝑳𝒏+𝟏 − 𝟏)𝟐 𝑳𝒎𝒌
𝒌=𝟏 𝒌=𝟏
𝟏 𝟐 𝟏
= 𝟐
⋅ (∑ 𝑳𝟐𝒌 ) = ⋅ (𝑳𝒏 𝑳𝒏+𝟏 − 𝟏)𝟐 = 𝟏
(𝑳𝒏 𝑳𝒏+𝟏 − 𝟏) (𝑳𝒏 𝑳𝒏+𝟏 − 𝟏)𝟐
𝟐 𝟐
𝒏 𝒏 𝒏 𝒏
𝟏 𝑭𝒎+𝟐
(∑ 𝑭𝒌 ) (∑ 𝒎 ) ≥ (∑ √ 𝒌 𝒎 ) = (∑ 𝑭𝒌 ) = (𝑭𝒏+𝟐 − 𝟏)𝟐
𝒎+𝟐
𝑭𝒌 𝑭𝒌
𝒌=𝟏 𝒌=𝟏 𝒌=𝟏 𝒌=𝟏
𝒏 𝒏 𝟐
𝟏 𝒎+𝟐
𝟏 𝟏
∴ (∑ 𝑭 𝒌 ) (∑ ) ≥ ( ) (𝑭𝒏+𝟐 − 𝟏)𝟐 = 𝟏
(𝑭𝒏+𝟐 − 𝟏)𝟐 𝑭𝒎
𝒌 𝑭 𝒏+𝟐 − 𝟏
𝒌=𝟏 𝒌=𝟏
Note:
𝑭(𝒏) = 𝑭(𝒏 + 𝟐) − 𝑭(𝒏 + 𝟏)
𝑭(𝒏 − 𝟏) = 𝑭(𝒏 + 𝟏) − 𝑭(𝒏)
−−−−−−−−−−−−
−−−−−−−−−−−−
𝑭( 𝟏 ) = 𝑭( 𝟑 ) − 𝑭( 𝟐 )
Sum = 𝑭(𝒏 + 𝟐) − 𝑭(𝟐) … adding all
= 𝑭( 𝒏 + 𝟐 ) − 𝟏
Solution 2 by Soumava Chakraborty-Kolkata-India
𝐂𝐡𝐞𝐛𝐲𝐬𝐡𝐞𝐯
𝐧 𝐧 + 𝐧 𝐧
𝟏 𝐁𝐞𝐫𝐠𝐬𝐭𝐫𝐨𝐦 𝟏 𝟗
(∑ 𝐅𝐤𝟐𝐦+𝟒 ) (∑ 𝟐𝐦 ) ≥ (∑ 𝐅𝐤𝟐𝐦 ) (∑ 𝐅𝐤𝟒 ) . 𝐧
𝐅 𝟑 ∑𝐤=𝟏 𝐅𝐤𝟐𝐦
𝐤=𝟏 𝐤=𝟏 𝐤 𝐤=𝟏 𝐤=𝟏
691. Determine the nature of the triangle 𝑨𝑩𝑪 if the equality occurs:
𝟐 +𝒙
𝒍𝒐𝒈𝟑 (𝒙) + 𝟑𝒙 = 𝟏 + 𝟐𝟕𝒙+𝟏 , 𝒙 = 𝟐𝟒𝒄𝒐𝒔𝑨𝒄𝒐𝒔𝑩𝒄𝒐𝒔𝑪
Proposed by Radu Diaconu-Romania
Solution by Pham Duc Nam-Vietnam
𝟐 +𝒙 𝒙 𝟐
𝒍𝒐𝒈𝟑 (𝒙) + 𝟑𝒙 = 𝟏 + 𝟐𝟕𝒙+𝟏 ⇔ 𝒍𝒐𝒈𝟑 ( ) = 𝟑𝟑𝒙+𝟑 − 𝟑𝒙 +𝒙
𝟑
𝒙 𝟐
∗ 𝒙 > 0. Let: 𝒇(𝒙) = 𝒍𝒐𝒈𝟑 ( ) , 𝒈(𝒙) = 𝟑𝟑𝒙+𝟑 − 𝟑𝒙 +𝒙
𝟑
Clearly: 𝒇(𝒙) is monotone strictly increasing function
𝒙
∗ If: 𝟎 < 𝒙 < 3 ⇒ 𝒍𝒐𝒈𝟑 ( ) < 0, and 3𝒙 + 𝟑 − 𝒙𝟐 − 𝒙 = −𝒙𝟐 − 𝟐𝒙 + 𝟑,
𝟑
and − 𝒙𝟐 − 𝟐𝒙 + 𝟑 > 0 ⇔ 𝟎 < 𝑥 < 3
𝟐 𝒙 𝟐
⇒ 𝟑𝒙 + 𝟑 > 𝒙𝟐 + 𝒙 ⇒ 𝟑𝟑𝒙+𝟑 − 𝟑𝒙 +𝒙 > 0 ⇒ 𝒍𝒐𝒈𝟑 ( ) = 𝟑𝟑𝒙+𝟑 − 𝟑𝒙 +𝒙 has no solution where: 𝟎
𝟑
<𝒙<3
𝟐 𝟐
∗ If: 𝒙 ≥ 𝟑, 𝒈′(𝒙) = 𝟑𝒙 (𝟗𝟐+𝒙 − 𝟑𝒙 (𝟏 + 𝟐𝒙)) 𝒍𝒏(𝟑) , we have: 𝟗𝟐+𝒙 − 𝟑𝒙 (𝟏 + 𝟐𝒙)
𝟐 𝟐
= 𝟑𝟐𝒙+𝟒 − 𝟑𝒙 (𝟏 + 𝟐𝒙) < 𝟑𝟐𝒙+𝟒 − 𝟑𝒙 +𝟏 , since 1+2𝒙 ≥ 𝟕 > 3
Also: 𝟐𝒙 + 𝟒 ≤ 𝒙𝟐 + 𝟏∀𝒙 ≥ 𝟑 ⇒ 𝒈′(𝒙) < 0∀𝒙 ≥ 𝟑
⇒ 𝒈(𝒙) is monotone strictly decreasing function where 𝒙 ≥ 𝟑
And 𝒇(𝒙) is monotone strictly increasing function ⇒ If solution of 𝒇(𝒙)
= 𝒈(𝒙) exists then it is unique.
𝟐
𝒙 = 𝟑 is satisfied ⇒ 𝒍𝒐𝒈𝟑 (𝒙) + 𝟑𝒙 +𝒙 = 𝟏 + 𝟐𝟕𝒙+𝟏 ⇔ 𝒙 = 𝟑
𝟏 𝟏
⇔ (𝒔𝒊𝒏(𝟒𝒙) + 𝒔𝒊𝒏(𝟐𝒙))(𝒄𝒐𝒔(𝟐𝟒𝒙) + 𝒄𝒐𝒔(𝒙)) − (𝒔𝒊𝒏(𝟒𝒙) − 𝒔𝒊𝒏(𝟐𝒙))(𝒄𝒐𝒔(𝟐𝒙) − 𝒄𝒐𝒔(𝟐𝟒𝒙)) = 𝟎
𝟒 𝟒
𝒔𝒊𝒏(𝟒𝒙) = 𝟎
⇔ 𝒔𝒊𝒏(𝟒𝒙) (𝟐 𝒄𝒐𝒔(𝟐𝟒𝒙) + 𝟏) = 𝟎 ⇔ [
2 𝒄𝒐𝒔(𝟐𝟒𝒙) + 𝟏 = 𝟎
𝒌𝝅 𝝅 𝝅
∗ 𝒔𝒊𝒏(𝟒𝒙) = 𝟎 ⇒ 𝟒𝒙 = 𝒌𝝅 ⇒ 𝒙 = , 𝒌 ∈ ℤ and 𝒙 ∈ (𝟎, ) ⇒ 𝒙 =
𝟒 𝟐 𝟒
𝟏 𝟐𝝅 𝝅 𝝅
∗ 𝟐 𝒄𝒐𝒔(𝟐𝟒𝒙) + 𝟏 = 𝟎 ⇔ 𝒄𝒐𝒔(𝟐𝟒𝒙) = − ⇒ 𝟐𝟒𝒙 = ± + 𝒌𝟐𝝅 ⇔ 𝒙 = ± +𝒌
𝟐 𝟑 𝟑𝟔 𝟏𝟐
𝝅 𝝅 𝝅 𝟕𝝅 𝟓𝝅 𝟏𝟑𝝅 𝟒𝝅 𝝅 𝟓𝝅 𝟐𝝅 𝟏𝟏𝝅 𝟕𝝅 𝟏𝟕𝝅
𝒙 ∈ (𝟎, ) ⇒ 𝒙 = , , , , , , , , , , ,
𝟐 𝟑𝟔 𝟗 𝟑𝟔 𝟏𝟖 𝟑𝟔 𝟗 𝟏𝟖 𝟑𝟔 𝟗 𝟑𝟔 𝟏𝟖 𝟑𝟔
⇒ There are 13 solutions for the given equation: 𝒙
𝝅 𝝅 𝟕𝝅 𝟓𝝅 𝟏𝟑𝝅 𝟒𝝅 𝝅 𝟓𝝅 𝟐𝝅 𝟏𝟏𝝅 𝟕𝝅 𝟏𝟕𝝅 𝝅
= , , , , , , , , , , , ,
𝟑𝟔 𝟗 𝟑𝟔 𝟏𝟖 𝟑𝟔 𝟗 𝟏𝟖 𝟑𝟔 𝟗 𝟑𝟔 𝟏𝟖 𝟑𝟔 𝟒
√𝒂𝟐 + (𝒙 + 𝟐)𝟐 ≥ 𝟐𝒙 + 𝟒𝒂 − 𝟓
𝟓−𝟒𝒂
(1) 𝒙 ∈ 𝟐
𝟓 − 𝟒𝒂
𝒙 ∈ (−∞, ]
𝟐
𝟓−𝟒𝒂
(2) 𝒙 > 𝟐
not exist.
694.
𝑷(𝒙) = 𝒙𝟏𝟖 + 𝟗𝒙𝟏𝟔 + 𝟑𝟔𝒙𝟏𝟒 + 𝟖𝟏𝒙𝟏𝟐 + 𝟏𝟎𝟖𝒙𝟏𝟎 + 𝟖𝟏𝒙𝟖 + 𝟐𝟕𝒙𝟔 − 𝟐
𝟑 𝟑
𝑷(𝒙𝟏 ) = 𝑷(𝒙𝟐 ) = 𝟎, 𝒙𝟏 , 𝒙𝟐 ∈ ℝ, 𝒙𝟏 = −𝒙𝟐 = √ √ √𝒂 + 𝒃 − 𝒄
𝒂𝒃𝒄 =?
Proposed by Elsen Kerimov-Azerbaijan
Solution by Pham Duc Nam-Vietnam
𝟑 𝟑 𝟑
⇔ 𝒖𝟑 = 𝟏 + √𝟐 ⇔ 𝒖 = √𝟏 + √𝟐
𝟑 𝟑
Sub: 𝒕 = 𝒖 − 𝟏 then 𝒕 = √𝟏 + √𝟐 − 𝟏 ⇒ 𝒙 = ±√ √𝟏 + √𝟐 − 𝟏
𝟑 𝟑
𝟑 𝟑
⇒ 𝒙𝟏 = √ √𝟏 + √𝟐 − 𝟏, 𝒙𝟐 = −√ √𝟏 + √𝟐 − 𝟏
𝟑 𝟑
𝟑
We have the form √ √ 𝟑√𝒂 + 𝒃 − 𝒄 then 𝒂 = 𝟐, 𝒃 = 𝟏, 𝒄 = 𝟏 ⇒ 𝒂𝒃𝒄 = 𝟐
695.
𝟑 𝟐 𝟑 𝟐
(∑𝐜𝐲𝐜 𝒂) + 𝟗𝒂𝐛𝐜 𝟐(∑𝐜𝐲𝐜 𝒂) 𝒂+𝐛+𝐜 = 𝟑 (∑𝐜𝐲𝐜 𝒂) + 𝟗𝒂𝐛𝐜 𝟐(∑𝐜𝐲𝐜 𝒂)
( )( 𝟐
) = ( ) 𝟐
𝟑 ∑𝐜𝐲𝐜 𝒂 + ∑𝐜𝐲𝐜 𝒂 𝟑 (∑𝐜𝐲𝐜 𝒂)
∑𝐜𝐲𝐜 𝒂𝟐 + 𝟑
( )
?
≥ 𝟒(𝒂𝐛 + 𝐛𝐜 + 𝐜𝒂)𝟐
𝟑 𝟐 𝟐 𝟐
? 𝒂+𝐛+𝐜 = 𝟑
⇔ ((∑ 𝒂) + 𝟗𝒂𝐛𝐜) (∑ 𝒂) ≥ 𝟐 (∑ 𝒂𝐛) (𝟑 ∑ 𝒂𝟐 + (∑ 𝒂) ) ⇔
𝐜𝐲𝐜 𝐜𝐲𝐜 𝐜𝐲𝐜 𝐜𝐲𝐜 𝐜𝐲𝐜
𝟑 𝟐 𝟐 𝟐
∑𝐜𝐲𝐜 𝒂 ?
( ) ((∑ 𝒂) + 𝟗𝒂𝐛𝐜) (∑ 𝒂) ≥ 𝟐 (∑ 𝒂𝐛) (𝟑 ∑ 𝒂𝟐 + (∑ 𝒂) )
𝟑
𝐜𝐲𝐜 𝐜𝐲𝐜 𝐜𝐲𝐜 𝐜𝐲𝐜 𝐜𝐲𝐜
𝟑 𝟑 𝟐 𝟐
?
⏟ 𝟔 (∑ 𝒂𝐛) (𝟑 ∑ 𝒂𝟐 + (∑ 𝒂) )
⇔ ((∑ 𝒂) + 𝟗𝒂𝐛𝐜) (∑ 𝒂) ≥
𝐜𝐲𝐜 𝐜𝐲𝐜 (⦁) 𝐜𝐲𝐜 𝐜𝐲𝐜 𝐜𝐲𝐜
𝐀𝐬𝐬𝐢𝐠𝐧𝐢𝐧𝐠 𝐛 + 𝐜 = 𝒙, 𝐜 + 𝒂 = 𝐲, 𝒂 + 𝐛 = 𝐳 ⇒ 𝒙 + 𝐲 − 𝐳 = 𝟐𝐜 > 0, 𝑦 + 𝑧 − 𝒙 = 𝟐𝒂
> 0 𝒂𝐧𝐝 𝐳 + 𝒙 − 𝐲 = 𝟐𝐛 > 0 ⇒ 𝒙 + 𝐲 > 𝑧, 𝐲 + 𝐳 > 𝒙, 𝐳 + 𝒙 > 𝑦 ⇒ 𝒙, 𝐲, 𝐳 𝐟𝐨𝐫𝐦 𝐬𝐢𝐝𝐞𝐬
𝐨𝐟 𝒂 𝐭𝐫𝐢𝒂𝐧𝐠𝐥𝐞 𝐰𝐢𝐭𝐡 𝐬𝐞𝐦𝐢𝐩𝐞𝐫𝐢𝐦𝐞𝐭𝐞𝐫, 𝐜𝐢𝐫𝐜𝐮𝐦𝐫𝒂𝐝𝐢𝐮𝐬 𝒂𝐧𝐝 𝐢𝐧𝐫𝒂𝐝𝐢𝐮𝐬 = 𝐬, 𝐑, 𝐫 (𝐬𝒂𝐲)
𝐲𝐢𝐞𝐥𝐝𝐢𝐧𝐠 𝟐 ∑ 𝒂 = ∑ 𝒙 = 𝟐𝐬 ⇒ ∑ 𝒂 = 𝐬 → (𝟏) ⇒ 𝒂 = 𝐬 − 𝒙, 𝐛 = 𝐬 − 𝐲, 𝐜 = 𝐬 − 𝐳
𝐜𝐲𝐜 𝐜𝐲𝐜 𝐜𝐲𝐜
𝟐
∴ 𝒂𝐛𝐜 = 𝐫 𝐬 → (𝟐) 𝒂𝐧𝐝 𝐬𝐮𝐜𝐡 𝐬𝐮𝐛𝐬𝐭𝐢𝐭𝐮𝐭𝐢𝐨𝐧𝐬 ⇒ ∑ 𝒂𝐛 = ∑(𝐬 − 𝒙)(𝐬 − 𝐲)
𝐜𝐲𝐜 𝐜𝐲𝐜
𝟐
⇒ ∑ 𝒂𝐛 = 𝟒𝐑𝐫 + 𝐫 → (𝟑) 𝒂𝐧𝐝
𝐜𝐲𝐜
𝟐
𝐯𝐢𝒂 (𝟏) 𝒂𝐧𝐝 (𝟑)
∑ 𝒂𝟐 = (∑ 𝒂) − 𝟐 ∑ 𝒂𝐛 = 𝐬𝟐 − 𝟐(𝟒𝐑𝐫 + 𝐫 𝟐 )
𝐜𝐲𝐜 𝐜𝐲𝐜 𝐜𝐲𝐜
𝐜𝐲𝐜
⇔ (𝐬𝟑 + 𝟗𝐫 𝟐 𝐬)𝐬𝟑 ≥ 𝟔𝐫 𝟐 (𝟒𝐑 + 𝐫)𝟐 (𝟑(𝐬𝟐 − 𝟖𝐑𝐫 − 𝟐𝐫 𝟐 ) + 𝐬𝟐 )
= 𝟗𝑺𝟐 + 𝟏𝟖𝑺𝟏 + 𝟐𝟕 = 𝟎
𝛀 = (𝒙𝟏 𝒙𝟐 − 𝒙𝟐𝟑 )(𝒙𝟐 𝒙𝟑 − 𝒙𝟐𝟏 )(𝒙𝟏 𝒙𝟑 − 𝒙𝟐𝟐 ) =
= (𝒙𝟏 𝒙𝟐𝟐 𝒙𝟑 − 𝒙𝟑𝟏 𝒙𝟐 − 𝒙𝟐 𝒙𝟑𝟑 + 𝒙𝟐𝟏 𝒙𝟐𝟑 )(𝒙𝟏 𝒙𝟑 − 𝒙𝟐𝟐 ) =
= 𝒙𝟐𝟏 𝒙𝟐𝟐 𝒙𝟐𝟑 − 𝒙𝟏 𝒙𝟒𝟐 𝒙𝟑 − 𝒙𝟑𝟏 𝒙𝟐 𝒙𝟑 + 𝒙𝟑𝟏 𝒙𝟑𝟐 − 𝒙𝟏 𝒙𝟐 𝒙𝟒𝟑 + 𝒙𝟑𝟐 𝒙𝟑𝟑 − 𝒙𝟑𝟏 𝒙𝟑𝟑 − 𝒙𝟐𝟏 𝒙𝟐𝟐 𝒙𝟐𝟑 =
= −𝑺𝟑 (𝒙𝟑𝟏 + 𝒙𝟑𝟐 + 𝒙𝟑𝟑 ) + (𝒙𝟑𝟏 𝒙𝟑𝟐 + 𝒙𝟑𝟐 𝒙𝟑𝟑 + 𝒙𝟑𝟏 𝒙𝟑𝟑 ) = −𝟐𝟕
697. 𝐋𝐞𝐭 𝐧 𝐚𝐧𝐝 𝐦 𝐛𝐞 𝐭𝐰𝐨 𝐩𝐨𝐬𝐢𝐭𝐢𝐯𝐞 𝐢𝐧𝐭𝐞𝐠𝐞𝐫𝐬 𝐬𝐮𝐜𝐡 𝐭𝐡𝐚𝐭 𝐦 ≤ 𝐧. 𝐏𝐫𝐨𝐯𝐞 𝐭𝐡𝐚𝐭
𝟐𝒌𝒎 − 𝒏 𝟐𝒌𝒎 − 𝒏
𝒏 − 𝒎 + 𝟐 ∑𝒏𝒌=𝟏 (⌊ ⌋−⌊ ⌋)
𝒏 𝟐𝒏
𝟏 + 𝒍𝒄𝒎(𝒏, 𝒎)
𝐢𝐬 𝐢𝐧𝐭𝐞𝐠𝐞𝐫, 𝐰𝐡𝐞𝐫𝐞 𝒍𝒄𝒎 𝐢𝐬 𝐭𝐡𝐞 𝐥𝐞𝐚𝐬𝐭 𝐜𝐨𝐦𝐦𝐨𝐧 𝐦𝐮𝐥𝐭𝐢𝐩𝐥𝐞 𝐚𝐧𝐝
⌊. ⌋ 𝐝𝐞𝐧𝐨𝐭𝐞 𝐭𝐡𝐞 𝐟𝐥𝐨𝐨𝐫 𝐟𝐮𝐧𝐜𝐭𝐢𝐨𝐧.
𝟏
𝐁𝐲 𝐇𝐞𝐫𝐦𝐢𝐭𝐞′ 𝐬 𝐢𝐝𝐞𝐧𝐭𝐢𝐭𝐲, 𝐰𝐞 𝐡𝐚𝐯𝐞 ⌊𝟐𝒕⌋ = ⌊𝒕⌋ + ⌊𝒕 + ⌋, ∀𝒕 ∈ ℝ, 𝐭𝐡𝐞𝐧
𝟐
𝟐𝒌𝒎 − 𝒏 𝟐𝒌𝒎 − 𝒏 𝒌𝒎 𝒌𝒎 𝟏 𝒌𝒎
⌊ ⌋−⌊ ⌋ = (⌊𝟐. ⌋ − 𝟏) − (⌊ + ⌋ − 𝟏) = ⌊ ⌋.
𝒏 𝟐𝒏 𝒏 𝒏 𝟐 𝒏
𝐍𝐨𝐰, 𝐰𝐞 𝐰𝐢𝐥𝐥 𝐩𝐫𝐨𝐯𝐞 𝐭𝐡𝐞 𝐟𝐨𝐥𝐥𝐨𝐰𝐢𝐧𝐠 𝐢𝐝𝐞𝐧𝐭𝐢𝐭𝐲 𝐭𝐡𝐚𝐭
𝒏−𝟏
𝒌𝒎 (𝒎 − 𝟏)(𝒏 − 𝟏) + 𝒈𝒄𝒅(𝒏, 𝒎) − 𝟏
𝑺 = ∑⌊ ⌋= .
𝒏 𝟐
𝒌=𝟏
𝐖𝐞 𝐡𝐚𝐯𝐞
𝒏−𝟏 𝒏−𝟏
𝒌𝒎 (𝒏 − 𝒌 )𝒎 𝒌𝒎 𝒌𝒎
𝟐𝑺 = ∑ (⌊ ⌋+⌊ ⌋) = ∑ (⌊ ⌋ + ⌊− ⌋) + (𝒏 − 𝟏)𝒎.
𝒏 𝒏 𝒏 𝒏
𝒌=𝟏 𝒌=𝟏
𝐖𝐞 𝐤𝐧𝐨𝐰 𝐭𝐡𝐚𝐭 𝐢𝐟 𝒙 ∈ ℤ, 𝐰𝐞 𝐡𝐚𝐯𝐞 ⌊𝒙⌋ + ⌊−𝒙⌋ = 𝟎, 𝐨𝐭𝐡𝐞𝐫𝐰𝐢𝐬𝐞 ⌊𝒙⌋ + ⌊−𝒙⌋ = −𝟏.
𝒙𝒏 𝒙𝒏 𝟏 𝒙𝒏 − 𝟏 𝟏 𝒙𝒏 𝟏 𝒙𝒏 − 𝟏 𝒙𝒏 − 𝟏 𝟏
= (⌊ ⌋ + ⌊ + ⌋) + ⌊ + ⌋ − ⌊ + ⌋ − (⌊ ⌋+⌊ + ⌋) =
𝒌 𝒌 𝟐 𝒌 𝟐 𝒌 𝟐 𝒌 𝒌 𝟐
𝒙𝒏 𝒙𝒏 − 𝟏
=⌊ ⌋−⌊ ⌋
𝒌 𝒌
𝒙𝒏 𝒙𝒏 𝟏
𝐭𝐡𝐞𝐧 𝒂𝟏 = 𝒙 − (𝒙𝒏 − 𝟏) = 𝟏, 𝒂𝟐 =
𝒏
− ( + ⌊− ⌋) = 𝟏, 𝒂𝒙𝒏 = 𝟏 − 𝟎 = 𝟏,
𝟐 𝟐 𝟐
𝐚𝐧𝐝 𝒂𝒌 ≥ 𝟎, ∀𝒌 ∈ ⟦𝟑, 𝒙𝒏 − 𝟏⟧, 𝐭𝐡𝐞𝐫𝐞𝐟𝐨𝐫𝐞
𝐒𝐢𝐦𝐢𝐥𝐚𝐫𝐥𝐲, 𝐰𝐞 𝐠𝐞𝐭
𝒙 + 𝟐𝒚 (𝒙 − 𝒚)𝟐 𝟑
𝒙𝟐 + 𝒙𝒚 + 𝒚𝟐 = (𝟐𝒙 + 𝒚). + ≥ (𝟐𝒙 + 𝒚) √𝒙𝒚𝟐 ,
𝟑 𝟑
700. Compare:
√𝟐𝟎𝟐𝟒 + 𝒙 > 𝟒𝟓 ⇔ 𝟐𝟎𝟐𝟒 + 𝒙 > 𝟐𝟎𝟐𝟓 ⇔ 𝒙 > 𝟏 ⇔ 𝟐𝟎𝟐𝟒 − √𝟐𝟎𝟐𝟑 + √𝟐𝟎𝟐𝟐 > 𝟏 ⇔
⇔ 𝟐𝟎𝟐𝟑 > √𝟐𝟎𝟐𝟑 + √𝟐𝟎𝟐𝟐 ⇔ 𝟐𝟎𝟐𝟑 ⋅ 𝟐𝟎𝟐𝟐 > √𝟐𝟎𝟐𝟐 ⇔ 𝟐𝟎𝟐𝟑 ⋅ √𝟐𝟎𝟐𝟐 > 𝟎