Let be an odd integer greater than . Suppose a unique function satisfies
for
Evaluate .
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
Performing the substitution x k 1 = t , the given conditions become
∫ 0 1 ( f ( t ) ) n − k t k − 1 d t = n 1 , k = 1 , 2 , . . . , n − 1 .
Observe that this equality also holds for k = n . With this in mind we write
∫ 0 1 ( f ( t ) − t ) n − 1 d t = k = 1 ∑ n ( − 1 ) k − 1 ( n − 1 k − 1 ) ∫ 0 1 ( f ( t ) ) n − k t k − 1 d t = k = 1 ∑ n ( − 1 ) k − 1 ( n − 1 k − 1 ) n 1 = n 1 ( 1 − 1 ) n − 1 = 0
Because n − 1 is even, ( f ( t ) − t ) n − 1 ≥ 0 . The integral of this function can be zero only if f ( t ) − t = 0 for all t ∈ [ 0 , 1 ] . Hence the only solution to the problem is f ( x ) = x .