Тотожність

• Квадрат суми (різниці): ${\displaystyle (a\pm b)^{2}=a^{2}\pm 2ab+b^{2}}$ справедлива рівності для будь яких ${\displaystyle a,b}$.

• Різниця квадратів: ${\displaystyle a^{2}-b^{2}=(a+b)(a-b)}$ справедлива рівність для будь яких ${\displaystyle a,b}$.

• Куб суми (різниці): ${\displaystyle (a\pm b)^{3}=a^{3}\pm 3a^{2}b+3ab^{2}\pm b^{3}}$ справедлива рівність для будь яких ${\displaystyle a,b}$.

• Сума (різниця) кубів: ${\displaystyle a^{3}\pm b^{3}=(a\pm b)(a^{2}\mp ab+b^{2})}$ справедлива рівність для будь яких ${\displaystyle a,b}$.

• Многочлени ${\displaystyle (a+b\pm c)^{2}=a^{2}+b^{2}+c^{2}+2ab\pm 2ac\pm 2bc}$ справедлива рівність для будь яких ${\displaystyle a,b,c}$.[1]

Пропорція ${\displaystyle {\frac {2a}{a-1}}={\frac {10a}{5(a-1)}}}$ є тотожність при всіх значеннях ${\displaystyle a}$, крім ${\displaystyle a=1}$, оскільки при ${\displaystyle a=1}$ знаменники дробів перетворюються в нуль, тобто дроби не мають змісту. Заміна виразу ${\displaystyle {\frac {ac}{bc}}}$ виразом ${\displaystyle {\frac {a}{b}}}$ (скоротили на ${\displaystyle c}$) є тотожнім перетворенням виразу ${\displaystyle {\frac {ac}{bc}}}$ при обмеженнях: ${\displaystyle b\neq 0,c\neq 0}$.Отже, ${\displaystyle {\frac {ac}{bc}}}$=${\displaystyle {\frac {a}{b}}}$ — тотожність при всіх значеннях змінних, крім ${\displaystyle b=0,c=0}$[2].

Для будь яких ${\displaystyle x,y}$ і додатних ${\displaystyle a,b}$ справедливі рівності:

${\displaystyle a^{0}=1}$; ${\displaystyle a^{x}a^{y}=a^{x+y}}$; ${\displaystyle a^{x}\div a^{y}=a^{x-y}}$; ${\displaystyle (a^{x})^{y}=a^{xy}}$; ${\displaystyle (ab)^{x}=a^{x}b^{x}}$; ${\displaystyle ({\frac {a}{b}})^{x}={\frac {a^{x}}{b^{x}}}}$; ${\displaystyle a^{-x}={\frac {1}{a^{x}}}}$.

Логарифм добутку дорівнює сумі логарифмів; логарифм частки дорівнює різниці логарифмів. Логарифм степеня ${\displaystyle x^{p}}$ дорівнює добутку показника степеня p на логарифм самого числа х; логарифм кореня p-го степеня з числа х — логарифм числа, поділений на p.[3] У наступній таблиці перелічені ці тотожності з прикладами. Дані логарифмічні тотожності виконуються за умови, що ${\displaystyle x>0,y>0,a>0,a\neq 1}$, ${\displaystyle p\in R}$.

	Формула	Приклад
добуток	${\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}$
частка	${\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}$
степінь	${\displaystyle \log _{b}(x^{p})=p\log _{b}(x)}$	${\displaystyle \log _{2}(64)=\log _{2}(2^{6})=6\log _{2}(2)=6}$
корінь	${\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}$

З означення логарифма випливає, що при ${\displaystyle a>0,a\neq 1,b>0}$ виконується рівність ${\displaystyle a^{\log _{a}{b}}=b}$. ЇЇ називають основною логарифмічною тотожністю.[4]

Прологарифмуємо за основою ${\displaystyle c}$, де ${\displaystyle c>0,c\neq 1}$, обидві частини основної логарифмічної тотожності ${\displaystyle a^{\log _{a}{b}}=b}$. Отримаємо: ${\displaystyle \log _{a}b={\frac {\log _{c}b}{\log _{c}a}}}$ — формула переходу від логарифма з основою ${\displaystyle a}$ до логарифма з основою ${\displaystyle c}$[5].

Гіперболічні функції задовольняють безліч тотожностей, всі вони подібні за формою до тригонометричних тотожностей. Правило Осборна[6] зазначає, що можна перетворити будь-яку тригонометричну тотожність у гіперболічну тотожність, розширивши її повністю. Функція Гудермана зв'язує тригонометричні функції і гіперболічні функції без залучення комплексних чисел.

1. ${\displaystyle \operatorname {ch} ^{2}x-\operatorname {sh} ^{2}x=1}$
2. Парність:
   1. ${\displaystyle \operatorname {sh} (-x)=-\operatorname {sh} x}$
   2. ${\displaystyle \operatorname {ch} (-x)=\operatorname {ch} x}$
   3. ${\displaystyle \operatorname {th} (-x)=-\operatorname {th} x}$
3. Формули додавання:
   1. ${\displaystyle \operatorname {sh} (x\pm y)=\operatorname {sh} x\,\operatorname {ch} y\pm \operatorname {sh} y\,\operatorname {ch} x}$
   2. ${\displaystyle \operatorname {ch} (x\pm y)=\operatorname {ch} x\,\operatorname {ch} y\pm \operatorname {sh} y\,\operatorname {sh} x}$
   3. ${\displaystyle \operatorname {th} (x\pm y)={\frac {\operatorname {th} x\pm \operatorname {th} y}{1\pm \operatorname {th} x\operatorname {th} y}}}$.

• Тотожність Ейлера
• Тотожність паралелограма
• Тотожність чотирьох квадратів
• Тотожність восьми квадратів
• Тригонометричні тотожності

• Відношення еквівалентності