EQUATIONS PRACTICE

Higher Order Complex Roots

Guide to taking roots of complex numbers where our index is much, much greater than 2.

General Rule

  • When we have a complex root in the form zn\sqrt[n]{z}, where nn is the index of our root and zz is our radicand:
    • If n=8k+2n = 8k + 2, where kk is a positive integer: (22,  1010,  1818,  2626 . . . )
      • in=i\sqrt[n]{i} = \sqrt{i}
      • in=i\sqrt[n]{-i} = \sqrt{-i}
    • If n=8k2n = 8k - 2:  (66,  1414,  2222,  3030 . . . )
      • in=i\sqrt[n]{i} = \sqrt{-i}
      • in=i\sqrt[n]{-i} = \sqrt{i}
    • If n=8k+4n = 8k + 4:  (44,  1212,  2020,  2828 . . . )
      • 1n=14  or  ±i\sqrt[n]{-1} = \sqrt[4]{-1}\;or\;\sqrt{\pm i}
    • If n=4k+1n = 4k + 1:  (11,  55,  99,  1313 . . . )
      • in=i\sqrt[n]{i} = i
      • in=i\sqrt[n]{-i} = -i
    • If n=4k1n = 4k - 1:  (33,  77,  1111,  1515 . . . )
      • in=i\sqrt[n]{i} = -i
      • in=i\sqrt[n]{-i} = i
    • If n=4k+2n = 4k + 2:  (22,  66,  1010,  1414 . . . )
      • 1n=12  or  ±i\sqrt[n]{-1} = \sqrt[2]{-1}\;or\;\pm i
Note: These rules don't cover every pattern that results from taking higher order roots, but instead cover the most useful situations. Additionally, equals here (=)(=) means the radicals have solutions in common, not that the expressions are equal.

Putting this into context

To understand what this means, we can start by looking at our first rule:

  • If n=8k+2n = 8k + 2, where kk is a positive integer: (22,  1010,  1818,  2626 . . . )
    • in=i\sqrt[n]{i} = \sqrt{i}
    • in=i\sqrt[n]{-i} = \sqrt{-i}

Our first expression, 8k+28k + 2, gives us all the possible values that this rule works for. Here, the index of our root must be 2 more than a multiple of 8.

Using 1010 as an example, we can substitute this in for our index (n)(n) above:

  • i10=i\sqrt[10]{i} = \sqrt{i}
  • i10=i\sqrt[10]{-i} = \sqrt{-i}

In equations, this simply means we can set our goal as i10\sqrt[10]{i} and write our solution as i\sqrt{i}, so long as we remember to indicate both our goal and solution as 22+22i\frac{\sqrt{2}}{2} + \frac{\sqrt{2}}{2}i (one of the values of i\sqrt{i} ).

