回答

同じベクトル表記だから違和感持つのかな?
証明されたのは一般式で、新たに証明しようとしているのも一般式。
元のa→、b→と後のa→、b→は別物と考えないとダメです。
無理なら、証明できた式を、|x→+y→|≦|x→|+|y→|として、x→をa→+b→、y→を-b→と置き換えるのに問題ないなら、x→、y→への置き換えを省略していると思えば?

この回答にコメントする
疑問は解決しましたか?