2019 AIME I Problems/Problem 11
In , the sides have integer lengths and . Circle has its center at the incenter of . An excircle of is a circle in the exterior of that is tangent to one side of the triangle and tangent to the extensions of the other two sides. Suppose that the excircle tangent to is internally tangent to , and the other two excircles are both externally tangent to . Find the minimum possible value of the perimeter of .
Let the tangent circle be . Some notation first: let , , be the semiperimeter, , and be the inradius. Intuition tells us that the radius of is (using the exradius formula). However, the sum of the radius of and is equivalent to the distance between the incenter and the the excenter. Denote the B excenter as and the incenter as . Lemma: We draw the circumcircle of . Let the angle bisector of hit the circumcircle at a second point . By the incenter-excenter lemma, . Let this distance be . Ptolemy's theorem on gives us Again, by the incenter-excenter lemma, so as desired. Using this gives us the following equation: Motivated by the and , we make the following substitution: This changes things quite a bit. Here's what we can get from it: It is known (easily proved with Heron's and a=rs) that Using this, we can also find : let the midpoint of be . Using Pythagorean's Theorem on , We now look at the RHS of the main equation: Cancelling some terms, we have Squaring, Expanding and moving terms around gives Reverse substituting, Clearly the smallest solution is and , so our answer is -franchester
Solution 2 (Lots of Pythagorean Theorem)
First, assume and . The triangle can be scaled later if necessary. Let be the incenter and let be the inradius. Let the points at which the incircle intersects , , and be denoted , , and , respectively.
Next, we calculate in terms of . Note the right triangle formed by , , and . The length is equal to . Using the Pythagorean Theorem, the length is , so the length is . Note that is half of , and by symmetry caused by the incircle, and , so . Applying the Pythagorean Theorem to , we get Expanding yields which can be simplified to Dividing by and then squaring results in and isolating gets us so .
We then calculate the radius of the excircle tangent to . We denote the center of the excircle and the radius .
Consider the quadrilateral formed by , , , and the point at which the excircle intersects the extension of , which we denote . By symmetry caused by the excircle, , so .
Note that triangles and are congruent, and and are also congruent. Denoting the measure of angles and measure and the measure of angles and measure , straight angle , so . This means that angle is a right angle, so it forms a right triangle.
Setting the base of the right triangle to , the height is and the base consists of and . Triangles and are similar to , so , or . This makes the reciprocal of , so .
Circle 's radius can be expressed by the distance from the incenter to the bottom of the excircle with center . This length is equal to , or . Denote this value .
Finally, we calculate the distance from the incenter to the closest point on the excircle tangent to , which forms another radius of circle and is equal to . We denote the center of the excircle and the radius . We also denote the points where the excircle intersects and the extension of using and , respectively. In order to calculate the distance, we must find the distance between and and subtract off the radius .
We first must calculate the radius of the excircle. Because the excircle is tangent to both and the extension of , its center must lie on the angle bisector formed by the two lines, which is parallel to . This means that the distance from to is equal to the length of , so the radius is also .
Next, we find the length of . We can do this by forming the right triangle . The length of leg is equal to minus , or . In order to calculate the length of leg , note that right triangles and are congruent, as and share a length of , and angles and add up to the right angle . This means that .
Using Pythagorean Theorem, we get Bringing back and substituting in some values, the equation becomes Rearranging and squaring both sides gets Distributing both sides yields Canceling terms results in Since We can further simplify to Substituting out gets which when distributed yields After some canceling, distributing, and rearranging, we obtain Multiplying both sides by results in which can be rearranged into and factored into This means that equals or , and since a side length of cannot exist, .
As a result, the triangle must have sides in the ratio of . Since the triangle must have integer side lengths, and these values share no common factors greater than , the triangle with the smallest possible perimeter under these restrictions has a perimeter of . ~emerald_block
Solution 3 (Not that hard construction)
Notice that the -excircle would have to be very small to fit the property that it is internally tangent to and the other two excircles are both externally tangent, given that circle 's centre is at the incenter of . If , we see that must be somewhere in the to range. If we test by construction, we notice the -excircle is too big for it to be internally tangent to while the other two are externally tangent. This means we should test or next. I actually did this and found that worked, so the answer is . Note that cannot be because then would have to be which is not an integer.
Video Solution (On the Spot STEM)
Video Solution 2 (I would recommend this one because it's more concise)
|2019 AIME I (Problems • Answer Key • Resources)|
|1 • 2 • 3 • 4 • 5 • 6 • 7 • 8 • 9 • 10 • 11 • 12 • 13 • 14 • 15|
|All AIME Problems and Solutions|