Again, this works for all values that are 22 more than a multiple of 88. For example, 9090 fits this criteria (it's 2 more than 88), so we can set i90\sqrt[90]{i} as our goal and solve for i\sqrt{i}.

Why indicate?

Just to clarify, i10\sqrt[10]{i} and i\sqrt{i} are not the same thing. Rather, we're showing that these values have solutions in common. In order to understand this, it can help if we graph the solutions for both i10\sqrt[10]{i} and i\sqrt{i}.

Plotted solutions to \(\sqrt[10]{i}\)
Solutions to i10\sqrt[10]{i}
Plotted solutions to \(\sqrt[2]{i}\)
Solutions to i\sqrt{i}

We can see above that i\sqrt{i} only has 2 solutions, where as i10\sqrt[10]{i} has 10 solutions. However, the solutions do match up at 2 values. They both have a solution at 4545^{\circ} (22+22i)(\frac{\sqrt{2}}{2} + \frac{\sqrt{2}}{2}i) and 225225^{\circ} (2222i)(-\frac{\sqrt{2}}{2} - \frac{\sqrt{2}}{2}i).

When we indicate our roots, we're showing that this solution is the intended solution of our goal and solution. Otherwise, the principal root (the solution with the smallest angle) is used by default.

Relationship between rules

To help remember some of these rules, let's try to relate them together. For our convenience, they will be rewritten here:

  • If n=8k+2n = 8k + 2:
    • in=i\sqrt[n]{i} = \sqrt{i}
    • in=i\sqrt[n]{-i} = \sqrt{-i}
  • If n=8k2n = 8k - 2:
    • in=i\sqrt[n]{i} = \sqrt{-i}
    • in=i\sqrt[n]{-i} = \sqrt{i}
  • If n=8k+4n = 8k + 4:
    • 1n=14  or  ±i\sqrt[n]{-1} = \sqrt[4]{-1}\;or\;\sqrt{\pm i}
  • If n=4k+1n = 4k + 1:
    • in=i\sqrt[n]{i} = i
    • in=i\sqrt[n]{-i} = -i
  • If n=4k1n = 4k - 1:
    • in=i\sqrt[n]{i} = -i
    • in=i\sqrt[n]{-i} = i
  • If n=4k+2n = 4k + 2:
    • 1n=12  or  ±i\sqrt[n]{-1} = \sqrt[2]{-1}\;or\;\pm i

We can group our rules into 2 separate categories: multiples of 8 and multiples of 4. To keep things simple, let's start with our multiples of 88.

A way to interpret the first two rules in this category (8k+2(8k + 2 and 8k2)8k - 2) is to look at the sign of our radicand (i)(i) in our equations. We can see that with our first rule (8k+2)(8k + 2), our radicand keeps its sign throughout both equations, whereas in our second rule (8k2)(8k - 2), our radicand switches signs.

Because of the upside down variation in equations, this also means there's no functional difference between 8k+28k + 2 and 8k28k - 2 in equations. For example, if we want to solve for i\sqrt{i}, a goal we can set is i18\sqrt[18]{i}, since 1818 is a multiple of 8k+28k + 2. However, if a multiple of 8k+28k + 2 isn't readily available from the cubes, we can just as easily set the goal as i14\sqrt[14]{i} and interpret ii as upside down, since 1414 is a multiple of 8k28k - 2.

Our third rule, 8k+48k + 4, inherits the solutions from the 2 other rules, meaning if you set a goal where the index is a multiple of 8k+48k + 4, such as 14\sqrt[4]{-1}, you can solve for both i\sqrt{i} and i\sqrt{-i}. To help digest this, the solutions for all 3 values are plotted below:

Plotted solutions to \(\sqrt{i}\)
Solutions to i\sqrt{i}
(22+22i)(\frac{\sqrt{2}}{2} + \frac{\sqrt{2}}{2}i), (2222i)(-\frac{\sqrt{2}}{2} - \frac{\sqrt{2}}{2}i)
Plotted solutions to \(\sqrt{-i}\)
Solutions to i\sqrt{-i}
(22+22i)(-\frac{\sqrt{2}}{2} + \frac{\sqrt{2}}{2}i), (2222i)(\frac{\sqrt{2}}{2} - \frac{\sqrt{2}}{2}i)
Plotted solutions to \(\sqrt[4]{-1}\)
Solutions to 14\sqrt[4]{-1}
(22+22i)(\frac{\sqrt{2}}{2} + \frac{\sqrt{2}}{2}i), (2222i)(-\frac{\sqrt{2}}{2} - \frac{\sqrt{2}}{2}i), (22+22i)(-\frac{\sqrt{2}}{2} + \frac{\sqrt{2}}{2}i), (2222i)(\frac{\sqrt{2}}{2} - \frac{\sqrt{2}}{2}i)

The third rule is more effective when used in the solution rather than the goal. One technique is to set a goal using the first two rules, such as i94\sqrt[94]{i}, and to solve for 14\sqrt[4]{-1} in your solution. Both roots have solutions at 2222i\frac{\sqrt{2}}{2} - \frac{\sqrt{2}}{2}i, but the benefit of this technique is that it only requires one ii cube. This is useful when only one ii cube is rolled, or if you want to throw all the ii cubes into forbidden to confuse your opponent.

With our multiples of 44, we can apply the same patterns above. Again, with our first rule (4k+1)(4k + 1), our radicand keeps its sign, in our second rule (4k1)(4k - 1), our radicand switches signs, and with our third rule (4k+2)(4k + 2), we inherit the solutions from the 2 other rules.

Setting goals

Keep in mind that if our goal is based off a multiple of 4k+14k + 1 or 4k14k - 1, a clever enough opponent could guess the goal without using the rule. For example, if you set your goal as i93\sqrt[93]{i} (a multiple of 4k+14k + 1), your opponent could work out that i93=ii^{93} = i and use this to determine i93=i\sqrt[93]{i} = i. In fact, because of how easy it is to guess the solutions for our multiple of 44 goals, it's suggested to not use these goals without also using variations that complicate the shake (we'll explore this idea in the variations section).

