Difference between revisions of "1997 AIME Problems/Problem 13"

Latest revision as of 18:56, 4 August 2021

Problem

Let $S$ 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.$

If a model of $S$ were built from wire of negligible thickness, then the total length of wire required would be $a\sqrt{b}$ , where $a$ and $b$ are positive integers and $b$ is not divisible by the square of any prime number. Find $a+b$ .

Solution

Solution 1 (non-rigorous)

Let $f(x) = \Big|\big||x|-2\big|-1\Big|$ , $f(x) \ge 0$ . Then $f(x) + f(y) = 1 \Longrightarrow f(x), f(y) \le 1 \Longrightarrow x, y \le 4$ . We only have a $4\times 4$ area, so guessing points and graphing won't be too bad of an idea. Since $f(x) = f(-x)$ , there's a symmetry about all four quadrants, so just consider the first quadrant. We now gather some points:

$f(1) = 0$	$f(0.1) = 0.9$
$f(2) = 1$	$f(0.9) = 0.1$
$f(3) = 0$	$f(1.1) = 0.1$
$f(4) = 1$	$f(1.9) = 0.9$
$f(0.5) = 0.5$	$f(2.1) = 0.9$
$f(1.5) = 0.5$	$f(2.9) = 0.1$
$f(2.5) = 0.5$	$f(3.1) = 0.1$
$f(3.5) = 0.5$	$f(3.9) = 0.9$

We can now graph the pairs of coordinates which add up to $1$ . 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 $\sqrt{2}, 3\sqrt{2}$ , so the answer is $4(\sqrt{2} + 3\sqrt{2}) = 16\sqrt{2}$ . For all four quadrants, this is $64\sqrt{2}$ , and $a+b=\boxed{066}$ .

Solution 2

Since $0 \le \Big|\big||x| - 2\big| - 1\Big| \le 1$ and $0 \le \Big|\big||y| - 2\big| - 1\Big| \le 1$
$- 1 \le \big||x| - 2\big| - 1 \le 1$
$0 \le \big||x| - 2\big| \le 2$
$- 2 \le |x| - 2 \le 2$
$- 4 \le x \le 4$
Also $- 4 \le y \le 4$ .

Define $f(a) = \Big|\big||a| - 2\big| - 1\Big|$ .

If $0 \le a \le 1$ :

$f(3 + a) = \Big|\big||3 + a| - 2\big| - 1\Big| = a$

$f(3 - a) = \Big|\big||3 - a| - 2\big| - 1\Big| = a$

$f(3 + a) = f(3 - a)$

If $0 \le a \le 2$ :

$f(2 + a) = \Big|\big||2 + a| - 2\big| - 1\Big| = a - 1$

$f(2 - a) = \Big|\big||2 - a| - 2\big| - 1\Big| = a - 1$

$f(2 + a) = f(2 - a)$

If $0 \le a \le 4$ :

$f(a) = \Big|\big||a| - 2\big| - 1\Big| = a - 3$

$f( - a) = \Big|\big|| - a| - 2\big| - 1\Big| = a - 3$

$f(a) = f( - a)$

So the graph of $y(x)$ at $3 \le x \le 4$ is symmetric to $y(x)$ at $2 \le x \le 3$ (reflected over the line x=3)
And the graph of $y(x)$ at $2 \le x \le 4$ is symmetric to $y(x)$ at $0 \le x \le 2$ (reflected over the line x=2)
And the graph of $y(x)$ at $0 \le x \le 4$ is symmetric to $y(x)$ at $- 4 \le x \le 0$ (reflected over the line x=0)

[this is also true for horizontal reflection, with $3 \le y \le 4$ , etc]

So it is only necessary to find the length of the function at $3 \le x \le 4$ and $3 \le y \le 4$ : $\Big|\big||x| - 2\big| - 1\Big| + \Big|\big||y| - 2\big| - 1\Big| = 1$
$x - 3 + y - 3 = 1$
$y = - x + 7$ (Length = $\sqrt {2}$ )

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 $6$ doublings = $2^6$ = $64$ , the total length = $64 \cdot \sqrt {2} = a\sqrt {b}$ , and $a + b = 64 + 2 = \boxed{066}$ .

Solution 3 (FASTEST)

We make use of several consecutive substitutions. Let $||x| - 2|= x_1$ and similarly with $y$ . Therefore, our graph is $|x_1 - 1| + |y_1 - 1| = 1$ . This is a rhombus with perimeter $4\sqrt{2}$ . Now, we make use of the following fact for a function of two variables $x$ and $y$ : Suppose we have $f(x, y) = c$ . Then $f(|x|, |y|)$ is equal to the graph of $f(x, y)$ reflected across the y axis and x axis, and the reflection across the y axis across the x axis, therefore the perimeter of of $f(|x|, |y|)$ is 4 times the perimeter of $f(x, y)$ . Now, we continue making substitutions at each absolute value sign ( $|x| - 2 = x_2$ and finally $x = x_3$ , 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 $4^2 \times 4\sqrt{2} = 64\sqrt{2} = a\sqrt{b}$ , and $a+b = \boxed{066}$ .

- 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 $a = \big||x|-2\big|-1$ and $b = \big||y|-2\big|-1$ . We then get that $b = 1 - a$ (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 $b = 1 - x - 2 = -x - 1$ . 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 $b$ . Using the Pythagorean Theorem / distance formula, that tiny length comes out to be $\sqrt{2}$ . 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 $2^6$ of these pieces of length $\sqrt{2}$ , making our answer $2 + 64 = \boxed{066}$ .

~ anellipticcurveoverq

@@ Line 1: / Line 1: @@
-== Problem ==
+==Problem==
 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__
+==Solution==
-== Solution ==
+===Solution 1 (non-rigorous)===
-=== Solution 1 ===
-:''This solution is non-rigorous.''
 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:
@@ Line 20: / Line 18: @@
 | <math>f(0.5) = 0.5</math> || <math>f(2.1) = 0.9</math>
 |-
-| <math>f(1.5) = 1.5</math> || <math>f(2.9) = 0.1</math>
+| <math>f(1.5) = 0.5</math> || <math>f(2.9) = 0.1</math>
 |-
-| <math>f(2.5) = 2.5</math> || <math>f(3.1) = 0.1</math>
+| <math>f(2.5) = 0.5</math> || <math>f(3.1) = 0.1</math>
 |-
-| <math>f(3.5) = 3.5</math> || <math>f(3.9) = 0.9</math>
+| <math>f(3.5) = 0.5</math> || <math>f(3.9) = 0.9</math>
 |}
@@ 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>.
-=== 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 />
@@ Line 79: / Line 77: @@
 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) ===
+===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 diamond 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 so forth),  noting that the constants don't matter 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>.
+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 ==
 {{AIME box|year=1997|num-b=12|num-a=14}}
 [[Category:Intermediate Algebra Problems]]
 {{MAA Notice}}

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

Page

Toolbox

Search