AMC 10 · 2007 · #23

Grade 9 number-theorygeometry-2d
pythagorean-theoremsimons-favorite-factoring-trickdivisor-count convert-to-algebrasystematic-enumeration ↑ Prerequisites: pythagorean-theoremarea-triangles
📏 Long solution 💡 4 insights
Problem
A right triangle has whole-number legs and its area equals three times its perimeter. Count how many such triangles there are.

Pick an answer.

(A)
6
(B)
7
(C)
8
(D)
10
(E)
12
How to solve
Strategy Convert to Algebra

Tool #13 (Convert to Algebra) does the main work: the sentence 'area equals 3 times perimeter' becomes 1/2ab = 3(a+b+√(a²+b²)), and everything after that is bookkeeping on one equation. Tool #4 (Introduce a Variable) makes the squaring short by naming the sum S=a+b and the product P=ab. Tool #15 (Organize Information in More Ways) rewrites the result as a single product (a-12)(b-12)=72, which converts an equation into a factoring question. Tool #3 (Eliminate Possibilities) is the step that actually decides the count: the square root has to be removed by squaring, squaring cannot distinguish c from -c, and one factorization of 72 survives the algebra while describing a triangle with a negative hypotenuse. Tool #11 (Work Backwards) then rebuilds a genuine triangle from each surviving factorization, so the answer rests on sufficiency and not only on necessity. Tool #2 (Make a Systematic List) finishes by pairing off the divisors of 72.

1STEP 1

Write the condition as one equation

The condition becomes one equation with a root in it.

1/2ab = 3(a+b+c), c=√(a²+b²) ⟹ ab = 6(a+b+√(a²+b²))
2STEP 2

Isolate the root and record its price

Isolating the root records a positivity gate to spend later.

c = ab/6-(a+b) > 0 (the gate: ab > 6(a+b) )
3STEP 3

Square, using the Pythagorean theorem

Squaring with the Pythagorean theorem gives a linear relation.

(P/6-S)²=S²-2P ⟹ P²/36-PS/3+2P=0 → P/36-S/3+2=0 ⟹ P=12S-72
4STEP 4

Turn the equation into a product

Rearranging turns it into a product of two brackets.

ab-12a-12b+72=0 ⟹ ab-12a-12b+144=72 ⟹ (a-12)(b-12)=72
5STEP 5

Spend the gate on the negative branch

The gate kills the whole negative branch.

ab > 6(a+b) with ab=12(a+b)-72 ⟹ a+b > 12. (12-a)(12-b)=72, 12-a ≤ 11, 12-b ≤ 11 ⟹ {a,b}={3,4}, a+b=7 ≯ 12
6STEP 6

Check the surviving pairs are real triangles

The survivors really are right triangles meeting the condition.

c=a+b-12 > 0, c²=a²+b²+2[ab-12(a+b)+72]=a²+b²; ab/2=6(a+b)-36=3[2(a+b)-12]=3·perimeter
7STEP 7

Pair off the divisors of 72

Pairing the divisors gives six pairs.

72=2³ · 3², (3+1)(2+1)=12 divisors; (a,b,c)=(13,84,85), (14,48,50), (15,36,39), (16,30,34), (18,24,30), (20,21,29)
8STEP 8

Count triangles, not ordered pairs

Counting triangles rather than ordered pairs gives 6, choice (A).

{13,84}, {14,48}, {15,36}, {16,30}, {18,24}, {20,21} ⟹ 6 ⟹ (A)
Answer
6
Every one of the six can be checked outright, which is the strongest possible confirmation. The smallest is 20-21-29: area (20 · 21)/2=210, perimeter 70, and 3 · 70=210. The largest is 13-84-85: area 546, perimeter 182, and 3 · 182=546. The other four, 14-48-50 (area 336, perimeter 112), 15-36-39 (area 270, perimeter 90), 16-30-34 (area 240, perimeter 80) and 18-24-30 (area 216, perimeter 72), all pass the same test. The list is also provably complete rather than merely long: (a-12)(b-12)=72 with both factors positive forces each factor to be at most 72, so both legs lie between 13 and 84 and there is nothing else to search. The distractors read as specific slips. Choice (E) 12 is the count of ordered factor pairs, which is what one gets by ignoring the word 'non-congruent'. Choice (B) 7 is the six plus the 3-4-5 ghost, which is what one gets by factoring 72 over all integers and never noticing that the negative factor pair puts a minus sign on the hypotenuse. That the trap is worth an answer choice is a sign that the sign check, not the factoring, is the real content of the problem.
💡Key takeaway

Area equal to 3 times perimeter is the same as saying the inscribed circle has radius 6, and that turns the whole question into counting the factor pairs of 72 — after throwing out the one pair whose hypotenuse comes out negative.

  • Write the condition as one equation
  • Isolate the root and record its price
  • Square, using the Pythagorean theorem
  • Turn the equation into a product
  • Spend the gate on the negative branch
  • Check the surviving pairs are real triangles
  • Pair off the divisors of 72
  • Count triangles, not ordered pairs