|a+b|<|a|+|b|…*をもちいて、
|a|-|b|<|a+b|を証明せよ、という問題で
*にa=a+b、b=-bを代入するとあり
そこからの式変形はわかったのですが
この、a=a+b、b=-bという置き方は、どう思いつけるのでしょうか？
直感がさえてないと初見でこのたぐいの問題を解くのは難しいですか？