Can you cancel out a term if equal to zero?
Solution 1:
As a teacher, I would prefer to enjoin my students to eradicate the word “cancel” from their vocabulary and the supposed process of cancellation from their technique. What we may do is multiply both sides of an equation by any number, knowing that the equality will be preserved. In the example, you are trying to multiply by $1/0$, not a number.
Solution 2:
Cancelling out $(x-y)$ is done by dividing through the equation by $(x-y)$ (on both sides), and since we cannot divide by $0$ (I'm assuming you know this), we cannot cancel $(x-y)$ when it is $0$.
I should add a small example. Consider the following equation, and we want to find the real solutions $x$: $$x^2=3x $$ Now it would be smart to cancel $x$ from each side, but by dividing through with $x$ assumes that $x\neq 0$, so we have to check that possibility separately. Assuming that $x\neq0$ the equation simplifies to \begin{align} \frac{x^2}{x} &=\frac{3x}{x}\\ x &= 3 \end{align} So one solution is $x=3$, but until now we have assumed that $x\neq 0$, so let us check the possibility that $x=0$: \begin{align} 0^2 &= 3\cdot 0\\ 0 &= 0 \end{align} which is true, so the solutions to this equation are $x=3$ and $x=0$.
Solution 3:
It sounds as if the 'proof' you were asked to work on was a variation of the following:
$$ \begin{align} a^2 - a^2 & = a^2 - a^2 \tag{1} \\ a \cdot (a-a) & = (a+a) \cdot (a-a) \tag{2} \\ a & = a+a \tag{3} \\ a & = 2a \tag{4} \\ 1 & \overset{?}{=} 2 \tag{5} \\ \end{align} $$
My grandfather, a maths teacher, told this as a joke. I remember confusing at least one of my maths teachers with it (yeah, I know).
The problem is that calling it 'cancelling' hides what's really going on. You're not cancelling anything, you're multiplying or dividing.
To arrive at $(3)$ from $(2)$, you're supposed to 'cancel' $(a-a)$. But it's not cancelling, it's dividing! And dividing by $(a-a)$ is dividing by $0$, which as we all know is not good. Had $(2)$ read $a\cdot0 = (a+a)\cdot0$, you wouldn't have dreamed of 'cancelling' the $0$.
Incidentally, the step from $(4)$ to $(5)$ isn't correct either, since you're disregarding the possibility that $a$ — which you're dividing by — could be $0$. But by then you're already so far down the rabbit hole you probably won't notice.
As an aside, another fun invalid "cancellation" $$\require{cancel} \frac{16}{64} = \frac{1\cancel{6}}{\cancel{6}4} = \frac{1}{4} $$
Solution 4:
"Canceling out" is a shortcut procedure that only works in certain circumstances.
If we have $ac = bc$, we can rearrange to get $(a-b)c = 0$. If we have a product of two numbers that is $0$, then one or the other (or both) must be $0$. Thus, if we know $c \neq 0$, then we must have $a-b = 0$ or $a = b$.
That process is simplified as "canceling out", and it relies on knowing that $c \neq 0$. That is why you cannot cancel out a term that is (or might be) $0$.
Intuitively, we know that $a\times 0 = 0 = b \times 0$ regardless of the values of $a$ and $b$, so it would be inappropriate to conclude that $a\times 0 = b \times 0$ implies $a = b$.
Solution 5:
When we divide an equation of the form $ac = bc$ by $c$, we are multiplying by the multiplicative inverse of $c$.
\begin{align*} ac & = bc\\ acc^{-1} & = bcc^{-1}\\ a & = b \end{align*}
A real number $c$ has a multiplicative inverse if there exists a real number $d$ such that $cd = dc = 1$. No such number exists if $c = 0$ since $0 \cdot x = 0 \neq 1$ for each real number $x$.
Hence, in your example, we cannot multiply both sides of the equation
$$x(x - y) = (x + y)(x - y)$$
by $(x - y)^{-1}$ since $x - y = 0$ and $0$ does not have a multiplicative inverse.