2000 USAMO Problems/Problem 1
Call a real-valued function very convex if
holds for all real numbers and . Prove that no very convex function exists.
Let , and substitute . Then a function is very convex if , or rearranging,
Let , which is the slope of the secant between . Let be arbitrarily small; then it follows that , . Summing these inequalities yields . As (but , so is still arbitrarily small), we have . This implies that in the vicinity of any , the function becomes vertical, which contradicts the definition of a function. Hence no very convex function exists.
Suppose, for the sake of contradiction, that there exists a very convex function Notice that is convex if and only if is convex, where is a constant. Thus, we may set for convenience.
Suppose that and By the very convex condition, A straightforward induction shows that: for all nonnegative integers Using a similar line of reasoning as above, Therefore, for every nonnegative integer Now, we choose large enough such that This is always possible because and are fixed for any particular function It follows that: However, by the very convex condition, This is a contradiction. It follows that no very convex function exists.
|2000 USAMO (Problems • Resources)|
|1 • 2 • 3 • 4 • 5 • 6|
|All USAMO Problems and Solutions|