On the other hand, a goal like i98\sqrt[98]{i} (a multiple of 8k+28k + 2) requires your opponent to come up with i\sqrt{i} as an answer. Likewise, a goal like i70\sqrt[70]{i} (a multiple of 8k28k - 2) requires your opponent to come up with the even crazier i\sqrt{-i}. Goals based off of multiples of 8 much more robust because of this.

To add on to this, we can also use the earlier mentioned technique of throwing all the ii cubes into forbidden. If our index is a multiple of 8k+28k + 2 or 8k28k - 2, this forces the simpliest solution to be 14\sqrt[4]{-1}, which is extremely difficult to come up with as an opponent.

Solving strategy

As for actually solving these goals, we'll explore two ways to go about this.

The first method we'll review is rather pedantic, but will translate nicely for when we review strategies involving variations. In this method, we reduce the index of our root by multiples of 44 to see if we end up with a remainder of 11, 22, or 33 (or if you reduce into the negatives, 1-1, 2-2, and 3-3). If that fails to produce an answer, we reduce our index by multiples of 88 to see if we end up with a remainder of 22, 44, or 66 (or 2-2, 4-4 and 6-6).

Here's a chart listing each remainder and their corresponding rule:

  • When reducing by multiples of 4:
    • Remainder of 11 or 3-3:  4k+14k + 1
    • Remainder of 22 or 2-2:  4k+24k + 2
    • Remainder of 33 or 1-1:  4k14k - 1
  • When reducing by multiples of 8:
    • Remainder of 22 or 6-6:  8k+28k + 2
    • Remainder of 44 or 4-4:  8k+48k + 4
    • Remainder of 66 or 2-2:  8k28k - 2

As an example, let's try to solve the goal i86\sqrt[86]{i}. We'll first reduce the index (8686) by a multiple of 44, which nets us a remainder of 22 (or 2-2). On the chart above, this corresponds with the 4k+24k + 2 rule. However, our rule for 4k+24k + 2 is only defined for a radicand of 1-1, so we'll continue by reducing our index by multiples of 88. Reducing 8686 by a multiple of 88 gives us a remainder of 66 (or 2-2), which corresponds with the 8k28k - 2 rule on the chart above. From our general rule, this means we can solve for i\sqrt{i}, or if you interpret the ii in the goal as upside down, we can solve for i\sqrt{-i}.

The second method we'll review is arguably identical to the first method, so you can simply imagine it as a different way to do the first method. Instead of reducing the index by multiples of 44 and 88, we instead find the nearest multiple of 44 and 88 to our index and calculate the difference between our index and that multiple. This difference is going to act as our remainder.

