AMC 10 · 2010 · #22

Grade 11 geometry-2dnumber-theory
cyclic-quadrilaterallaw-of-cosinesfactorsoptimization extreme-principlebound-inequality-then-enumerate ↑ Prerequisites: cyclic-quadrilaterallaw-of-cosines
📏 Long solution 💡 4 insights
Problem
Four different whole-number sides lie on a circle and two opposite products agree. Find the longest possible diagonal.

Pick an answer.

(A)
$\sqrt{\dfrac{325}{2}}$
(B)
$\sqrt{185}$
(C)
$\sqrt{\dfrac{389}{2}}$
(D)
$\sqrt{\dfrac{425}{2}}$
(E)
$\sqrt{\dfrac{533}{2}}$
How to solve
Strategy Extreme Principle

Tool #14 (Extreme Principle): the question asks for a largest value, so the job is two-sided — build one quadrilateral that is big, and prove nothing bigger exists. Tool #1 (Draw a Diagram): drawing BD splits ABCD into two triangles that share it, which is where the whole solution starts. Tool #7 (Identify Subproblems): apply the Law of Cosines separately in each triangle, then link them through the circle. Tool #4 (Introduce a Variable): name the sides a,b,c,d; the unknown angle turns out to be a variable you can delete rather than compute. Tool #3 (Eliminate Possibilities): once the geometry collapses to 2BD²=a²+b²+c²+d², the search over side lengths is finished by ruling out 11, 13, and the case where 14 is unused.

1STEP 1

Split the quadrilateral on BD

The diagonal splits the shape into two triangles.

a=AB, b=BC, c=CD, d=DA, ad=bc
2STEP 2

Use the circle on the angles

The circle makes the two angles supplementary.

∠ BAD+∠ BCD=180° ⟹ cos∠ BCD=-cos∠ BAD
3STEP 3

Law of Cosines in each triangle

Each triangle gives one cosine equation.

BD²=a²+d²-2adcos∠ BAD, BD²=b²+c²+2bccos∠ BAD
4STEP 4

Add, and the angle dies

Adding them makes the angle vanish.

2BD²=a²+b²+c²+d²+2(bc-ad)cos∠ BAD=a²+b²+c²+d²
5STEP 5

Rule out 11 and 13

Large primes are ruled out as sides.

p∈{11,13}, p ∣ (other pair's product) → p ∣ some other side → that side ≥ 2p > 14
6STEP 6

Set the bar without 14

Without the top side the total falls short.

S ≤ 12²+10²+9²+8²=389
7STEP 7

With 14 in, everything is forced

With it, the other three are forced.

b=7, c=2d, S=196+49+d²+4d²=245+5d² ≤ 245+5 · 36=425
8STEP 8

Check the shape really exists

That quadrilateral really exists.

AB=14, BC=7, CD=12, DA=6: 14 · 6=7 · 12=84, 14 < 7+12+6=25
9STEP 9

Turn the maximum into a length

The diagonal is the root of half that total.

2BD²=425 → BD=√(425/2)≈ 14.58
Answer
√(425/2)
Every choice means a value of S=2BD², so test them against the same rules. (A) S=325: reachable, e.g. 14,8,7,4 with 14 · 4=56=8 · 7, or 12,9,8,6 with 12 · 6=72=9 · 8. (B) S=370: reachable with 14,10,7,5 since 14 · 5=70=10 · 7. (D) S=425: reachable with 14,7,12,6 as built above. So (A), (B), (D) are all genuinely attainable diagonals and the question is which is largest — (D). (C) S=389 is the bound from the no-14 case, but it is not attained: 12,10,9,8 gives 12 · 8=96 ≠ 90=10 · 9, so it is a trap for anyone who stops at the bound. (E) S=533 exceeds the proved maximum 425, so it is impossible. The winner is also plausible geometrically: BD≈ 14.58 is slightly longer than the longest side 14, exactly what a near-right angle at A should produce.
💡Key takeaway

The odd-looking condition BC · CD=AB · DA exists to make the unknown angle cancel; after it does, 2BD² is just the sum of the four squared sides, and the geometry problem becomes a hunt for the biggest four distinct numbers under 15 whose two pair-products agree.

  • Split the quadrilateral on BD
  • Use the circle on the angles
  • Law of Cosines in each triangle
  • Add, and the angle dies
  • Rule out 11 and 13
  • Set the bar without 14
  • With 14 in, everything is forced
  • Check the shape really exists
  • Turn the maximum into a length