# When do we get extraneous roots?

There are only two situations that I am aware of that give rise to extraneous roots, namely, the “square both sides” situation (in order to eliminate a square root symbol), and the “half absolute value expansion” situation (in order to eliminate taking absolute value). An example of the former is $\sqrt{x} = x – 2$, and an example of the latter is $|2x – 1| = 3x + 6$. In the former case, by squaring both sides we get roots of $1$ and $4$, and inspection reveals that $1$ is extraneous. (Of course, squaring both sides is a special case of raising both sides to an positive even power.) In the latter case we expand the equation into the two equations $2x – 1 = 3x + 6$ and $2x – 1 = -(3x + 6)$, getting roots of $-1$ and $-7$, and inspection reveals that $-7$ is extraneous. Now, my question is: Is there any other situation besides these two that gives rise to extraneous roots? -Perhaps something involving trigonometry?

I asked this question some time ago in MO, where I got ground in the dirt like a wet french fry (as Joe Bob would say). So, I’m transferring the question here to MSE. :)

-
Extraneous roots come up in log equations. – The Chaz 2.0 Aug 3 '11 at 22:46

5
Extraneous roots happen whenever you apply functions to both sides of an equation that aren't invertible. – Qiaochu Yuan Aug 3 '11 at 22:49

1
The two examples that you give can be considered as similar, since $|2x-1|=\sqrt{(2x-1)^2}$. – André Nicolas Aug 3 '11 at 22:55
@Andre: An excellent observation, thanks! – Mike Jones Aug 3 '11 at 23:25

## 2 Answers

Suppose you have two expressions $e_1$ and $e_2$ and you know $$e_1 = e_2.$$
Then, if you apply a function to both sides, you have $$f(e_1) = f(e_2).$$ However, this logic in general does not reverse, unless the function $f$ is 1-1. This is the mechanism by which extraneous roots get introduced.

When you square both sides of an equation, you are destroying information about the signs of the two sides. Now, the equality will match if the two sides have the same absolute value. This process can, and often does, introduce spurious roots.

-

@ncmahtsadist: OK, I'll go with that, upvoting, and accepting, your answer. Thanks! – Mike Jones Aug 3 '11 at 23:26

## Did you find this question interesting? Try our newsletter

email address

Extraneous solutions are often the result of omitting a constraint during the formulation or solution of a problem. For example, the correct rule for solving absolute value equations is

$$|x| = y \iff (y \ge 0) \text{ and } ((x = y) \text{ or } (x = -y)).$$

If we use this rule then extraneous solutions do not occur.

$$|2x - 1| = 3x + 6,$$ $$(3x + 6 \ge 0) \text{ and } (2x-1 = 3x+6 \text{ or } 2x-1 = -3x-6),$$ $$(x \ge -2) \text{ and } (x = -7 \text{ or } x = -1),$$ $$x = -1.$$

However, it is customary to omit the condition $y \ge 0$ and instead use the weaker rule $$|x| = y \implies ((x = y) \text{ or } (x = -y)).$$ This makes the writing simpler, but the price you pay is that you have to check for extraneous solutions at the end.

Extraneous solutions often arise from using a rule of the form $$x = y \implies f(x) = f(y).$$ Squaring both sides of an equation is an example of such a rule.

If $f$ is one-to-one, then the rule $$f(x) = f(y) \iff x = y$$ is valid, provided that $x$ and $y$ are both in the domain of $f$. Ignoring this condition can lead to extraneous solutions. The equation $\log(x-4) = \log(2x-6)$ provides an example.

Extraneous solutions can also result from ignoring physical constraints in applied problems (e.g. length and mass are positive quantities).

-

Excellent! I've up-voted your answer. – Mike Jones Aug 4 '11 at 20:30
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 20, "mathjax_display_tex": 10, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9419990181922913, "perplexity_flag": "head"}