AreCongruent コマンド

AreCongruent( <オブジェクト>, <オブジェクト> )

オブジェクトが合同かどうかを判定する.

通常,このコマンドは結果を数値で計算する.この動作は Proveコマンドで変更できる.

AreCongruent(Circle((0, 0),1),x^2+y^2=1)AreCongruent(Circle((1, 1),1),x^2+y^2=1) の出力: true,2つの縁は同じ半径をもつから合同である.