AMC 10 · 2006 · #24

Grade 11 algebrageometry-2d
angle-addition-formulapythagorean-identityquadratic-equationsarea-triangles convert-to-algebraarea-difference ↑ Prerequisites: angle-addition-formulaquadratic-equations
📏 Long solution 💡 4 insights
Problem
Inside a square of angles, only the points satisfying a quadratic inequality in two sines are kept. Find the area of the kept part.

Pick an answer.

(A)
$\dfrac{\pi^2}{9}$
(B)
$\dfrac{\pi^2}{8}$
(C)
$\dfrac{\pi^2}{6}$
(D)
$\dfrac{3\pi^2}{16}$
(E)
$\dfrac{2\pi^2}{9}$
How to solve
Strategy Introduce a Variable

The expression sin² x - sin x sin y + sin² y is a quadratic in sin x once sin y is treated as a constant, so naming a = sin x and b = sin y turns an unfamiliar curve into a familiar upward parabola, and 'is at most 3/4' becomes 'lies between the two roots'. The quadratic formula then produces the boundary in closed form, and the Pythagorean identity plus the angle-addition formula collapse it into sin x = sin(y ± π/3). That is where the real work starts and where this problem punishes speed. Turning sin x ≤ sin θ into x ≤ θ is legal only while θ stays in the quarter turn where sine climbs, and y + π/3 leaves that quarter turn as soon as y > π/6. So I split into cases and fold the stray angle back with sin θ = sin(π - θ). Because a case split is exactly the kind of step that quietly loses a piece of the region, I then verify the result by a completely different, case-free route: an algebraic identity that rewrites the whole condition as a product of two factors. A product is at most zero precisely when its factors disagree in sign, which gives two branches, and one of those branches is invisible to any argument that only draws the boundary lines and shades whichever side contains a convenient test point. Only after both routes agree do I read off the polygon and measure it, subtracting three corner triangles from the square rather than adding up five-sided pieces.

1STEP 1

Read it as a quadratic

Reading it as a quadratic in one sine makes it solvable.

a = sin x, b = sin y, a, b ∈ [0,1], a² - ab + b² ≤ 3/4
2STEP 2

Take the square root honestly

The square root simplifies into a plain cosine.

a = (sin y ± √(3 - 3sin² y))/2 = (sin y ± √(3cos² y))/2 = 1/2sin y ± √(3)/2cos y
3STEP 3

Recognize the shifted sines

The bounds turn out to be shifted sines.

sin(y - π/3) ≤ sin x ≤ sin(y + π/3)
4STEP 4

Strip sines only where legal

Sines may be stripped only where they are increasing.

lvert x - y rvert ≤ π/3 and x + y ≤ 2π/3
5STEP 5

One identity replaces the casework

A factoring identity replaces all the casework.

sin² x - sin x sin y + sin² y - 3/4 = (cos(x+y) + 1/2)(1/2 - cos(x-y))
6STEP 6

The stray branch is one point

The escaping branch is a single point, so it costs no area.

x + y ≥ 2π/3 and x - y ≥ π/3 ⟹ 2x ≥ π ⟹ x = π/2, y = π/6
7STEP 7

Find the pentagon's five corners

The region is a pentagon with five findable corners.

(0,0), (π/3, 0), (π/2, π/6), (π/6, π/2), (0, π/3)
8STEP 8

Subtract three corner triangles

Subtracting three corner triangles gives π²/6, choice (B).

π²/4 - 2 · 1/2(π/6)² - 1/2(π/3)² = π²(1/4 - 1/36 - 1/18) = π²/6
Answer
π²/6
Rebuild the same area by adding instead of subtracting. The pentagon splits into the right isosceles triangle (0,0), (π/3,0), (0,π/3) of area 1/2(π/3)² = π²/18, plus the quadrilateral (π/3,0), (π/2,π/6), (π/6,π/2), (0,π/3). That quadrilateral is a rectangle: consecutive sides run along the directions (1,1) and (-1,1), which are perpendicular, and the side lengths are π√(2)/6 and π√(2)/3, so its area is π²/9. The total is π²/18 + π²/9 = π²/6, matching. Spot-check individual points against the original inequality. At (π/6,π/6) both sines are 1/2 and the expression is 1/4 ≤ 3/4, inside, and both line conditions hold. At (π/2,0) the expression is 1 > 3/4, outside, and indeed lvert x - y rvert = π/2 > π/3. At (π/3,0) the expression is exactly 3/4, on the boundary, matching x - y = π/3. At (π/2,π/6) it is 1 - 1/2 + 1/4 = 3/4, exactly the degenerate branch point. Size check on the choices: the region contains the whole sub-square [0,π/3]², since there lvert x-y rvert ≤ π/3 and x+y ≤ 2π/3 both hold, so the area is at least π²/9 and choice π²/9 is too small; and the three trimmed corner triangles are visibly nonempty with total area π²/12, so the area is at most π²/4 - π²/12 = π²/6, which kills 3π²/16 and 2π²/9 outright. The final value is 2/3 of the square, which is consistent with a picture in which only three modest corners are missing.
💡Key takeaway

When an inequality looks tangled, rewrite it as one thing times another: a product is negative only when its two factors disagree in sign, and that turns a curvy-looking condition into a few straight lines you can actually measure.

  • Read it as a quadratic
  • Take the square root honestly
  • Recognize the shifted sines
  • Strip sines only where legal
  • One identity replaces the casework
  • The stray branch is one point
  • Find the pentagon's five corners
  • Subtract three corner triangles