Artikel ini bukan mengenai Elemen identitas, Fungsi identitas, atau Matriks identitas.
Bukti visual identitas Pythagoras: untuk setiap sudut {\displaystyle \theta }, Inti {\displaystyle (x,y)=(\cos \theta ,\sin \theta )} terletak pada lingkaran satuan, yang memenuhi persamaan {\displaystyle x^{2}+y^{2}=1}. Jadi, {\displaystyle \cos ^{2}\theta +\sin ^{2}\theta =1}.
Dalam matematika, **identitas** adalah  persamaan yang menghubungkan satu ekspresi matematika  *A*  ke ekspresi matematika lainnya  *B* , sedemikian rupa sehingga  *A*  dan  *B*  (yang mungkin berisi beberapa  variabel) menghasilkan nilai yang sama untuk semua nilai variabel dalam rentang validitas tertentu. Dengan kata lain,  *A*  =  *B*  adalah identitas jika  *A*  dan  *B*  sama dengan  fungsi, dan identitas adalah persamaan antara fungsi yang didefinisikan secara berbeda. Misalnya, {\displaystyle (a+b)^{2}=a^{2}+2ab+b^{2}} dan {\displaystyle \cos ^{2}\theta +\sin ^{2}\theta =1} adalah identitas. Identitas terkadang ditunjukkan dengan simbol batang tiga  ≡ daripada =, tanda sama dengan.

Identitas umum
--------------

### Identitas aljabar

Lihat pula: Faktorisasi § Pola yang dapat dikenali
Identitas tertentu, khususnya {\displaystyle a+0=a} dan {\displaystyle a+(-a)=0}, membentuk dasar aljabar, sedangkan identitas lainnya, misalnya {\displaystyle (a+b)^{2}=a^{2}+2ab+b^{2}} dan {\displaystyle (a+b)(a-b)=a^{2}-b^{2}}, dapat berguna dalam menyederhanakan ekspresi aljabar dan mengembangkannya.

### Identitas trigonometri

Artikel utama: Daftar identitas trigonometri
Secara geometris, identitas trigonometri adalah identitas yang melibatkan fungsi tertentu dari satu atau lebih sudut. Identitas tersebut berbeda dari  identitas segitiga, yang merupakan identitas yang melibatkan sudut dan panjang sisi sebuah segitiga. Hanya yang pertama dibahas dalam artikel ini.

Identitas ini berguna setiap kali ekspresi yang melibatkan fungsi trigonometri perlu disederhanakan. Aplikasi penting lainnya adalah  integrasi dari fungsi non-trigonometri: teknik umum yang melibatkan penggunaan  aturan substitusi dengan fungsi trigonometri, dan kemudian menyederhanakan integral yang dihasilkan dengan identitas trigonometri.

Salah satu contoh paling menonjol dari identitas trigonometri melibatkan persamaan {\displaystyle \sin ^{2}\theta +\cos ^{2}\theta =1,} yang benar untuk semua nilai  kompleks dari {\displaystyle \theta } (karena bilangan kompleks {\displaystyle \mathbb {C} } membentuk domain sinus dan kosinus). Di sisi lain, persamaannya

{\displaystyle \cos \theta =1}
hanya berlaku untuk nilai tertentu {\displaystyle \theta }, tidak semua (atau untuk semua nilai dalam  lingkungan). Misalnya, persamaan ini benar jika {\displaystyle \theta =0,} tapi salah saat {\displaystyle \theta =2}.

Kelompok lain dari identitas trigonometri menyangkut apa yang disebut rumus penjumlahan/pengurangan (misalnya identitas sudut ganda {\displaystyle \sin(2\theta )=2\sin \theta \cos \theta }, rumus penjumlahan untuk {\displaystyle \tan(x+y)}), yang dapat digunakan untuk memecah ekspresi sudut yang lebih besar menjadi ekspresi dengan konstituen yang lebih kecil.

### Identitas eksponensial

Artikel utama: Eksponensial
Identitas berikut berlaku untuk semua eksponen bilangan bulat, asalkan basisnya bukan nol:

{\displaystyle {\begin{aligned}b^{m+n}&=b^{m}\cdot b^{n}\\(b^{m})^{n}&=b^{m\cdot n}\\(b\cdot c)^{n}&=b^{n}\cdot c^{n}\end{aligned}}}
Tidak seperti penjumlahan dan perkalian, eksponen tidak komutatif. Sebagai contoh, 2 + 3 = 3 + 2 = 5 dan 2 · 3 = 3 · 2 = 6, melainkan 23 = 8, sedangkan 32 = 9.

