Algebraic simplification [closed]

Given, $$\sqrt{\frac{x}{y}} + \sqrt{\frac{y}{x}}\;\; where \;\; x,y \gt 0 \;\; and \;\; x,y \in \Re \;\; (Expression \;\;1)$$

Somehow, I found that $$\sqrt{\frac{(x+y)^2}{x\cdot y}} \;\; (Expression\;\;2)$$ expression 2 is equavialent to expression 1.

My question is, is there a procedure to turn expression 1 into expression 2.

Any help is appreciated.

closed as off-topic by Bob Hanlon, MarcoB, Öskå, Alex Trounev, J. M. will be back soon♦Aug 6 at 2:48

This question appears to be off-topic. The users who voted to close gave this specific reason:

• "This question arises due to a simple mistake such as a trivial syntax error, incorrect capitalization, spelling mistake, or other typographical error and is unlikely to help any future visitors, or else it is easily found in the documentation." – Bob Hanlon, MarcoB, Öskå, Alex Trounev, J. M. will be back soon
If this question can be reworded to fit the rules in the help center, please edit the question.

This?

FullSimplify[Sqrt[x/y]+Sqrt[y/x],x>0&&y>0]

instantly returns

(x + y)/Sqrt[x*y]

which is equivalent to your expression 2 for positive x,y.

But sometimes it is very difficult or nearly impossible to coax Mathematica into turning some expression into your desired form, there sometimes doesn't seem to be a way to express what you desire in a form that it can understand or you are trying to push it in a direction that Mathematica doesn't want to go.

Simplify[#, {x > 0, y > 0}] &  /@ Sqrt[expr^2]

returns the expression in the form you are looking for.

Just for the sake of sport I am adding one additional approach

Simplify[Sqrt[x/y] + Sqrt[y/x], {x > 0, y > 0},
ComplexityFunction -> (Count[{#1}, Rational[1, 2], Infinity] &)]

(*  (x + y)/Sqrt[x y]  *)

Have fun!

The question did not explicitly ask how to do this in Mathematica, but rather for a "procedure" to establish equality of the two expressions.

Here's how: multiply the original sum $$\displaystyle\sqrt{\frac{x}{y}} +\sqrt{\frac{y}{x}}$$ by 1, with today 1 being the quotient $$\displaystyle\frac{\sqrt{x y}}{\sqrt{x y}}$$. Now distribute the numerator of that quotient over the sum ad simplify.