（a+b+2）の絶対値は（2 ab-1）の四乗と反対数であり、（a+b）（a+b）/3 ab-3 a/（a+b）＋1を求める。

（a＋b＋2）の絶対値は0以上であり、（2 ab−1）の4乗も0以上である。2つの相反数はいずれも0に等しいので、a＋b＋2＝0、2 ab−1＝0からa＋b＝−2、ab＝0.5となり、代入すれば結果が得られる。