Practice Mathematical Elegance in Math

Use these practice problems to test your method after reviewing the concept explanation and worked examples.

Quick Recap

The aesthetic quality of a mathematical argument or result that achieves its goal with striking simplicity, insight, or economy of means.

When a proof or solution feels 'just right'β€”clean, inevitable, illuminating.

Showing a random 20 of 50 problems.

Example 1

medium
To compute (102)+(103)\binom{10}{2}+\binom{10}{3}, which is more elegant: direct computation, or Pascal's rule giving (113)\binom{11}{3}?

Example 2

easy
To show two lines are parallel, one student calculates many points; another compares slopes. Which approach is more elegant?

Example 3

hard
To prove there is no largest prime, contrast Euclid's 'p1β‹―pn+1p_1\cdots p_n + 1' with checking primes one at a time. Why is Euclid's proof elegant?

Example 4

medium
A solution to 'gcd⁑(a,b)β‹…lcm(a,b)=ab\gcd(a,b)\cdot\text{lcm}(a,b)=ab' lists prime factorizations cleanly. A rival memorizes a special case. Why is the general factorization argument more elegant?

Example 5

easy
To check 11β‹…13=14311 \cdot 13 = 143, a student notices (12βˆ’1)(12+1)=144βˆ’1=143(12-1)(12+1) = 144-1 = 143. Why is this elegant?

Example 6

easy
To add 1+2+3+β‹―+1001+2+3+\cdots+100, Solution A adds term by term; Solution B pairs 1+100,2+99,…1+100, 2+99, \dots into 5050 pairs of 101101. Which is more elegant?

Example 7

easy
Simplify x2βˆ’1xβˆ’1\frac{x^2-1}{x-1} to its most elegant form (with the appropriate side condition).

Example 8

challenge
A student offers a 'slick' one-liner for βˆ‘k2\sum k^2 but it gives the wrong constant; a careful induction is longer but correct. Reconcile this with 'elegance requires correctness.'

Example 9

hard
Solve x2+y2=2xyx^2+y^2 = 2xy over the reals elegantly.

Example 10

hard
For a chessboard with two opposite corners removed (62 squares), prove no domino tiling exists elegantly.

Example 11

medium
To show βˆ‘k=1nk=n(n+1)2\sum_{k=1}^{n} k = \frac{n(n+1)}{2}, one writes the sum forward and backward and adds. Why is this 'reversal' trick considered elegant?

Example 12

easy
Both proofs of 'the sum of two evens is even' are correct. One writes 2a+2b=2(a+b)2a+2b=2(a+b); the other tests 2+4,6+8,…2+4, 6+8, \dots. Which proves it?

Example 13

hard
Evaluate ∏k=2n(1βˆ’1k2)\prod_{k=2}^{n}\left(1-\tfrac{1}{k^2}\right) elegantly.

Example 14

medium
Prove that 2\sqrt{2} is irrational using proof by contradiction. Identify the elegant core of the argument.

Example 15

easy
Which expression for the same line is simpler: y=2x+3y = 2x + 3 or y=4x+62y = \frac{4x+6}{2}?

Example 16

medium
A proof uses 8 lines but each step is justified; a rival is 3 lines but skips a key justification. Which is more elegant, given elegance requires correctness?

Example 17

medium
Two proofs of '(nk)=(nnβˆ’k)\binom{n}{k} = \binom{n}{n-k}': algebraic with factorials, or combinatorial (pick the kk to include vs the nβˆ’kn-k to exclude). Which is more elegant and why?

Example 18

challenge
Two valid proofs that infinitely many primes exist: Euclid's (assume finite, form p1β‹―pn+1p_1\cdots p_n+1) versus a long sieve-counting estimate. Which is more elegant and why?

Example 19

easy
Prove n2βˆ’nn^2 - n is even. Solution A checks many values; Solution B notes n2βˆ’n=n(nβˆ’1)n^2-n=n(n-1), a product of consecutive integers. Which is elegant?

Example 20

challenge
Among two proofs of the AM-GM inequality a+b2β‰₯ab\tfrac{a+b}{2}\ge\sqrt{ab} for a,bβ‰₯0a,b\ge 0: (A) expanding (aβˆ’b)2β‰₯0(\sqrt{a}-\sqrt{b})^2 \ge 0, (B) calculus optimization. Which is more elegant and why?