I have to prove that $x^2>y^2 \wedge x>0 \Rightarrow x>y$.
I decided to do this: $x^2>y^2 \Leftrightarrow \sqrt{x^2}>\sqrt{y^2}\Leftrightarrow |x|>|y| \Leftrightarrow x>|y| \vee x<-|y|$, where the third equivalence is obtained by definition of absolute value. So, $x^2>y^2 \wedge x>0 \Rightarrow x>|y|$ And $|y|\geq y$, so $x^2>y^2 \wedge x>0 \Rightarrow x>y$.
My question is if is there a more intuitive way of solving this.
Any help would be appreciated.
$$x^2\gt y^2\implies 1\gt\left({y\over x}\right)^2\implies1\gt{y\over x}$$
with no condition on $x$. But if $x\gt0$, then
$$1\gt{y\over x}\implies x\gt y$$