Dan tidak seperti penjumlahan dan perkalian, eksponen juga tidak asosiatif. Sebagai contoh, (2 + 3) + 4 = 2 + (3 + 4) = 9 dan (2 · 3) · 4 = 2 · (3 · 4) = 24, melainkan 23 ke 4 adalah 84 (atau 4.096), sedangkan 2 banding 34 adalah 281 (atau 2,417,851,639,229,258,349,412,352). Tanpa tanda kurung untuk mengubah urutan kalkulasi, menurut konvensi urutannya top-down, bukan bottom-up:

{\displaystyle b^{p^{q}}=b^{(p^{q})}\neq (b^{p})^{q}=b^{(p\cdot q)}=b^{p\cdot q}.}
### Identitas logaritmik

Artikel utama: Identitas logaritmik
Beberapa rumus penting, terkadang disebut  *identitas logaritmik*  atau  *hukum log* , menghubungkan logaritma satu sama lain.

#### Produk, hasil bagi, deret dan akar

Logaritma dari suatu perkalian adalah jumlah dari logaritma dari angka-angka yang dikalikan; logaritma rasio dua bilangan adalah selisih logaritma. Logaritma dari *p* kekuatan angka adalah  *p*  kali logaritma dari angka itu sendiri; logaritma dari a-*p* root adalah logaritma bilangan dibagi dengan  *p*. Tabel berikut mencantumkan identitas ini dengan contoh. Setiap identitas dapat diturunkan setelah substitusi definisi logaritma 
x = blogb(x), and/or 
y = blogb(y), di sisi kiri.


|  | Formula | Contoh |
| --- | --- | --- |
| produk | {\displaystyle \log \_{b}(xy)=\log \_{b}(x)+\log \_{b}(y)} | {\displaystyle \log \_{3}(243)=\log \_{3}(9\cdot 27)=\log \_{3}(9)+\log \_{3}(27)=2+3=5} |
| hasil bagi | {\displaystyle \log \_{b}\!\left({\frac {x}{y}}\right)=\log \_{b}(x)-\log \_{b}(y)} | {\displaystyle \log \_{2}(16)=\log \_{2}\!\left({\frac {64}{4}}\right)=\log \_{2}(64)-\log \_{2}(4)=6-2=4} |
| pangkat | {\displaystyle \log \_{b}(x^{p})=p\log \_{b}(x)} | {\displaystyle \log \_{2}(64)=\log \_{2}(2^{6})=6\log \_{2}(2)=6} |
| akar | {\displaystyle \log \_{b}{\sqrt[{p}]{x}}={\frac {\log \_{b}(x)}{p}}} | {\displaystyle \log \_{10}{\sqrt {1000}}={\frac {1}{2}}\log \_{10}1000={\frac {3}{2}}=1.5} |

#### Perubahan basis

Logaritma log*b*(*x*) dapat dihitung dari logaritma  *x*  dan  *b*  sehubungan dengan basis sembarang  *k*  menggunakan rumus berikut:

{\displaystyle \log \_{b}(x)={\frac {\log \_{k}(x)}{\log \_{k}(b)}}.}
Biasanya kalkulator ilmiah menghitung logaritma ke basis 10 dan  *e*. Logaritma yang terkait dengan basis  *b*  apa pun dapat ditentukan menggunakan salah satu dari dua logaritma ini dengan rumus sebelumnya:

{\displaystyle \log \_{b}(x)={\frac {\log \_{10}(x)}{\log \_{10}(b)}}={\frac {\log \_{e}(x)}{\log \_{e}(b)}}.}
Diberikan angka  *x*  dan logaritma log*b*(*x*) ke basis yang tidak diketahui  *b* , basis diberikan oleh:

{\displaystyle b=x^{\frac {1}{\log \_{b}(x)}}.}
### Identitas fungsi hiperbolik

