Prove that for any natural number \(a_1> 1\) there exists an increasing sequence of natural numbers \(a_1, a_2, a_3, \dots\), for which \(a_1^2+ a_2^2 +\dots+ a_k^2\) is divisible by \(a_1+ a_2+\dots+ a_k\) for all \(k \geq 1\).
The quadratic trinomials \(f (x)\) and \(g (x)\) are such that \(f' (x) g' (x) \geq | f (x) | + | g (x) |\) for all real \(x\). Prove that the product \(f (x) g (x)\) is equal to the square of some trinomial.