数学的な不等式の証明：Sympyを使ったPythonコード

SympyはPythonで数学的な計算を行うためのライブラリです。数学的な不等式の証明を行うために、Sympyを使用することができます。

Sympyを使用するには、まず、次のようにインポートします。

import sympy

次に、不等式を証明するために必要な変数を定義します。

x, y = sympy.symbols('x y')

次に、証明したい不等式を定義します。今回は、x + y <= 2という不等式を証明します。

ineq = sympy.Eq(x + y, 2)

次に、不等式を証明するために、Sympyのsolve関数を使用します。この関数は、与えられた不等式を解くために、変数を代入して解を求めます。

solution = sympy.solve(ineq, [x, y])

最後に、解を表示します。

print(solution)

実行すると、次のように表示されます。

{x: 2 - y}

この結果から、x + y <= 2という不等式が証明されました。