2006 AIME A Problems/Problem 15
Problem
Given that a sequence satisfies and for all integers find the minimum possible value of
Solution
This solution requires you to disregard rigor. Additional solutions, or justification for the nonrigorous steps, would be appreciated.
Let be a triangle with sides of length and , and suppose this triangle is acute (so all altitudes are on the interior of the triangle). Let the altitude to the side of length be of length , and similarly for and . Then we have by two applications of the Pythagorean Theorem that . As a function of , the RHS of this equation is strictly decreasing, so it takes each value in its range exactly once. Thus we must have that and so and similarly and .
Since the area of the triangle must be the same no matter how we measure, and so and and . The semiperimeter of the triangle is so by Heron's formula we have . Thus and and the answer is .
Justification that there is a triangle with sides of length and :
Note that and are each the sum of two positive square roots of real numbers, so . (Recall that, by AIME convention, all numbers (including square roots) are taken to be real unless otherwise indicated.) Also, , so we have , and . But these conditions are exactly those of the triangle inequality, so there does exist such a triangle.
Justification that this triangle is an acute triangle:
Still needed.