IMC 2018 · Problem 1

Day 125th IMC · Blagoevgrad, Bulgaria

Statement

Let (an)n=1(a_n)_{n=1}^{\infty} and (bn)n=1(b_n)_{n=1}^{\infty} be two sequences of positive numbers. Show that the following statements are equivalent:

(1) There is a sequence (cn)n=1(c_n)_{n=1}^{\infty} of positive numbers such that n=1ancn\sum\limits_{n=1}^{\infty} \dfrac{a_n}{c_n} and n=1cnbn\sum\limits_{n=1}^{\infty} \dfrac{c_n}{b_n} both converge;

(2) n=1anbn\sum\limits_{n=1}^{\infty} \sqrt{\dfrac{a_n}{b_n}} converges.

Official solution

Hidden so you can work on the problem first.

Proposed by Tomá² Bárta, Charles University, Prague.