Intereting Posts

Sheaf of germs of regular functions on an affine variety
Is every Compact $n$-Manifold a Compactification of $\mathbb{R}^n$?
Difference between dimension and rank of matrix
Finding generators for products of ideals
Show that a process is no semimartingale
Is $AA^T$ a positive-definite symmetric matrix?
Ring of order $p^2$ is commutative.
If $|\lbrace g \in G: \pi (g)=g^{-1} \rbrace|>\frac{3|G|}{4}$, then $G$ is an abelian group.
Non-integrable systems
How many positive integers $ n$ with $1 \le n \le 2500$ are prime relative to $3$ and $5$?
existence of a special function
A monotonically increasing series for $\pi^6-961$ to prove $\pi^3>31$
arbitrary large finite sums of an uncountable set.
Does “This is a lie” prove the insufficiency of binary logic?
How *should* we have known to invent homological algebra?

I needed to solve the following equation:

$$\tan\theta + \tan 2\theta+\tan 3\theta=\tan\theta\tan2\theta\tan3\theta$$

Now, the steps that I followed were as follows.

Transform the LHS first:

$$\begin{split}

\tan\theta + \tan 2\theta+\tan 3\theta

&= (\tan\theta + \tan 2\theta)

+ \dfrac{\tan\theta + \tan 2\theta}

{1-\tan\theta\tan2\theta} \\

&= \dfrac{(\tan\theta + \tan 2\theta)(2-\tan\theta\tan2\theta)}

{1-\tan\theta\tan2\theta}

\end{split}$$

- Two circles overlap?
- Infinite sum and the conditions with tanh
- In $ \triangle ABC$ show that $ 1 \lt \cos A + \cos B + \cos C \le \frac 32$
- Proving that $\sec\frac{\pi}{11}\sec\frac{2\pi}{11}\sec\frac{3\pi}{11}\sec\frac{4\pi}{11}\sec\frac{5\pi}{11}=32$
- Eccentricity of an ellipse
- Find the minimum value of $|\sin x+\cos x+\tan x+\cot x+\sec x+\csc x|$ for real numbers $x$

And, RHS yields

$$\begin{split}

\tan\theta\tan2\theta\tan3\theta

&= (\tan\theta\tan2\theta)\dfrac{\tan\theta + \tan 2\theta}

{1-\tan\theta\tan2\theta}

\end{split}$$

Now, two terms can be cancelled out from LHS and RHS, yielding the equation:

$$

\begin{split}

2-\tan\theta\tan2\theta &= \tan\theta\tan2\theta\\

\tan\theta\tan2\theta &= 1,

\end{split}$$

which can be further reduced as:

$$\tan^2\theta=\frac{1}{3}\implies\tan\theta=\pm\frac{1}{\sqrt3}$$

Now, we can yield the general solution of this equation:

$\theta=n\pi\pm\dfrac{\pi}{6},n\in Z$. But, setting $\theta=\dfrac{\pi}{6}$ in the original equation is giving one term $\tan\dfrac{\pi}{2}$, which is not defined.

What is the problem in this computation?

- Solving $\cos x+\sin x-1=0$
- What is the deepest / most interesting known connection between Trigonometry and Statistics?
- What is $\int x\tan(x)dx$?
- Calculate the intersection points of two ellipses
- If $A+B+C+D+E = 540^\circ$ what is $\min (\cos A+\cos B+\cos C+\cos D+\cos E)$?
- Calculating equidistant points around an ellipse arc
- Engineering Mathematics
- $\cos(\arcsin(x)) = \sqrt{1 - x^2}$. How?
- Drawing sine and cosine waves
- We have angle=arctan(dy/dx), but what happens when dx=0?

When you cancel out the terms from LHS and RHS, you drop the solutions when these terms are 0 or do not exist (because the denominator is 0). A trivial example would the $\theta=0$, which certainly is a solution, but you did not find it because of the canceled terms.

You concluded from

