Given a triangle with integer side lengths, where is an angle bisector of , , , and is on , compute the minimum possible perimeter of .
Problem 1261
Official solution
1. Apply the Angle Bisector Theorem: The Angle Bisector Theorem states that the angle bisector of an angle in a triangle divides the opposite side into segments that are proportional to the adjacent sides. For triangle with as the angle bisector of , we have:
Given and , we can write:
This implies:
2. **Express in terms of **: Let . Then:
3. Use the Triangle Inequality: The sum of the lengths of any two sides of a triangle must be greater than the length of the third side. For triangle , we have:
Since , we get:
Substituting and , we get:
4. **Find integer values for and **: Since and must be an integer, the smallest possible value for is 7. However, we need to check if is also an integer:
For to be an integer, must be a multiple of 3. The smallest multiple of 3 greater than 6 is 9. Therefore, let :
5. Calculate the perimeter: The perimeter of triangle is:
Thus, the minimum possible perimeter of is .