例
,
ステップ 1
との値を方程式に挿入し、順序対が解か求める。
ステップ 2
ステップ 2.1
各項を簡約します。
ステップ 2.1.1
を正数乗し、を得ます。
ステップ 2.1.2
を正数乗し、を得ます。
ステップ 2.1.3
にをかけます。
ステップ 2.2
数を加えて簡約します。
ステップ 2.2.1
とをたし算します。
ステップ 2.2.2
とをたし算します。
ステップ 3
なので、不等式は常に真になります。
常に真
ステップ 4
値を用いると方程式は常に真になるので、順序対は解です。
順序対は方程式の解です。