恒等式

恒等式は等式に含まれている文字に任意の文字を代入しても，その等式の両辺の値が存在する限りつねになりたつ等式のこと。
性質は２つある

⇒詳しくはPCサイト参照