Going back to the i86\sqrt[86]{i} problem, the nearest multiple of 44 to 8686 is 8484. The difference between 8686 and 8484 is 22, so our remainder is 22 here. Since a remainder of 22 paired with a radicand of ii doesn't fit any of our general rules, we move on by finding the nearest multiple of 88, which is 8888. The difference between 8686 and 8888 is 2-2 (be careful with the sign here, 8686 is 2 less than a multiple of 88), which corresponds on our chart to 8k28k - 2.

If it wasn't already clear, "nearest multiple" is a very loose term here. For 8686, we could've chosen our nearest multiple of 88 to be 8080, which would net us a remainder of 66. Nevertheless, this still corresponds to the 8k28k - 2 rule on the chart.

There are of course some ways to optimize this strategy. Since our rules of 8k+48k + 4 and 4k+24k + 2 aren't defined when our radicand is ii, we don't have to check for these rules when our radicand is ii. Likewise, when our radicand is 1-1, we only have to check the 8k+48k + 4 and 4k+24k + 2 rules. We do have to be careful when our radicand is 1-1 however. Although 119\sqrt[19]{-1} doesn't fit any of our rules, 1-1 raised to any odd power is still 1-1, so a solution to the root above would be 1-1.

Using the information above, here's a table listing the first 5050 roots of ii and 1-1 as well as their corresponding rule.

Hopefully, you've noticed that roots of ii don't contain solutions at exact multiples of 44, and that roots of 1-1 don't have solutions at multiples of 88. We'll explore this idea in more depth when we look into variations.

Negative indexes

Before moving onto variations however, the last thing we need to cover is understanding how negative indexes work. Simply put, in=in\sqrt[-n]{i} = \sqrt[n]{-i}. A goal of i70\sqrt[-70]{i} can be rewritten as i70\sqrt[70]{-i}, which simplifies to i\sqrt{i}. Here are some ways to achieve this goal in 66 cubes.

  • (272)i(2-72)\sqrt{i}
  • (5×14)i(5\times14)\sqrt{i}  (upside down 5)

Interplay with variations

Some variations can bring even more complexity to this already elaborate strategy. Due to how robust the main strategy is, it's best to try and reserve these strategies for very high level play.

Wild — Impact:

This variation doesn't open up any unique strategies. There isn't any meaningful way to fit a wild cube into the goal, but it can be useful if you're missing a necessary cube for your solution.

Powers of the Base — Impact:

This variation does open up a unique strategy. Here, we're going to use the idea that when our index (n)(n) is a multiple of 44, in\sqrt[n]{i} has no trivial solutions. Here's a goal that uses this strategy:

  • (63+1)i(63+1)\sqrt{i}

The idea is to set a goal with the index in the form some number +1+1 or 1- 1, so that when you compute the index, you get a multiple of 44 (in this case, 6464). By default this goal has no trivial solutions, but we can use Powers of the Base to modify the index.

Assuming our base is still 1010, let's interpret the 11 as 10110^{1}. Our goal becomes (63+10)i(63+10)\sqrt{i}, or i73\sqrt[73]{i}. This new index falls into 4k+14k + 1, so our goal simply reduces to ii.

Although usually not necessary, we can also rewrite the 11 with higher powers of 1010 to give alternate answers. Interpreting the 11 as 10210^{2}, or 100100, gives us (63+100)i(63+100)\sqrt{i}, which becomes i163\sqrt[163]{i} and reduces to i-i (multiple of 4k14k - 1). In most cases (such as this one), higher powers will only change the sign of the goal.

If Base is called, remember that our base in Powers of the Base must reflect the new base. For example, if Base 1111 is called, 11 must be interpreted as 11n11^{n} instead of 10n10^{n}. Our original goal, (63+1)i(63+1)\sqrt{i}, can be interpreted as (63+11)i(63+11)\sqrt{i}, or i74\sqrt[74]{i}. This reduces down to i\sqrt{i} (multiple of 8k+28k + 2).

Base M — Impact:

