Es gilt für alle \(x\neq 0\) die Ungleichung \(x^2>0\), insbesondere auch
für \(x=a^{-1}\).
Daher nutze ich luls Anregung \(aa^{-1}=1\):
\(a>0\Rightarrow a^{-1}=(aa^{-1})a^{-1}=a(a^{-1})^2>0\).
Für die umgekehrte Richtung nutze diese Aussage für
\(a^{-1}\) anstelle von \(a\) unter Verwendung von \(a=(a^{-1})^{-1}\).