a) Prove that for every real number the arithmetic mean of and is equal to one of the following: , , , .
b) Can one leave out one of the four numbers listed in part a) in such a way that the claim still holds?
a) Prove that for every real number the arithmetic mean of and is equal to one of the following: , , , .
b) Can one leave out one of the four numbers listed in part a) in such a way that the claim still holds?
a) Denote the arithmetic mean given in the problem by . As
we get
Depending on the signs of the numbers and , one of the trigonometric functions in the numerator cancels out and the other one is doubled, with either a positive or a negative sign. Therefore, is equal to one of the numbers , , , .
b) Clearly , whenever is one of the numbers . Nevertheless, each of these four values makes a unique expression among evaluate to 1. Therefore, none of these four can be left out.
Part a) can also be proven as follows. Let be the same as in the first solution. Then
so that . Therefore, if , then ; if , then .