Prove that

𝟏 ∞
𝐥𝐨𝐠 𝟐 (𝐱) 𝐥𝐨𝐠 𝟐 (𝟏 + 𝐲𝟐 ) 𝛑𝟑
∫∫ 𝐝𝐱 𝐝𝐲 = 𝛇(𝟑)
𝐲(𝟏 + 𝐱𝟐 ) 𝟔𝟒
𝟎 𝟎
Proposed by Shirvan Tahirov-Azerbaijan
Solution by Togrul Ehmedov-Azerbaijan

𝟏 ∞ ∞ 𝟏
𝐥𝐨𝐠 𝟐 (𝐱) 𝐥𝐨𝐠 𝟐 (𝟏 + 𝐲 𝟐 ) 𝐥𝐨𝐠 𝟐 (𝐱) 𝐥𝐨𝐠 𝟐 (𝟏 + 𝐲 𝟐 )
𝐈= ∫ ∫ 𝐝𝐱 𝐝𝐲 = ∫ 𝐝𝐱 ∫ 𝐝𝐲
𝐲(𝟏 + 𝐱 𝟐 ) 𝟏 + 𝐱𝟐 𝐲
𝟎 𝟎 𝟎 𝟎
∞ 𝟏 ∞ 𝟏
𝟐( 𝟐( 𝟐(
𝐥𝐨𝐠 𝐱) 𝐥𝐨𝐠 𝐱) 𝐥𝐨𝐠 𝐱) 𝐥𝐨𝐠 𝟐 (𝐱)
𝐈𝟏 = ∫ 𝐝𝐱 = ∫ 𝐝𝐱 + ∫ 𝐝𝐱 = 𝟐 ∫ 𝐝𝐱
𝟏 + 𝐱𝟐 𝟏 + 𝐱𝟐 𝟏 + 𝐱𝟐 𝟏 + 𝐱𝟐
𝟎 𝟎 𝟏 𝟎
∞ 𝟏 ∞
(−𝟏)𝐤 𝛑𝟑
= 𝟐 ∑ (−𝟏)𝐤 ∫ 𝐱 𝟐𝐤 𝐥𝐨𝐠 𝟐 (𝐱) 𝐝𝐱 = 𝟒 ∑ =
(𝟏 + 𝟐𝐤)𝟑 𝟖
𝐤=𝟎 𝟎 𝐤=𝟎
𝟏 𝟏 𝟏
𝐥𝐨𝐠 𝟐 (𝟏 + 𝐲 𝟐 ) 𝟏 𝐥𝐨𝐠 𝟐 (𝟏 + 𝐳) 𝐈𝐁𝐏 𝐥𝐨𝐠(𝐱) 𝐥𝐨𝐠(𝟏 + 𝐱)
𝐈𝟐 = ∫ 𝐝𝐲] = ∫ 𝐝𝐳 −∫ 𝐝𝐱
𝐲 𝟐 𝐳 = 𝟏+𝐱
𝟎 𝐲 𝟐 =𝐳 𝟎 𝟎
𝟏
= 𝛇 ( 𝟑)
𝟖
𝛑𝟑
𝐈 = 𝐈𝟏 𝐈𝟐 = 𝛇 ( 𝟑)
𝟔𝟒
𝐍𝐎𝐓𝐄:
𝟏 ∞
𝐥𝐨𝐠(𝐱) 𝐥𝐨𝐠(𝟏 + 𝐱) 𝟏 (−𝟏)𝐤 𝛑𝟑
∫ 𝐝𝐱 = − 𝛇(𝟑) 𝐚𝐧𝐝 ∑ =
𝟏+𝐱 𝟖 (𝟏 + 𝟐𝐤)𝟑 𝟑𝟐
𝟎 𝐤=𝟎