Two transformations are said to commute if applying the first followed by the second gives the same result as applying the second followed by the first. Consider these four transformations of the coordinate plane:
- a translation units to the right,
- a -rotation counterclockwise about the origin,
- a reflection across the -axis, and
- a dilation centered at the origin with scale factor
Of the pairs of distinct transformations from this list, how many commute?
- A)
- B)
- C)
- D)
- E)
Answer
C
Key insight
Write each move as a rule for where (x, y) goes, then do each pair in both orders. Only three pairs give the same point both ways.
Solution
"Commute" means the order does not matter. The surest way to check is to write each move as a rule saying where a point goes.
1. The four rules.
- Translation (2 units right): .
- Rotation ( counterclockwise): . For example .
- Reflection (across the -axis): .
- Dilation (scale by ): .
2. Check each pair both ways. "First , then " means apply 's rule, then apply 's rule to the result.
| pair | first one, then the other | other order | same? |
|---|---|---|---|
| , | then : | then : | no |
| , | then : | then : | yes |
| , | then : | then : | no |
| , | then : | then : | no |
| , | then : | then : | yes |
| , | then : | then : | yes |
- Three of the six pairs commute: translation with reflection, rotation with dilation, and reflection with dilation.
The answer is .
Why this works
Writing a move as a rule for turns "does the order matter?" into a quick algebra check. Some reasons are worth remembering. Scaling from the origin just makes everything bigger, so it works with any rotation or reflection about the origin. Sliding right does not care about flipping up and down, so those two commute. But a slide gets turned by a rotation and stretched by a dilation, so it does not commute with those.
Alternative approach
To show two moves do not commute, one point is enough. Take :
- then : ; then : . Different.
- then : ; then : . Different.
- then : ; then : . Different.
The other three pairs agree on every point (see the table above), so the count is .
The trap
Thinking the rotation and the reflection commute because both keep the origin fixed. Try the point (1, 0): the two orders send it to (0, −1) and (0, 1).
Concise solution
Write the four maps as formulas:
Now compose each pair both ways.
- : but . Fail.
- : . Commute.
- : but . Fail.
- : but . Fail.
- : . Commute.
- : . Commute.
Exactly three pairs commute.
The answer is .
Review in the AoPS books
- Introduction to Geometry, Chapter 16: The More Things Change. . . (§16.1, §16.2, §16.3, §16.4)
- Introduction to Geometry, Chapter 17: Analytic Geometry
- Prealgebra, Chapter 15: Problem-Solving Strategies (§15.2)
- Introduction to Algebra, Chapter 8: Graphing Lines
Techniques
Organized listing / direct enumeration · Test small/specific values or special cases to find or verify the answer