Given positive numbers $a_1$ and $b_1$, consider the sequences defined by \[a_{n+1}=a_n+\frac{1}{b_n},\quad b_{n+1}=b_n+\frac{1}{a_n}\quad (n \ge 1)\] Prove that $a_{25}+b_{25} \geq 10\sqrt{2}$.
Source: Italy TST 2000
Tags: induction, algebra unsolved, algebra
Given positive numbers $a_1$ and $b_1$, consider the sequences defined by \[a_{n+1}=a_n+\frac{1}{b_n},\quad b_{n+1}=b_n+\frac{1}{a_n}\quad (n \ge 1)\] Prove that $a_{25}+b_{25} \geq 10\sqrt{2}$.