1991 USAMO Problems/Problem 1
Problem
In triangle , angle is twice angle , angle is obtuse, and the three side lengths are integers. Determine, with proof, the minimum possible perimeter.
Solution
After drawing the triangle, also draw the angle bisector of , and let it intersect at . Notice that , and let . Now from similarity, However, from the angle bisector theorem, we have but is isosceles, so so all sets of side lengths which satisfy the conditions also meet the boxed condition. Notice that $\GCD(a, b, c)=1$ (Error compiling LaTeX. Unknown error_msg) or else we can form a triangle by dividing by their GCD to get smaller integer side lengths. Since is a square, must also be a square because if it isn't, then must share a common factor with , meaning it also shares a common factor with , which means share a common factor, contradiction. Trying different values we find that the smallest perimeter occurs when and the perimeter is .