式子和等式的區別

式子和等式的根本區別是等式有等號，式子可以沒有等號。算式是指在進行數或者代數式的計算時所列出的式子，等式表示相等關系的式子。2+3是算式，2+3=5是等式也是算式。算式：要通過四則運算計算結果。等式：表示等號兩邊運算結果相同。

恒等式

恒等式（identities），數學概念，恒等式是無論其變量如何取值，等式永遠成立的算式。恒等式成立的范圍是左右函數定義域的公共部分，兩個獨立的函數卻各自有定義域，與x在非負實數集內是恒等的，而在實數集內是不恒等的。

恒等式有多個變量的，也有一個變量的，若恒等式兩邊就一個變量，恒等式就是兩個解析式之間的一種關系。它來源于e^ix=cosx+isinx(復數的三角表示),令x=π就得e^πi+1=0。

“函數相等”與“恒等式”之間有什么關系，由“恒等式”能得出“函數相等”嗎？

數學上，恒等式是無論其變量在給定的取值范圍內取何值，等式永遠成立的算式。恒等式有多個變量的，也有一個變量的，若恒等式兩邊就一個變量，恒等式就是兩個解析式之間的一種關系。給定兩個解析式，如果對于它們的定義域（見函數）的公共部分（或公共部分的子集）的任一數或數組，都有相等的值，就稱這兩個解析式是恒等的。

相關性質為：

1.若y=f(x)與y=g(x)有相同的定義域，對于定義域內的任一個x均有f(x)=g(x)則y=f(x)與y=g(x)是相等函數，同時兩解析式必相同。

2.若y=f(x)與y=g(x)是相等函數，則兩個函數的解析式相同，于是其中的參數都能對應相等。