What are some obscure radical identities?

Question

So there are several trigonometric identities, some very well know, such as $\cos(x) = 1 - 2\sin^2(\frac{x}{2})$ and some more obscure like $\tan(\frac{\theta}{2} + \frac{\pi}{4}) = \sec(\theta)+\tan(\theta)$.

You can also find some logarithmic identities online

But looking for radical identities (stuff involving square roots), if I google I'm lead to politics and ethnicity (???)... I want to find some cool identities involving square roots that are always true for any $x>0$. I am aware they exist, I've seen some, but I don't remember them...

What are some cool obscure identities involving square roots?

Answer 1

Not so obscure, but: [with thanks to user Will for spotting typos]

$\sqrt{xy}=\sqrt x\sqrt y$

$ax^2+bx+c=a\left(x-{-b+\sqrt{b^2-4ac}\over2a}\right)\left(x-{-b-\sqrt{b^2-4ac}\over2a}\right)$

$a^4+b^4=(a^2-\sqrt2ab+b^2)(a^2+\sqrt2ab+b^2)$

$a^5-b^5=(a-b)\left(a^2+{1-\sqrt5\over2}ab+b^2\right)\left(a^2+{1+\sqrt5\over2}ab+b^2\right)$

Here are some more, from G. Chrystal, Textbook of Algebra:

$\sqrt{{x+y\over x-y}}+\sqrt{{x-y\over x+y}}={2x\over\sqrt{x^2-y^2}}$

$\sqrt{{a+\sqrt{a^2-b}\over2}}+\sqrt{{a-\sqrt{a^2-b}\over2}}=\sqrt{a+\sqrt b}$

$\left({1+\sqrt{1-x}\over1-\sqrt{1-x}}\right)^{1/2}+\left({1-\sqrt{1-x}\over1+\sqrt{1-x}}\right)^{3/2}={2(2-x)\over x^2}(\sqrt x-\sqrt{x-x^2})$

$\bigl(\sqrt{p^2+1}+\sqrt{p^2-1}\bigr)^{-3}+\bigl(\sqrt{p^2+1}-\sqrt{p^2-1}\bigr)^{-3}=(p^2-(1/2))\sqrt{p^2+1}$

$\sqrt{\sqrt{a^2+\root3\of{a^4b^2}}+\sqrt{b^2+\root3\of{a^2b^4}}}=(a^{2/3}+b^{2/3})^{3/4}$

Answer 2

$$\sqrt{1+\sqrt{N}} + \sqrt{N+N\sqrt{N}} - \sqrt{3N+1+(N+3)\sqrt{N}} \ = 0$$

---

$$\sqrt{ (\sin{\theta}+\csc{\theta})^2 + (\cos{\theta}+\sec{\theta})^2 - (\tan{\theta}-\cot{\theta})^2 } \ = 3$$

Background of the above trigonometric identity:

In the 1896 (but not 1893) version of S. L. Loney’s classic book Plane Trigonometry, I found the following amazing question on page 25:

Prove the following statement.

$$ (\sin \alpha + \csc \alpha)^2 + (\cos \alpha + \sec \alpha)^2 = \tan^2 \alpha + \cot^2 \alpha + 7 $$

I was so amazed by the $7$. Having such a ‘large’ number in a trigonometric identity is rare.

I managed to make a cool variant of the question with an even larger number:

Simplify:

$ (\sin{\theta}+\csc{\theta})^2 + (\cos{\theta}+\sec{\theta})^2 - (\tan{\theta}-\cot{\theta})^2 $

Answer: $9$

Answer 3

Half-angle formulas $$ \sin \frac{\theta}{2} = \pm \sqrt{\frac{1-\cos\theta}{2}} \\ \cos \frac{\theta}{2} = \pm \sqrt{\frac{1+\cos\theta}{2}} \\ \tan \frac{\theta}{2} = \pm \sqrt{ \frac{1-\cos\theta}{1+\cos\theta}} $$

Answer 4

Let $x$ be any real number greater than $1$ so that both of the following iterated square roots converge:

$a=\sqrt{x+\sqrt{x+\sqrt{x+...}}}$

$b=\sqrt{x-\sqrt{x-\sqrt{x-...}}}$

Then

$a^2-b^2=(x+a)-(x-b)=a+b$

and therefore

$a-b=\sqrt{x+\sqrt{x+\sqrt{x+...}}}-\sqrt{x-\sqrt{x-\sqrt{x-...}}}=1.$

Answer 5

Just a sample,

$$\sqrt[3]{\frac1{9}}+\sqrt[3]{-\frac2{9}}+\sqrt[3]{\frac4{9}}=\left(4\sqrt[3]{\frac2{3}}-5\sqrt[3]{\frac1{3}}\right)^{1/8}$$

$$\sqrt[5]{\frac1{25}}+\sqrt[5]{\frac3{25}}+\sqrt[5]{-\frac9{25}}=\left(\sqrt[5]{\frac{32}{5}}-\sqrt[5]{\frac{27}{5}}\right)^{1/3}$$

$$\sqrt[5]{-\frac1{125}}+\sqrt[5]{\frac2{125}}+\sqrt[5]{\frac8{125}}+\sqrt[5]{\frac{16}{125}}=\left(\sqrt[5]{\frac1{5}}+\sqrt[5]{\frac4{5}}\right)^{1/2}$$

and a lot more by Ramanujan. These are just special cases of more general identities.

When it comes to unusual radicals, there was none more prolific than him. Just google "Ramanujan and radicals", and it should keep you busy for a while. Try:

"Ramanujan's Association with Radicals in India" (by Berndt, et al)

"Radicals and units in Ramanujan's work" (by Berndt, et al)

Answer 6

1. Golden ratio: $\phi = \frac{1+\sqrt{5}}{2}$ look at the sequences A001622 , A139339

$$ \sqrt{1 + 2 I} = \sqrt{\phi}+ \frac{I}{\sqrt{\phi}}$$

2. Seven $\pi$: $$ 7\pi = {2^{2^2} \tan ^{-1}\left(1+\sqrt{2}+\sqrt{2 \left(2+\sqrt{2}\right)}\right)}$$

3. Cotangent Radicals:

$$\cot \frac{\pi}{2^{2^{2^2}}} = $$

$$ \sqrt{\frac{2+\sqrt{2+\sqrt{2+\sqrt{2+\sqrt{2+\sqrt{2+\sqrt{2+\sqrt{2+\sqrt{2+\sqrt{2+\sqrt{2+\sqrt{2+\sqrt{2+\sqrt{2+\sqrt{2}}}}}}}}}}}}}}}{2-\sqrt{2+\sqrt{2+\sqrt{2+\sqrt{2+\sqrt{2+\sqrt{2+\sqrt{2+\sqrt{2+\sqrt{2+\sqrt{2+\sqrt{2+\sqrt{2+\sqrt{2+\sqrt{2}}}}}}}}}}}}}}}} $$