35

The equation

$$2t^2 + t^3 = t^4$$

is satisfied by $t = 0$

But if you cancel a $t^2$ on both sides, making it $$2 + t = t^2$$ $t = 0$ is no longer a solution.

What gives? I thought nothing really changed, so the same solutions should apply.

Thanks

Deusovi
  • 2,792
  • 1
  • 20
  • 23
Dyldo42
  • 499
  • 4
  • 5

6 Answers6

94

When you cancel out $t$ on both sides you are assuming $t\neq0$.

To be rigorous you need to divide into two cases,

  1. $t\neq0$, then you can cancel out $t$.
  2. $t=0$, then you cannot cancel out $t$ as division by $0$ is not allowed.
Ejaz
  • 103
cr001
  • 12,598
70

I think the answer lies in the steps you ignored, that is, the "cancelling out" process:

"Cancelling out" with few extra intermediate steps usually ignored:

$$2t^2+t^3-t^4=0\implies t^2(2+t-t^2)=0$$

$$\implies t^2=0\text{ or }(2+t-t^2)=0$$.

Jesse P Francis
  • 1,469
  • 3
  • 27
  • 71
36

You must guard against division by zero. When you "cancel out $t^2$", you are dividing both sides of your equation by $t^2$. Consequently, the correct form of inference is

$$\begin{align*} 2t^2+t^3 &= t^4 & & \\ 2 + t &= t^2 \qquad \text{ or } \qquad t^2 = 0. \end{align*}$$

The resulting left choice has the solution set $\{-1,2\}$ and the resulting right choice has the solution set $\{0,0\}$, which together are the solution set of the first equation.

Note that the same thing happens in reverse. Multiplying both sides of an equation by zero can result in craziness. We can agree that $1 \neq 2$, but this does not mean $0 \cdot 1 \neq 0 \cdot 2$ because both sides of this are zero. It can be harder to see when one is doing this when using a more complicated expression that is only sometimes zero. For instance,

$$\begin{align*} 2 + t &= t^2 \\ t^2(2 + t) &= t^4 \qquad \text{ and } \qquad t^2 \neq 0 \\ 2t^2+t^3 &= t^4 \qquad \text{ and } \qquad t^2 \neq 0 \end{align*}$$

The left choice has solution set $\{-1,0,0,2\}$ and the right choice has solution set $\{0,0\}$. The (set) difference of these is $\{-1,2\}$, the solution set of the first equation.

None of this is hard to see when multiplying or dividing by constants. Either the constant is nonzero and everything works or the constant is zero and everyone can see that something bogus is going on. However, when we're not just using constants, a little more care is needed.

Eric Towers
  • 67,037
  • 1
    +1 for being the only answer to say that cancelling is really just division and it can be dangerous to apply it without understanding that. – wchargin Nov 08 '15 at 22:48
22

Write your equation as $$t^4 -t^3 - 2t^2 = 0,$$ factoring out $t$ to get $$t^2(t^2 - t - 2) = 0.$$ Factoring once more, we have $$t^2(t- 2)(t+1) = 0$$ so the roots are $-1,0,0,2$.

If you leave out the $t^2$ factor you lose the $0,0$ roots.

dafinguzman
  • 3,437
  • That's a different way of looking at it. Interesting – Cruncher Nov 06 '15 at 16:33
  • Yes, this is the way to do it. Put it in standard form first (move the whole polynomial to the left of the equal sign, with the highest-ordered term on the left, then the next-highest-ordered term, etc.), then factor it. – Mathieu K. Nov 08 '15 at 07:39
  • 2
    And so, basically, you didn't "cancel out" the t²; rather, you divided it from both sides: that is, you factored it out. Factoring out any root leaves an equation that doesn't have that root (as long as it's not a double root like your t = 0 is). For instance, if instead we had factored out (t + 1) to get (t + 1)(t³ - 2t) = 0 and then divided out the (t + 1), t = -1 is no longer a solution of t³ - 2t = 0—plug it in to see for yourself. – Mathieu K. Nov 08 '15 at 07:43
  • @Mathieu K - thanks. I got rid of the word "cancel" , factoring out is more insightful. –  Nov 08 '15 at 14:14
4

No such thing as cancelling actually exists. What you do in those moments is to divide both sides of an equation by the same value. This means, cancelling like this:

$2t^2 + t^3 = t^4$ to $2t + t^2 = t^3$

Is actually a shortcut for:

$2t^2 + t^3 = t^4$ to $(2t^2 + t^3)/t = t^4/t$ to $2t + t^2 = t^3$

And you can only do that by assuming $t \neq 0$, so you discard that solution by doing such operation. Perhaps $0$ would still be a valid solution if the exponents are $> 2$ in each term (so $0$ would still be a valid root for them) but you should never assume that.

gebruiker
  • 6,154
4

If $ t = 0 $, then dividing both sides by $ t^2 $ would mean dividing by zero.