Difference between revisions of "1997 AIME Problems/Problem 13"
(revert edits by myself) |
(and a rigorous solution by minsoens) |
||
Line 1: | Line 1: | ||
== Problem == | == Problem == | ||
− | Let <math>S</math> be the set of | + | Let <math>S</math> be the [[set]] of [[point]]s in the [[Cartesian plane]] that satisfy <center><math>\Big|\big||x|-2\big|-1\Big|+\Big|\big||y|-2\big|-1\Big|=1.</math></center> If a model of <math>S</math> were built from wire of negligible thickness, then the total length of wire required would be <math>a\sqrt{b}</math>, where <math>a</math> and <math>b</math> are positive integers and <math>b</math> is not divisible by the square of any prime number. Find <math>a+b</math>. |
__TOC__ | __TOC__ | ||
Line 27: | Line 27: | ||
|} | |} | ||
− | We can now graph the pairs of | + | We can now graph the pairs of coordinates which add up to <math>1</math>. Just using the first column of information gives us an interesting [[lattice]] pattern: |
[[Image:1997_AIME-13a.png]] | [[Image:1997_AIME-13a.png]] | ||
Line 38: | Line 38: | ||
=== Solution 2 === | === Solution 2 === | ||
+ | Since <math>0 \le \Big|\big||x| - 2\big| - 1\Big| \le 1</math> and <math>0 \le \Big|\big||y| - 2\big| - 1\Big| \le 1</math><br /> | ||
+ | <math>- 1 \le \big||x| - 2\big| - 1 \le 1</math><br /> | ||
+ | <math>0 \le \big||x| - 2\big| \le 2</math><br /> | ||
+ | <math>- 2 \le |x| - 2 \le 2</math><br /> | ||
+ | <math>- 4 \le x \le 4</math><br /> | ||
+ | Also <math>- 4 \le y \le 4</math>. | ||
+ | |||
+ | Define <math>f(a) = \Big|\big||a| - 2\big| - 1\Big|</math>. | ||
+ | *If <math>0 \le a \le 1</math>: | ||
+ | :<math>f(3 + a) = \Big|\big||3 + a| - 2\big| - 1\Big| = a</math> | ||
+ | :<math>f(3 - a) = \Big|\big||3 - a| - 2\big| - 1\Big| = a</math> | ||
+ | :<math>f(3 + a) = f(3 - a)</math> | ||
+ | |||
+ | *If <math>0 \le a \le 2</math>: | ||
+ | :<math>f(2 + a) = \Big|\big||2 + a| - 2\big| - 1\Big| = a - 1</math> | ||
+ | :<math>f(2 - a) = \Big|\big||2 - a| - 2\big| - 1\Big| = a - 1</math> | ||
+ | :<math>f(2 + a) = f(2 - a)</math> | ||
+ | |||
+ | *If <math>0 \le a \le 4</math>: | ||
+ | :<math>f(a) = \Big|\big||a| - 2\big| - 1\Big| = a - 3</math> | ||
+ | :<math>f( - a) = \Big|\big|| - a| - 2\big| - 1\Big| = a - 3</math> | ||
+ | :<math>f(a) = f( - a)</math> | ||
+ | |||
+ | *So the graph of <math>y(x)</math> at <math>3 \le x \le 4</math> is symmetric to <math>y(x)</math> at <math>2 \le x \le 3</math> (reflected over the line x=3) | ||
+ | *And the graph of <math>y(x)</math> at <math>2 \le x \le 4</math> is symmetric to <math>y(x)</math> at <math>0 \le x \le 2</math> (reflected over the line x=2) | ||
+ | *And the graph of <math>y(x)</math> at <math>0 \le x \le 4</math> is symmetric to <math>y(x)</math> at <math>- 4 \le x \le 0</math> (reflected over the line x=0) | ||
+ | [this is also true for horizontal reflection, with <math>3 \le y \le 4</math>, etc] | ||
+ | |||
+ | So it is only necessary to find the length of the function at <math>3 \le x \le 4</math> and <math>3 \le y \le 4</math>: | ||
+ | <math>\Big|\big||x| - 2\big| - 1\Big| + \Big|\big||y| - 2\big| - 1\Big| = 1</math><br /> | ||
+ | <math>x - 3 + y - 3 = 1</math><br /> | ||
+ | <math>y = - x + 7</math> | ||
+ | (Length = <math>\sqrt {2}</math>) | ||
+ | |||
+ | This graph is reflected over the line y=3, the quantity of which is reflected over y=2, | ||
+ | :the quantity of which is reflected over y=0, | ||
+ | :the quantity of which is reflected over x=3, | ||
+ | :the quantity of which is reflected over x=2, | ||
+ | :the quantity of which is reflected over x=0.. | ||
+ | |||
+ | So a total of <math>6</math> doublings = <math>2^6</math> = <math>64</math>, the total length = <math>64 \cdot \sqrt {2} = a\sqrt {b}</math>, and <math>a + b = 64 + 2 = \boxed{66}</math>. | ||
== See also == | == See also == |
Revision as of 21:29, 23 November 2007
Problem
Let be the set of points in the Cartesian plane that satisfy
If a model of were built from wire of negligible thickness, then the total length of wire required would be , where and are positive integers and is not divisible by the square of any prime number. Find .
Solution
Solution 1
- This solution is non-rigorous.
Let , . Then . We only have a area, so guessing points and graphing won't be too bad of an idea. Since , there's a symmetry about all four quadrants, so just consider the first quadrant. We now gather some points:
We can now graph the pairs of coordinates which add up to . Just using the first column of information gives us an interesting lattice pattern:
Plotting the remaining points and connecting lines, the graph looks like:
Calculating the lengths is now easy; each rectangle has sides of , so the answer is . For all four quadrants, this is , and .
Solution 2
Since and
Also .
Define .
- If :
- If :
- If :
- So the graph of at is symmetric to at (reflected over the line x=3)
- And the graph of at is symmetric to at (reflected over the line x=2)
- And the graph of at is symmetric to at (reflected over the line x=0)
[this is also true for horizontal reflection, with , etc]
So it is only necessary to find the length of the function at and :
(Length = )
This graph is reflected over the line y=3, the quantity of which is reflected over y=2,
- the quantity of which is reflected over y=0,
- the quantity of which is reflected over x=3,
- the quantity of which is reflected over x=2,
- the quantity of which is reflected over x=0..
So a total of doublings = = , the total length = , and .
See also
1997 AIME (Problems • Answer Key • Resources) | ||
Preceded by Problem 12 |
Followed by Problem 14 | |
1 • 2 • 3 • 4 • 5 • 6 • 7 • 8 • 9 • 10 • 11 • 12 • 13 • 14 • 15 | ||
All AIME Problems and Solutions |