相加相乗平均の不等式を証明せよという問題で
(a+b)/2≧√ab
をどんどん同値変形していったら(a-b)^2≧0という当たり前の式が出てきたので
これをもって証明終了にしたんですがアウトですか？
結論式を使ってはいけない　などと習ったんですが、結論式を完全に同値変形させて
正しい式が出てきちゃったんで、もともとの証明すべき不等式も当然成り立っている
という結論にしてはだめなのすか