方程式で検索したら
未知数を含む等式
みたいな記述がありました
それならば恒等式も方程式ってことになりませんか？