式子和等式的區(qū)別

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

恒等式

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

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

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

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

相關性質為：

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

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