例
,
ステップ 1
ステップ 1.1
各方程式にの係数が反対になるような値を掛けます。
ステップ 1.2
簡約します。
ステップ 1.2.1
左辺を簡約します。
ステップ 1.2.1.1
を簡約します。
ステップ 1.2.1.1.1
分配則を当てはめます。
ステップ 1.2.1.1.2
をに書き換えます。
ステップ 1.2.1.1.3
を掛けます。
ステップ 1.2.1.1.3.1
にをかけます。
ステップ 1.2.1.1.3.2
にをかけます。
ステップ 1.2.2
右辺を簡約します。
ステップ 1.2.2.1
にをかけます。
ステップ 1.3
2つの方程式を加え、を方程式から消去します。
ステップ 1.4
なので、解はありません。
解がありません
解がありません
ステップ 2
式が解をもたないので、方程式とグラフは平行で交わることはありません。ゆえに、この式は矛盾です。
矛盾
ステップ 3