>>150
二乗するのは絶対値を外すための工夫の一つ。
場合分けの数を少しでも減らそうと思ってるんだろうな……

別に左辺-右辺で証明できない訳じゃないんだから、どっちでもいいんでね？