恒等式
右辺と左辺を等号で結んだ常に等しくなる式のこと。
両辺に対して同じ操作をすることで等号が維持される。
数学において多くの公式は恒等式で表現される。