This variation doesn't open up any unique strategies, but it will require you to play more carefully.

Before solving the goal, make sure you convert your indexes first. With Base 1212, a goal like i76\sqrt[76]{i} converts to i90\sqrt[90]{i}, which reduces down to i\sqrt{i} (multiple of 8k+28k + 2).

If for some reason, Decimal is called with Base 1212, be wary that 33 cube numerals are now allowed, and that the     \sqrt{\;\;} cube can be interpreted as the digit 1111. An attentive opponent could interpret i76\sqrt[76]{i} as 1091i1091i (7×144+6×12+11)(7 \times 144 + 6 \times 12 + 11), which, although is still difficult to solve, it's best to stifle any alternate interpretations. To avoid this, set the index as its own expression and separate it from the root using parenthesis:

  • (793)i(79-3)\sqrt{i}
  • (19×4)i(19\times4)\sqrt{i}

And of course, always be careful to not use digits that are equal to or higher than the Base. Don't use an 88 cube if Base 88 is called.

Multiple of K — Impact:

This variation doesn't open up any unique strategies. Just be mindful to add or subtract kk at the end of your solution.

Multiple Operations — Impact:

This variation doesn't open up any unique strategies. Similar to wild, it can be useful if you're missing a necessary cube for your solution. Be mindful that with Multiple Operations, the - cube cannot be used multiple times to represent ii.

Factorial — Impact:

This variation opens the door to my favorite strategy. We're going to use the idea that any number nn factorial will always be a multiple 44 and 88 (given that n4n\ge4). Here's a quick explanation:

Take 51!51! for example. Using the definition of factorial, we can rewrite 51!51! as 51×50×49×  .  .  .×4×3×251\times50\times49\:\times\;.\;.\;.\times\:4\times3\times2. Since 4×2=84\times2 = 8, this means 88 (and 4) must be a factor of 51!51!, and that likewise, 51!51! must be a multiple of 44 and 88.

Now, let's set a goal where our index computes to a multiple of 44:

  • (62+2)i(62+2)\sqrt{i}

We're going to insert the factorial behind the 6262. Since 62!62! is a multiple of 88, this goal falls into the 8k+28k + 2 pattern, meaning that it reduces to i\sqrt{i}.

Heres a list of some possible goals you can set with this variation and their corresponding rule. You might find this list to be closely related to the remainder chart from an earlier section:

  • 8k+28k + 2: (n!+2)i(n!+2)\sqrt{i} or (n!6)i(n!-6)\sqrt{i}
  • 8k28k - 2: (n!+6)i(n!+6)\sqrt{i} or (n!2)i(n!-2)\sqrt{i}
  • 8k+48k + 4: (n!±4)1(n!\pm4)\sqrt{-1}
  • 4k+14k + 1: (n!+1)i(n!+1)\sqrt{i} or (n!3)i(n!-3)\sqrt{i}
  • 4k14k - 1: (n!1)i(n!-1)\sqrt{i} or (n!+3)i(n!+3)\sqrt{i}
  • 4k+24k + 2: (n!±2)1(n!\pm2)\sqrt{-1}

Number of Factors — Impact:

This variation doesn't open up any unique strategies.

Exponent — Impact:

This variation sets the stage for the most powerful strategy in this article. We're going to utilize the idea that in order to solve our roots, we reduce our index by multiples of 44 and 88 to find our remainder. Here's an example of the setup of our goal:

  • (775)i(77 - 5)\sqrt{i} (black exponent called, 7 cubes are block)

Again, we want the index of our goal to compute to a multiple of 4 by default. However, because black exponent is called, let's interpret the goal as (775)i(7^{7} - 5)\sqrt{i}. Now it's time to solve the expression. To restate the solving process above, we reduce the index by 44 and 88 to find the remainder. Well, here our index is an exponential expression, and the way we find the remainder of an exponential expression is... cycling.

