a bを有理数とし、a分のaの絶対値＋b分のbの絶対値＝0を設定し、式子aの絶対値を求める。a＋bの絶対値を分ける。b＋abの絶対値をabの絶対値に分ける。

丨a丨/a+丨b丨/b=0
だから丨a丨/a=-丨b/b，ab=-丨ab丨，ab/丨ab丨=-1
a/丨a丨=-b/丨b丨
a/丨a丨+b/丨b丨=0
だからa/丨a丨+b/丨b+ab/丨ab丨=-1