原题
无穷正数列 $\{a_n\},\{b_n\}$ 满足 $a_{n+1}=\frac{a_n+b_n}{\sqrt{a_n^2+b_n^2}},b_{n+1}=\sqrt2\frac{b_n}{a_n}$. 若 $\{a_n\}$ 为等比数列，求 $a_1,b_1$.
解析
由均值不等式
$$1=\frac{\sqrt{a_n^2+b_n^2}}{\sqrt{a_n^2+b_n^2}}\lt \frac{a_n+b_n}{\sqrt{a_n^2+b_n^2}}\le\frac{\sqrt{2(a_n^2+b_n^2)}}{\sqrt{a_n^2+b_n^2}}=\sqrt2$$
故对任意整数 $n\ge2$，有 $1\lt a_n\le\sqrt2$.
由于 $\{a_n\}$ 为无穷正数列，若公比 $0\lt q\lt 1$，$lim_{n\to\infty}a_n=0\lt 1$. 若公比 $q\gt 1$，$lim_{n\to\infty}a_n=+\infty\gt \sqrt2$，与$\{a_n\}$ 的有界性矛盾. 因此公比 $q=1$，$\{a_n\}$ 为常数列，$a_n=a_1$.
于是 $a_1=\frac{a_1+b_n}{\sqrt{a_1^2+b_n^2}}$，这是一个关于 $b_n$ 的一元二次方程，至多有 $2$ 个实数解. 若 $1\lt a_1\lt \sqrt2$，由 $b_{n+1}=\sqrt2\frac{b_n}{a_n}$，有 $b_1\lt b_2\lt b_3$，矛盾. 因此 $a_1=\sqrt2$.
解方程得 $b_n=b_1=\sqrt2$.