$$\dfrac{(\tan\theta + \tan 2\theta)(2-\tan\theta\tan2\theta)}{1-\tan\theta\tan2\theta}=(\tan\theta\tan2\theta)\dfrac{\tan\theta + \tan 2\theta}{1-\tan\theta\tan2\theta}$$

(by “canceling” $\dfrac{\tan\theta + \tan 2\theta}{1-\tan\theta\tan2\theta}$ from both sides) that

$$2-\tan\theta\tan2\theta=\tan\theta\tan2\theta.$$

The correct conclusion is that *either* $\dfrac{\tan\theta + \tan 2\theta}{1-\tan\theta\tan2\theta}=0$ *or* $2-\tan\theta\tan2\theta=\tan\theta\tan2\theta$. And you still have to check your solutions and keep only those for which the original equation is defined.

Canceling terms doesn’t give you an equivalent equation (one with the same solution set). If you cancel zero, you can lose solutions. If you cancel something undefined, you can introduce wrong solutions.

For example, consider the equation $$\frac{x}{1-x}=\frac{1}{1-x}.$$ If you “cancel” $1-x$ from each side, you get $x=1$, but that is not a solution, because the equation is not defined when $x=1$. And consider the equation

$${x}({1-x})=2({1-x}).$$ If you “cancel” $1-x$, the only solution to what’s left is $x=2$, and you lose the other solution ($x=1$) to the equation, because for that value, you canceled zero from each side.

To summarize, if $E\cdot A=E\cdot B$, where $E$, $A$, and $B$ are expressions, solutions occur when both

- $E\cdot A$ and $E\cdot B$ are defined
*Either*$E=0$ or $A=B$ (or both).

Set, provisionally, $x=\tan\theta$ and $y=\tan2\theta$. Then the equation becomes

$$

x+y+\frac{x+y}{1-xy}=xy\frac{x+y}{1-xy}

$$

Note that the expression only makes sense for $1-xy\ne0$.

After removing the denominator, we get

$$

(x+y)(2-xy)=xy(x+y)

$$

so this becomes

$$

2(x+y)(1-xy)=0

$$

Since $1-xy\ne0$, we remain with $x+y=0$. So $\tan\theta=-\tan2\theta$ and therefore

$$

\tan\theta=\tan(\pi-2\theta)

$$

Hence

$$

\theta=\pi-2\theta+k\pi

$$

that gives

$$

\theta=\frac{\pi}{3}+k\frac{\pi}{3}

$$

and this can be simplified into $\theta=k\pi/3$.

Clearly, $\tan\theta\tan2\theta\tan3\theta$ is undefined if $\theta\equiv\dfrac\pi2,\dfrac\pi4,\dfrac\pi6\pmod\pi$

Otherwise,

$$\tan3\theta=-\dfrac{\tan\theta+\tan2\theta}{1-\tan\theta\tan2\theta}=-\tan(\theta+2\theta)=\tan(-3\theta)$$

$$\implies3\theta=n\pi-3\theta\iff\theta=\dfrac{n\pi}6$$ where $n$ is any integer

But $3\nmid n$ else $\tan\theta\tan2\theta\tan3\theta$ will be undefined

- If $a^3 b = ba^3$ and if $ a $ has order 7, show that $ab = ba$
- Evaluation of $\sum_{x=0}^\infty e^{-x^2}$
- Number of die rolls needed for average to converge to roll expectancy?
- Can $\mathrm{PGL}_2$ be viewed as an affine algebraic group?
- Integrate product of Dirac delta and discontinuous function?
- Finding the shortest distance between two Parabolas
- The singular homology and cohomology of a topological space with coefficients in a zero characteristic field.
- Free product of groups as coproduct
- Generalized Logarithmic Integral – reference request
- How is a singular continuous measure defined?
- Hockey-Stick Theorem for Multinomial Coefficients
- Tensor product definition in Wikipedia
- The multiplication formula for the Hurwitz zeta function
- Generating series using partitions
- What is a constructive proof of $\lnot\lnot(P\vee\lnot P)$?