In , , and . A circle with center and radius intersects at points and . Moreover and have integer lengths. What is ?
- A)
- B)
- C)
- D)
- E)
Answer
D
Key insight
Drop a perpendicular from A to BC. Pythagoras twice gives CX times CB = 97 squared minus 86 squared = 2013, and the triangle rule leaves only CB = 61.
Solution
1. What the circle tells us. and are both on the circle centered at , so . Triangle is isosceles.
2. Drop a perpendicular. Let be the foot of the perpendicular from to line . In an isosceles triangle this perpendicular cuts the base in half, so is the middle of : . Along the line the order is .
3. Pythagoras twice. Let .
Subtract to get rid of :
4. Factor both sides. On the right, .
- .
- is the whole length .
On the left, . So
5. Use whole numbers. and are whole numbers, so is too, and is the smaller one. Since , the choices are:
| 1 | 3 | 11 | 33 | |
|---|---|---|---|---|
| 2013 | 671 | 183 | 61 |
- Use the triangle rule. In triangle , side must be longer than and shorter than . Only fits (and is not allowed, since it would make the triangle flat).
- Check. , , so , a whole number.
The answer is .
Why this works
A circle centered at one corner of a triangle, passing through another corner, sets up the step "subtract two Pythagoras equations". The difference of two squares then factors into a product of lengths, and whole-number conditions turn the geometry into a list of factor pairs. The triangle rule throws out the wrong pairs. Notice that and are also answer choices, waiting to catch anyone who answers or .
Alternative approach
The "power of a point" theorem says that for a point outside a circle, and a line through that meets the circle at and , the product equals (distance from to the center) minus (radius). Here that is at once, and the rest is the same as Steps 5 to 7.
The trap
Taking the factor pair 11 and 183 without checking the triangle rule, which needs BC strictly between 11 and 183.
Concise solution
The point is outside the circle (since ), and line is a secant meeting the circle at and . By power of a point,
Since and are integers, so is , and . Factor ; the divisor pairs with the smaller factor first are
The triangle inequality on requires , i.e. (strictly, since , , form a genuine triangle). Only the pair has its larger member in this range, so and , giving .
The answer is .
Review in the AoPS books
- Introduction to Geometry, Chapter 11: Circles
- Introduction to Number Theory, Chapter 1: Integers: The Basics (§1.4, §1.5)
- Introduction to Number Theory, Chapter 7: Algebra With Integers
- Introduction to Algebra, Chapter 11: Special Factorizations
Techniques
Apply an identity: SFFT, sum of squares, difference of cubes, Vieta · Bound the quantity above/below or estimate to pin it down