Let be a real number. Prove that there exists a useful function so that if and only if .
We will call an affine function useful if it has the properties:
(i) , for every real number such that ;
(ii) , for every real number such that .
Let be a real number. Prove that there exists a useful function so that if and only if .
We will call an affine function useful if it has the properties:
(i) , for every real number such that ;
(ii) , for every real number such that .
"" If is useful, then has properties (i) and (ii), hence it is useful. Consequently, we may look only at the useful functions , , with , .
Since , the inequality (i) is equivalent to and , that is , (1) and , (2).
The inequality (ii) leads to the possibilities:
I) and or
II) and
(if , then and , in contradiction with (ii)).
In case I we get , (3) and , (4). Multiply (4) by 2 and add with (2) to get , that is .
In case II we get , (5) and , (6). Multiply (5) by 2 and add with (1) to get , hence .
From I) and II) follows .