— 不等式bot (@Inequalitybot) 2019年11月8日
a_k/√(a_k+a_{k+1})と√(a_k+a_{k+1})でコーシーシュワルツすると、
(与式左辺)*(2Σa_k)≧(Σa_k)^2より示される。
Titu's LemmaとかEngel's formとかSedrakyan's inequalityとか言われているやつ。
不等式bot[105]
a_k/√(a_k+a_{k+1})と√(a_k+a_{k+1})でコーシーシュワルツすると、
(与式左辺)*(2Σa_k)≧(Σa_k)^2より示される。
