Difference between revisions of "2013 AMC 12A Problems/Problem 25"

m (typo)
m (Solution)
Line 23: Line 23:
 
or <math>v^2 + w^2 > (1/2 + v)^2 = 1/4 + v + v^2</math>, <math>w^2 > 1/4 + v</math>, or <math>b^2 > a-1</math>.
 
or <math>v^2 + w^2 > (1/2 + v)^2 = 1/4 + v + v^2</math>, <math>w^2 > 1/4 + v</math>, or <math>b^2 > a-1</math>.
  
In other words, for all <math>z</math>, <math>f(z)=a+bi</math> satisfies <math>b^2 > a-1</math>, and there is one and only one <math>z</math> that makes it true. Therefore we are just going to count the number of ordered pairs <math>(a,b)</math> such that <math>a</math>, <math>b</math> are integers of magnitude no greater than <math>10</math>, and that <math>b^2 \geq a</math>.
+
In other words, for all <math>z</math>, <math>f(z)=a+bi</math> satisfies <math>b^2 > a-1</math>, with a unique solution <math>z</math>. Therefore we need to count the number of ordered pairs <math>(a,b)</math> such that integers <math>|a|, |b|\leq 10</math>, and that <math>b^2 \geq a</math>.
  
 
When <math>a\leq 0</math>, there is no restriction on <math>b</math> so there are <math>11\cdot 21 = 231</math> pairs;
 
When <math>a\leq 0</math>, there is no restriction on <math>b</math> so there are <math>11\cdot 21 = 231</math> pairs;

Revision as of 21:06, 2 September 2013

Problem

Let $f : \mathbb{C} \to \mathbb{C}$ be defined by $f(z) = z^2 + iz + 1$. How many complex numbers $z$ are there such that $\text{Im}(z) > 0$ and both the real and the imaginary parts of $f(z)$ are integers with absolute value at most $10$?

$\textbf{(A)} \ 399 \qquad \textbf{(B)} \ 401 \qquad \textbf{(C)} \ 413 \qquad \textbf{(D)} \ 431 \qquad \textbf{(E)} \ 441$

Solution

Suppose $f(z)=z^2+iz+1=c=a+bi$. We look for $z$ with $\text{Im}(z)>0$ such that $a,b$ are integers where $|a|, |b|\leq 10$.

First, use the quadratic formula:

$z = \frac{1}{2} (-i \pm \sqrt{-1-4(1-c)}) = -\frac{i}{2} \pm \sqrt{ -\frac{5}{4} + c }$

Generally, consider the imaginary part of a radical of a complex number: $\sqrt{u}$, where $u = v+wi = r e^{i\theta}$.

$Im (\sqrt{u}) = Im(\pm \sqrt{r} e^{i\theta/2}) = \pm \sqrt{r} \sin(\theta/2) = \pm \sqrt{r}\sqrt{\frac{1-\cos\theta}{2}} = \pm \sqrt{\frac{r-v}{2}}$.

Now let $u= -5/4 + c$, then $v = -5/4 + a$, $w=b$, $r=\sqrt{v^2 + w^2}$.

Note that $Im(z)>0$ if and only if $\pm \sqrt{\frac{r-v}{2}}>\frac{1}{2}$. The latter is true only when we take the positive sign, and that $r-v > 1/2$,

or $v^2 + w^2 > (1/2 + v)^2 = 1/4 + v + v^2$, $w^2 > 1/4 + v$, or $b^2 > a-1$.

In other words, for all $z$, $f(z)=a+bi$ satisfies $b^2 > a-1$, with a unique solution $z$. Therefore we need to count the number of ordered pairs $(a,b)$ such that integers $|a|, |b|\leq 10$, and that $b^2 \geq a$.

When $a\leq 0$, there is no restriction on $b$ so there are $11\cdot 21 = 231$ pairs;

when $a > 0$, there are $2(1+4+9+10+10+10+10+10+10+10)=2(84)=168$ pairs.

So there are $231+168=399$ in total.

See also

2013 AMC 12A (ProblemsAnswer KeyResources)
Preceded by
Problem 24
Followed by
Last Question
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25
All AMC 12 Problems and Solutions

The problems on this page are copyrighted by the Mathematical Association of America's American Mathematics Competitions. AMC logo.png