I was solving a question from my book.
If $\alpha$, $\beta$ are the roots of $pt^2+qt+q=0$, $p \neq 0$ and $q \neq 0$ then show that, $\sqrt{\frac{q}{p}}+\sqrt{\frac{\alpha}{\beta}}+\sqrt{\frac{\beta}{\alpha}}=0$.
For simplification one would multiply the second term and third term at the left with $\frac{\sqrt{\beta}}{\sqrt{\beta}}$ and $\frac{\sqrt{\alpha}}{\sqrt{\alpha}}$ respectively and then simply apply the law,
$$\sqrt{a}\sqrt{b}=\sqrt{ab}$$
without caring that this law not always holds. I want to know that what should we do before applying this property so that we can surely say $\sqrt{\alpha}\sqrt{\beta}=\sqrt{\alpha\beta}$. I mean what exclusions or suppositions should we make before applying this property.
My explanation to this problem.
I think when we used the property $\sqrt{a}\sqrt{b}=\sqrt{ab}$, we had in other words said that $\alpha$, $\beta$ are two numbers or roots such that they satisfy the applied property necessarily and this excludes the values from the domains of $\alpha$ and $\beta$ which do not satisfy the property. Therefore, we do not need to show any suppositions or exclusions directly that is; "applying that property" on two unknowns itself excludes those values from the domains of these unknowns which do not satisfy the property.
The thing which motivates me to make such explanation.
We often encounter this situation while solving the equations and apply this property without caring the condition.
For example, while solving the following equation.
$\sqrt{y^2+3y+2}+\sqrt{y^2+3y+8}-3=0$. We can put $y^2+3y=x$ and then taking the square of both side would lead us to $2x + 1=-2\sqrt{(x+2)(x+8)}$ and then again taking square and simplifying would lead us to solution set which would have all the values for $y$ such that they satisfy the given equation along with the property, we applied earlier, $\sqrt{y^2+3y+2}\sqrt{y^2+3y+8}=\sqrt{(y^2+3y+2)(y^2+3y+8)}$.
This case motivated me to think that when we applied the property $\sqrt{a}\sqrt{b}=\sqrt{ab}$, every value in domain of $y$ which could not make to satisfy this property would have been automatically removed from the domain of $y$. However I don't know I am right to say it or not.
Problem in my explanation about the proof my book asks for.
If I accept for a moment the statement given earlier that "applying that property on two unknowns itself excludes those values from the domains of these unknowns which do not satisfy the property", one may claim that maybe if we exclude such values from domains of roots of a particular type of equation ($pt^2+qt+q$, in this case) then maybe roots of such TYPE or SOME REAL EQUATIONS ANALOGOUS TO SUCH TYPE do not exist.
It is fine to use $\sqrt a \sqrt b = \sqrt {ab}$ as long as $a$ and $b$ are positive reals. If $a,b \lt 0$ the result does not hold true. The result might also not hold true if $a$ and $b$ are complex.
A very simple example:
Let $a = -4$ and $b = -9$
So, $$\begin{align} \sqrt a \sqrt b &=\sqrt{-4} \sqrt{-9} \\ & = 2i \times 3i \\ & = -6 \end{align}$$
Also, $$\begin{align} \sqrt {ab} &= \sqrt{-4 \times -9} \\ &= \sqrt {36} \\ &= 6 \end{align}$$
See, here the equation $\sqrt a \sqrt b = \sqrt {ab}$ does not hold true, as we get different answers.
In case of positive reals, the equation holds true. If you delve into complex numbers or negative reals, you run into trouble.
So, if you can prove that the two numbers $a, b \in \mathbb{R}$ are not both negative, you can use the equation without any trouble. But, if you can't, then be aware that you might get a wrong answer. Plus, complex numbers are a whole different ball game. Don't use this equation an any case involving complexes, or the chances of error become very high.