Artikel utama: Fungsi hiperbolik
Fungsi hiperbolik memenuhi banyak identitas, semuanya mirip bentuknya dengan identitas trigonometri. Faktanya, **Kaidah Osborn** menyatakan bahwa seseorang dapat mengubah identitas trigonometri apa pun menjadi identitas hiperbolik dengan mengembangkannya sepenuhnya dalam hal kekuatan integral sinus dan cosinus, mengubah sinus menjadi sinh dan cosinus menjadi cosh, dan mengganti tanda setiap suku yang berisi hasil kali 2, 6, 10, 14, ... sinh.

Fungsi Gudermannian memberikan hubungan langsung antara fungsi melingkar dan fungsi hiperbolik yang tidak melibatkan bilangan kompleks.

Logika dan aljabar universal
----------------------------

Dalam logika matematika dan dalam aljabar universal, identitas didefinisikan sebagai  rumus dari bentuk "∀*x*1,...*x**n*. *s* = *t*", di mana  *s*  dan  *t*  adalah  istilah tanpa variabel bebas selain *x*1,...*x**n*.
The quantifier prefix ("∀*x*1,...*x**n*.") sering dibiarkan implisit, khususnya dalam aljabar universal.
Misalnya, aksioma dari monoid sering diberikan sebagai identitas  himpunan

{   ∀*x*,*y*,*z*. *x*\*(*y*\**z*)=(*x*\**y*)\**z*   ,   ∀*x*. *x*\*1=*x*   ,   ∀*x*. 1\**x*=*x*   },
atau, dalam notasi singkatnya, sebagai 

{   *x*\*(*y*\**z*)=(*x*\**y*)\**z*   ,   *x*\*1=*x*   ,   1\**x*=*x*   }.
Beberapa penulis menggunakan nama "persamaan" daripada "identitas".

Lihat pula
----------

* Identitas akuntansi
* Daftar identitas matematika

Referensi
---------

1. 1 2  "The Definitive Glossary of Higher Mathematical Jargon — Identity". *Math Vault* (dalam bahasa Inggris). 2019-08-01. Diakses tanggal 2019-12-01.
2. 1 2  "Mathwords: Identity". *www.mathwords.com*. Diakses tanggal 2019-12-01.
3. 1 2  "Identity - math word definition - Math Open Reference". *www.mathopenref.com*. Diakses tanggal 2019-12-01.
4. ↑  "Basic Identities". *www.math.com*. Diakses tanggal 2019-12-01.
5. ↑  "Algebraic Identities". *www.sosmath.com*. Diakses tanggal 2019-12-01.
6. ↑  Stapel, Elizabeth. "Trigonometric Identities". *Purplemath*. Diakses tanggal 2019-12-01.
7. ↑  Semua pernyataan di bagian ini dapat ditemukan di Shailesh Shirali 2002, section 4, (Douglas Downing 2003, p. 275), or Kate & Bhapkar 2009, p. 1-1, for example.
8. ↑  Bernstein, Stephen; Bernstein, Ruth (1999), *Schaum's outline of theory and problems of elements of statistics. I, Descriptive statistics and probability*Perlu mendaftar (gratis), Schaum's outline series, New York: McGraw-Hill, ISBN 978-0-07-005023-5 , p. 21
9. ↑  Osborn, G. (1 January 1902). "109. Mnemonic for Hyperbolic Formulae". *The Mathematical Gazette*. **2** (34): 189. doi:10.2307/3602492. JSTOR 3602492.
10. ↑  Peterson, John Charles (2003). *Technical mathematics with calculus* (edisi ke-3rd). Cengage Learning. hlm. 1155. ISBN 0-7668-6189-9. , Chapter 26, page 1155
11. ↑  Nachum Dershowitz; Jean-Pierre Jouannaud (1990). "Rewrite Systems". Dalam Jan van Leeuwen. *Formal Models and Semantics*. Handbook of Theoretical Computer Science. **B**. Elsevier. hlm. 243–320.
12. ↑  Wolfgang Wechsler (1992). Wilfried Brauer; Grzegorz Rozenberg; Arto Salomaa, ed. *Universal Algebra for Computer Scientists*. EATCS Monographs on Theoretical Computer Science. **25**. Berlin: Springer. ISBN 3-540-54280-9.  Here: Def.1 of Sect.3.2.1, p.160.

Pranala luar
------------


Wikimedia Commons memiliki media mengenai ***Identity (mathematics)***.

* The Encyclopedia of Equation Online encyclopedia of mathematical identities (archived)
* A Collection of Algebraic Identities Diarsipkan 2011-10-01 di Wayback Machine.