A little bit of product and sum is good for everyone

Algebra Level 4

Let: Z x = a + b i n = a 2 + b 2 2 n cis ( arctan b a n + 2 x π n ) \text{Let: }\large Z_x = \sqrt[n]{a + bi} = \sqrt[2n]{a^2 + b^2}~\text{cis}\left(\frac{\arctan \frac{b}{a}}{n} + \frac{2x\pi}{n}\right)

Let: Y y = a + b i m = a 2 + b 2 2 m cis ( arctan b a m + 2 y π m ) \text{Let: }\large Y_y = \sqrt[m]{a + bi} = \sqrt[2m]{a^2 + b^2}~\text{cis}\left(\frac{\arctan \frac{b}{a}}{m} + \frac{2y\pi}{m}\right)

If the following is true:

x = 0 n 1 Z x + y = 0 m 1 Y y = x = 0 n 1 Z x y = 0 m 1 Y y \large \prod_{x = 0}^{n - 1}{Z_x} + \prod_{y = 0}^{m - 1}{Y_y} = \sum_{x = 0}^{n - 1}{Z_x} - \sum_{y = 0}^{m - 1}{Y_y}

Is n m |n - m| an odd or even number?


Details and Assumptions

  • cis ( θ ) = cos ( θ ) + i sin ( θ ) \large \text{cis}(\theta) = \cos(\theta) + i\sin(\theta)
  • The equations at the top are used to calculate all the n n and m m roots respectively of the complex number a + b i a + bi
  • a + b i 0 a + bi \neq 0
  • The variables n n and m m are both non-zero real integers
  • x x is a real integer which obeys the following rule: 0 x < n 0 \leq x < n
  • y y is a real integer which obeys the following rule: 0 y < m 0 \leq y < m
  • i i is the imaginary number equal to 1 \sqrt{-1}
  • x |x| represents the absolute value of x x
Neither odd nor even function Odd Not enough information Even

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

1 solution

Jack Rawlin
Mar 5, 2016

We'll sort out the RHS first.

The sum of all the roots of a complex number will always amount to zero, so the RHS comes to 0 0 0 - 0 or simply 0 0 .

x = 0 n 1 Z x y = 0 m 1 Y y = 0 \large \sum_{x = 0}^{n - 1}{Z_x} - \sum_{y = 0}^{m - 1}{Y_y} = 0

Now the LHS.

The product of all the roots of a complex number will equal the complex number itself or it's negative equivalent. If there are an odd amount of roots then the result is positive, if there's an even amount of roots then the result is negative. In other words:

When n is odd : x = 0 n 1 Z x = ( a + b i ) \text{When }n \text{ is odd}: \prod_{x = 0}^{n - 1}{Z_x} = (a + bi)

When n is even : x = 0 n 1 Z x = ( a + b i ) \text{When }n \text{ is even}: \prod_{x = 0}^{n - 1}{Z_x} = -(a + bi)

If both n n and m m are even or odd their difference will be even. In the case that both n n and m m are even:

x = 0 n 1 Z x + y = 0 m 1 Y y = ? \large \prod_{x = 0}^{n - 1}{Z_x} + \prod_{y = 0}^{m - 1}{Y_y} =~?

( a + b i ) + ( a + b i ) = ? \large -(a + bi) + -(a + bi) =~?

( a + b i ) + ( a + b i ) = 2 ( a + b i ) \large -(a + bi) + -(a + bi) = -2(a + bi)

x = 0 n 1 Z x + y = 0 m 1 Y y = 2 ( a + b i ) \large \prod_{x = 0}^{n - 1}{Z_x} + \prod_{y = 0}^{m - 1}{Y_y} = -2(a + bi)

The only way this would be equal to 0 0 is if both a a and b b are 0 0 which the question says isn't the case.

So what about if both n n and m m are odd numbers?

x = 0 n 1 Z x + y = 0 m 1 Y y = ? \large \prod_{x = 0}^{n - 1}{Z_x} + \prod_{y = 0}^{m - 1}{Y_y} =~?

( a + b i ) + ( a + b i ) = ? \large (a + bi) + (a + bi) =~?

( a + b i ) + ( a + b i ) = 2 ( a + b i ) \large (a + bi) + (a + bi) = 2(a + bi)

x = 0 n 1 Z x + y = 0 m 1 Y y = 2 ( a + b i ) \large \prod_{x = 0}^{n - 1}{Z_x} + \prod_{y = 0}^{m - 1}{Y_y} = 2(a + bi)

As with before, the result is non-zero. Therefore the difference between n n and m m is not even.

There are two situations which would make the difference odd. When n n is odd and m m is even, or when n n is even and m m is odd. Let's try that first one

x = 0 n 1 Z x + y = 0 m 1 Y y = ? \large \prod_{x = 0}^{n - 1}{Z_x} + \prod_{y = 0}^{m - 1}{Y_y} =~?

( a + b i ) + ( a + b i ) = ? \large (a + bi) + -(a + bi) =~?

( a + b i ) ( a + b i ) = ? \large (a + bi) - (a + bi) =~?

( a + b i ) ( a + b i ) = 0 \large (a + bi) - (a + bi) = 0

x = 0 n 1 Z x + y = 0 m 1 Y y = 0 \large \prod_{x = 0}^{n - 1}{Z_x} + \prod_{y = 0}^{m - 1}{Y_y} = 0

So the first one gives a result of 0 0 . What about the second one, does it give us a different answer?

x = 0 n 1 Z x + y = 0 m 1 Y y = ? \large \prod_{x = 0}^{n - 1}{Z_x} + \prod_{y = 0}^{m - 1}{Y_y} =~?

( a + b i ) + ( a + b i ) = ? \large -(a + bi) + (a + bi) =~?

( a + b i ) + ( a + b i ) = 0 \large -(a + bi) + (a + bi) = 0

x = 0 n 1 Z x + y = 0 m 1 Y y = 0 \large \prod_{x = 0}^{n - 1}{Z_x} + \prod_{y = 0}^{m - 1}{Y_y} = 0

Both situations where the difference is odd give an answer which fits the equation. Therefore the difference between n n and m m is an odd number.

The difference between n and m is an odd number \large \boxed{\text{The difference between }n\text{ and }m\text{ is an odd number}}

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...