Difference between revisions of "1997 AIME Problems/Problem 13"
m (→Solution 1: padding) |
(→Solution 1) |
||
(22 intermediate revisions by 10 users not shown) | |||
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>. |
− | + | ==Solution== | |
− | == Solution == | + | ===Solution 1 (non-rigorous)=== |
− | === Solution 1 === | ||
− | |||
Let <math>f(x) = \Big|\big||x|-2\big|-1\Big|</math>, <math>f(x) \ge 0</math>. Then <math>f(x) + f(y) = 1 \Longrightarrow f(x), f(y) \le 1 \Longrightarrow x, y \le 4</math>. We only have a <math>4\times 4</math> area, so guessing points and graphing won't be too bad of an idea. Since <math>f(x) = f(-x)</math>, there's a symmetry about all four [[quadrant]]s, so just consider the first quadrant. We now gather some points: | Let <math>f(x) = \Big|\big||x|-2\big|-1\Big|</math>, <math>f(x) \ge 0</math>. Then <math>f(x) + f(y) = 1 \Longrightarrow f(x), f(y) \le 1 \Longrightarrow x, y \le 4</math>. We only have a <math>4\times 4</math> area, so guessing points and graphing won't be too bad of an idea. Since <math>f(x) = f(-x)</math>, there's a symmetry about all four [[quadrant]]s, so just consider the first quadrant. We now gather some points: | ||
{| class="wikitable" style="background:none;" | {| class="wikitable" style="background:none;" | ||
− | |- | + | |- |
− | + | | <math>f(1) = 0</math> || <math>f(0.1) = 0.9</math> | |
|- | |- | ||
| <math>f(2) = 1</math> || <math>f(0.9) = 0.1</math> | | <math>f(2) = 1</math> || <math>f(0.9) = 0.1</math> | ||
Line 20: | Line 18: | ||
| <math>f(0.5) = 0.5</math> || <math>f(2.1) = 0.9</math> | | <math>f(0.5) = 0.5</math> || <math>f(2.1) = 0.9</math> | ||
|- | |- | ||
− | | <math>f(1.5) = | + | | <math>f(1.5) = 0.5</math> || <math>f(2.9) = 0.1</math> |
|- | |- | ||
− | | <math>f(2.5) = | + | | <math>f(2.5) = 0.5</math> || <math>f(3.1) = 0.1</math> |
|- | |- | ||
− | | <math>f(3.5) = | + | | <math>f(3.5) = 0.5</math> || <math>f(3.9) = 0.9</math> |
|} | |} | ||
− | 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 37: | Line 35: | ||
Calculating the lengths is now easy; each rectangle has sides of <math>\sqrt{2}, 3\sqrt{2}</math>, so the answer is <math>4(\sqrt{2} + 3\sqrt{2}) = 16\sqrt{2}</math>. For all four quadrants, this is <math>64\sqrt{2}</math>, and <math>a+b=\boxed{066}</math>. | Calculating the lengths is now easy; each rectangle has sides of <math>\sqrt{2}, 3\sqrt{2}</math>, so the answer is <math>4(\sqrt{2} + 3\sqrt{2}) = 16\sqrt{2}</math>. For all four quadrants, this is <math>64\sqrt{2}</math>, and <math>a+b=\boxed{066}</math>. | ||
− | === 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{066}</math>. | ||
+ | ===Solution 3 (FASTEST)=== | ||
+ | We make use of several consecutive substitutions. | ||
+ | Let <math>||x| - 2|= x_1</math> and similarly with <math>y</math>. | ||
+ | Therefore, our graph is <math>|x_1 - 1| + |y_1 - 1| = 1</math>. This is a rhombus with perimeter <math>4\sqrt{2}</math>. Now, we make use of the following fact for a function of two variables <math>x</math> and <math>y</math>: Suppose we have <math>f(x, y) = c</math>. Then <math>f(|x|, |y|)</math> is equal to the graph of <math>f(x, y)</math> reflected across the y axis and x axis, and the reflection across the y axis across the x axis, therefore the perimeter of of <math>f(|x|, |y|)</math> is 4 times the perimeter of <math>f(x, y)</math>. Now, we continue making substitutions at each absolute value sign (<math>|x| - 2 = x_2</math> and finally <math>x = x_3</math>, similarly for y as well. ), noting that the constants don't matter as they just translate the graph and each absolute value sign increases the perimeter 4 times as much. Therefore, the length is <math>4^2 \times 4\sqrt{2} = 64\sqrt{2} = a\sqrt{b}</math>, and <math>a+b = \boxed{066}</math>. | ||
+ | |||
+ | - whatRthose | ||
+ | |||
+ | ===Solution 4 (Exploiting intuitions about absolute value with linear functions)=== | ||
+ | In a similar manner to the other posted solutions, we want to find the length of just a piece of this monstrosity and then figure out what fraction of the entire function that piece represents. It's possible to go right for the smallest possible piece that'll help us by letting <math>a = \big||x|-2\big|-1</math> and <math>b = \big||y|-2\big|-1</math>. We then get that <math>b = 1 - a</math> (obviously the other way would work too). One specific "case" here is the one where all the numbers in the absolute value bars are positive, and thus where <math>b = 1 - x - 2 = -x - 1</math>. Since we're dealing with compounded absolute values, we can infer that the piece we just found has to be bounded by the two axes; the length of this piece also won't be affected by the constants that are hidden in <math>b</math>. Using the Pythagorean Theorem / distance formula, that tiny length comes out to be <math>\sqrt{2}</math>. | ||
+ | Because we're working with linear terms only, the presence of each absolute value bar will double the length of the function's graph at each step as we work backward to our original equation. As there are six absolute value bars to be added back in (three on each side), we find that there are <math>2^6</math> of these pieces of length <math>\sqrt{2}</math>, making our answer <math>2 + 64 = \boxed{066}</math>. | ||
+ | |||
+ | ~ anellipticcurveoverq | ||
== See also == | == See also == | ||
{{AIME box|year=1997|num-b=12|num-a=14}} | {{AIME box|year=1997|num-b=12|num-a=14}} | ||
− | |||
[[Category:Intermediate Algebra Problems]] | [[Category:Intermediate Algebra Problems]] | ||
+ | {{MAA Notice}} |
Latest revision as of 19:56, 4 August 2021
Contents
Problem
Let be the set of points in the Cartesian plane that satisfy
![$\Big|\big||x|-2\big|-1\Big|+\Big|\big||y|-2\big|-1\Big|=1.$](http://latex.artofproblemsolving.com/8/6/1/861bc503fcf3e136f3357993d4d30ded9c04a837.png)
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 (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
.
Solution 3 (FASTEST)
We make use of several consecutive substitutions.
Let and similarly with
.
Therefore, our graph is
. This is a rhombus with perimeter
. Now, we make use of the following fact for a function of two variables
and
: Suppose we have
. Then
is equal to the graph of
reflected across the y axis and x axis, and the reflection across the y axis across the x axis, therefore the perimeter of of
is 4 times the perimeter of
. Now, we continue making substitutions at each absolute value sign (
and finally
, similarly for y as well. ), noting that the constants don't matter as they just translate the graph and each absolute value sign increases the perimeter 4 times as much. Therefore, the length is
, and
.
- whatRthose
Solution 4 (Exploiting intuitions about absolute value with linear functions)
In a similar manner to the other posted solutions, we want to find the length of just a piece of this monstrosity and then figure out what fraction of the entire function that piece represents. It's possible to go right for the smallest possible piece that'll help us by letting and
. We then get that
(obviously the other way would work too). One specific "case" here is the one where all the numbers in the absolute value bars are positive, and thus where
. Since we're dealing with compounded absolute values, we can infer that the piece we just found has to be bounded by the two axes; the length of this piece also won't be affected by the constants that are hidden in
. Using the Pythagorean Theorem / distance formula, that tiny length comes out to be
.
Because we're working with linear terms only, the presence of each absolute value bar will double the length of the function's graph at each step as we work backward to our original equation. As there are six absolute value bars to be added back in (three on each side), we find that there are
of these pieces of length
, making our answer
.
~ anellipticcurveoverq
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 |
The problems on this page are copyrighted by the Mathematical Association of America's American Mathematics Competitions.