To pull this off, we start by cycling the exponent (77)(7^{7}). Usually, you'll want to cycle with a multiple of 88 with this strategy. That being said, here's the cycle for 777^{7} mod 88:

  • 71=77^1 = 7
  • 72=497^2 = 49 mod 818 ≡ 1

Our cycle length is 22, so once we reduce our exponent, we get 7777^7 ≡ 7.

Now we can substitute everything back into our index. (775)i(7^{7} - 5)\sqrt{i} == (75)i(7 - 5)\sqrt{i} == i2\sqrt[2]{i}. We can effectively solve for i\sqrt{i}.

The reason we cycle with 88 first is because we're technically cycling by 44 at the same time (88 is a multiple of 44). Alternatively, if you can predict that your index will be an odd number, you might get your answer faster if you cycle with 44 instead. (This is because 4k±14k \pm 1 is always odd, whereas 8k±28k \pm 2 is always even).

As powerful as this strategy is, the only way to force our opponents to use it is to set our index as a multiple of 44. Otherwise, the general rule can be used to solve the goal instead. If we want to force this strategy for all indexes, one technique is to make our first cube be upside down:

  • (392)i(39-2)\sqrt{i} (upside down 33)

Because of the upside down 33, our opponent has to interpret the goal as ((3)92)i((-3)^{9}-2)\sqrt{i}. Let's solve this quickly. We'll cycle with a multiple of 88 for demonstration purposes (but because our index is odd here, cycling with a multiple of 44 would also yield the same answer). Cycling (3)9(-3)^{9} with a kk of 88:

  • (3)1=3(-3)^1 = -3
  • (3)2=9(-3)^2 = 9 mod 818 ≡ 1

Our cycle length is 22 again, so once we reduce our exponent, we get (3)93(-3)^9 ≡ -3.

Substituting everything back in again: ((3)92)i((-3)^{9} - 2)\sqrt{i} == (32)i(-3 - 2)\sqrt{i} == i5\sqrt[-5]{i} == i5\sqrt[5]{-i} (In that last step, remember our rule for negative indexes). Our index, 55, is a multiple of 4k+14k + 1, so our root reduces down to i-i.

Decimal — Impact:

*More development needed

Log — Impact:

This variation doesn't open up any unique strategies.

Practice

PROBLEM SET 1

i18\sqrt[18]{i} shares solutions with which of the following?

Choose 1 answer:

Our index, 1818, falls into the 8k+28k + 2 pattern (it's 22 more than 1616). Our rule for n=8k+2n = 8k + 2 is as follows:

  • in=i\sqrt[n]{i} = \sqrt{i}
  • in=i\sqrt[n]{-i} = \sqrt{-i}

The radicand under our root is ii, so our problem falls under the first equation: in=i\sqrt[n]{i} = \sqrt{i}

Therefore, i18\sqrt[18]{i} shares solutions with i\sqrt{i}.

PROBLEM SET 2

Given the goal below:

6
2
Goal

What are the possible solutions to this goal?

Note: The last cube is a sideways subtraction sign, which is used to denote ii.
Choose all answers that apply:

The goal above can be read as i62\sqrt[62]{i}.

Our index, 6262, falls into the 8k28k - 2 pattern (it's 22 less than 6464). Our rule for n=8k2n = 8k - 2 is as follows:

  • in=i\sqrt[n]{i} = \sqrt{-i}
  • in=i\sqrt[n]{-i} = \sqrt{i}

However, because ii, when used in the goal, is ambiguous as to whether it is right side up or upside down, we can interpret our goal as both i62\sqrt[62]{i} and i62\sqrt[62]{-i}.

Interpreting the goal as i62\sqrt[62]{i} gives us a solution of i\sqrt{-i}, whereas interpreting the goal as i62\sqrt[62]{-i} gives us a solution of i\sqrt{i}.

In conclusion, our correct answer choices are i\sqrt{i} and i\sqrt{-i}.