Prove that \(\sqrt{\frac{a^2 + b^2}{2}} \geq \frac{a+b}{2}\).
We are given rational positive numbers \(p, q\) where \(1/p + 1/q = 1\). Prove that for positive \(a\) and \(b\), the following inequality holds: \(ab \leq \frac{a^p}{p} + \frac{b^q}{q}\).
Prove that the equation \(\frac {x}{y} + \frac {y}{z} + \frac {z}{x} = 1\) is unsolvable using positive integers.
Let \(p\) and \(q\) be positive numbers where \(1 / p + 1 / q = 1\). Prove that \[a_1b_1 + a_2b_2 + \dots + a_nb_n \leq (a_1^p + \dots a_n^p)^{1/p}(b_1^q +\dots + b_n^q)^{1/q}\] The values of the variables are considered positive.
Draw all of the stairs made from four bricks in descending order, starting with the steepest \((4, 0, 0, 0)\) and ending with the shallowest \((1, 1, 1, 1)\).
Let the sequences of numbers \(\{a_n\}\) and \(\{b_n\}\), that are associated with the relation \(\Delta b_n = a_n\) (\(n = 1, 2, \dots\)), be given. How are the partial sums \(S_n\) of the sequence \(\{a_n\}\) \(S_n = a_1 + a_2 + \dots + a_n\) linked to the sequence \(\{b_n\}\)?
Definition. Let the function \(f (x, y)\) be valid at all points of a plane with integer coordinates. We call a function \(f (x, y)\) harmonic if its value at each point is equal to the arithmetic mean of the values of the function at four neighbouring points, that is: \[f (x, y) = 1/4 (f (x + 1, y) + f (x-1, y) + f(x, y + 1) + f (x, y-1)).\] Let \(f(x, y)\) and \(g (x, y)\) be harmonic functions. Prove that for any \(a\) and \(b\) the function \(af (x, y) + bg (x, y)\) is also harmonic.
Let \(f (x, y)\) be a harmonic function. Prove that the functions \(\Delta_{x} f (x, y) = f (x + 1, y) - f (x, y)\) and \(\Delta_{y}f(x , y) = f(x, y + 1) - f(x, y)\) will also be harmonic.
Liouville’s discrete theorem. Let \(f (x, y)\) be a bounded harmonic function (see the definition in problem number 11.28), that is, there exists a positive constant \(M\) such that \(\forall (x, y) \in \mathbb {Z}^2\) \(| f (x, y) | \leq M\). Prove that the function \(f (x, y)\) is equal to a constant.
Definition. The sequence of numbers \(a_0, a_1, \dots , a_n, \dots\), which, with the given \(p\) and \(q\), satisfies the relation \(a_{n + 2} = pa_{n + 1} + qa_n\) (\(n = 0,1,2, \dots\)) is called a linear recurrent sequence of the second order.
The equation \[x^2-px-q = 0\] is called a characteristic equation of the sequence \(\{a_n\}\).
Prove that, if the numbers \(a_0\), \(a_1\) are fixed, then all of the other terms of the sequence \(\{a_n\}\) are uniquely determined.