اتحاد (ریاضیات)

[بندانگشتی| اثبات بصری [همانی فیثاغورس|اتحاد فیثاغورس. برای هر زاویه θ، نقطهcos(θ),sin(θ))) به روی دایره واحد ای میفتد که معادله *x*۲+*y*۲=۱ را ارضاء می‌کند؛ بنابراین cos۲(θ)+sin۲(θ)=۱.]]
در ریاضیات یک **اتحاد** یک رابطه برابری *A*&#x20;=&#x20;*B *است که *A* و *B* شامل تعدادی متغیر هستند و *A* و *B، *فارغ از اینکه متغیرهایشان چه مقادیری (معمولاً عددی) می‌گیرند، مقادیر یکسانی را تولید می‌کنند. به عبارت دیگر *A*&#x20;=&#x20;*B* *اتحاد* است اگر *A* و *B* توابع یکسانی را تعریف کنند. این به این معنی است که یک *اتحاد، *یک *برابری* بین توابعیست که متفاوت تعریف شده‌اند. برای مثال  (*a*&#x20;+&#x20;*b*)۲ &#x20;=&#x20; *a*۲&#x20;+&#x20;۲*ab*&#x20;+&#x20;*b*۲  و  همانی‌اند. همانی‌ها، گاهی اوقات، بجای علامت مساوی = توسط نماد نوار سه‌گانه ≡ نشان داده می‌شوند.

## اتحادهای رایج
### اتحادهای مثلثاتی
به لحاظ هندسی، این‌ها، همانی‌هایی شامل توابعی خاصی از یک یا چند زاویه هستند. آن‌ها متمایز از اتحادهای مثلث اند که همانی‌هایی شامل هم زاویه و هم ضلع یک مثلث می‌باشند. تنها مورد پیشین در این مقاله پوشش داده شده‌است.

این همانی‌ها هنگامی مفید واقع می‌شوند که عبارات شامل توابع مثلثاتی نیازمند ساده‌سازی‌اند. یک کاربرد مهم، انتگرال‌گیری از توابع غیر توابع مثلثاتی است: روشی معمول این است که ابتدا ضابطه با یک تابع مثلثاتی جایگزین شده و سپس، انتگرال به دست آمده با یک اتحاد مثلثاتی جایگزین شود.

یک مثال  \sin ^2 \theta +  \cos ^2 \theta \equiv 1, \, برای همه مقادیر مختلط \theta (چون اعداد مختلط \mathbb{C} در دامنه sin و cos هستند) صادق است؛ بر خلاف
:\cos \theta = 1,\,
که تنهای برای مقادیر مشخصی از \theta همهٔ آنها. برای مثال معادلهٔ اخیر برای  \theta = 0,\, درست بوده و برای \theta = 2\,

### اتحادهای توانی
اتحادهای زیر، برای همه مؤلفه‌های صحیح برقرار است، مادامی که پایه غیر صفر باشد:
:\begin{align}
      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{align}
توان نیست ناجابجایی است. این در تضاد با جمع و ضرب است که برای مثال،  و ؛ اما  در حالی که .

توان، حتی شرکت پذیر هم نیست. جمع و ضرب هستند. برای مثال
 و ؛ اما ۲۳ به توان ۴، برابر ۸۴ یا ۴٬۰۹۶ است، در حالی که ۲ به توان ۳۴ برابر با ۲۸۱ یا ۲٬۴۱۷٬۸۵۱٬۶۳۹٬۲۲۹٬۲۵۸٬۳۴۹٬۴۱۲٬۳۵۲ است. به‌طور قراردادی، بدون پرانتز، ترتیب محاسبه از بالا به پایین است و نه از پایین به بالا:
:b^{p^q} = b^{(p^q)} \ne (b^p)^q = b^{(p \cdot q)} = b^{p \cdot q} .

### اتحادهای لگاریتمی
چندین فرمول مهم، که گاهی اوقات به نام *اتحاد لگاریتمی *یا *قوانین لگاریتم *شناخته می‌شوند، لگاریتم‌ها را به یک دیگر مرتبط می‌سازند.

#### ضرب، باقیمانده، توان و ریشه
لگاریتم ضرب چند عدد، برابر است با حاصل جمع لگاریتم اعداد در حالی که ضرب شده‌اند؛ لگاریتم تقسیم دو عدد، برابر با تفاضل لگاریتم‌های آن دو عدد است. لگاریتم از توان p ام یک عدد، برابر با مضرب *p* ام لگاریتم خود عدد است؛ لگاریتم ریشهٔ *p *ام، برابر با لگاریتم عدد است که تقسیم بر *p *شده. تعداد تقسیم شده توسط *p*. جدول زیر، این همانی‌ها را با مثال فهرست کرده‌است. هر یک از این همانی‌ها را می‌توان پس از جایگزینی تعاریف لگاریتم x = bx = b  و/یا  y = by = b  در سمت چپ به دست آورد.



#### تغییر پایه
لگاریتم log*b*(*x*)  را می‌توان با استفاده از لگاریتم *x* و *b *نسبت به یک پایهٔ دلخواهِ *k،* و با استفاده از فرمول زیر محاسبه کرد:
:  \log_b(x) = \frac{\log_k(x)}{\log_k(b)}.\, 
ماشین حساب‌های علمی معمول، لگاریتم را بر مبنای ۱۰ و *[[عدد e|e]] *محاسبه می‌کنند. لگاریتم با توجه به هر پایه *b* تعیین می‌شود با استفاده از هر کدام از این دو لگاریتم قبلی فرمول:
: \log_b (x) = \frac{\log_{10} (x)}{\log_{10} (b)} = \frac{\log_{e} (x)}{\log_{e} (b)}. \,
اگر عدد *x* و لگاریتمش log*b*(*x*)  بر مبنای عددی نامعلوم مثل *b*داده شده باشند، پایه به صورت زیر بدست می‌آیند:
:  b = x^\frac{1}{\log_b(x)}.

### اتحادهای تابع هذلولوی
توابع هذلولوی، اتحادهای بسیاری را ارضاء می‌کنند که همه آنها، در ظاهر مشابه اتحادهای مثلثاتی‌اند. در واقع قاعدهٔ **Osborn, ** می‌گوید که هر تساوی مثلثاتی را می‌توان با گسترش کامل آن به فرم توان‌های اصلی از سینوس و کسینوس، به یک تساوی هذلولوی تبدیل کرد، بدین صورت کهٔ sin به sinh، و cos به cosh تبدیل شده و علامت هر عبارت که شامل مضربی از ۲، ۶، ۱۰، ۱۴، … sinhs است، تغییر کند.

تابع گودرمانی، رابطه‌ای مستقیم بین توابع دوار و توابع هذلولوی که شامل اعداد مختلط نیستند، برقرار می‌سازد.

## جستارهای وابسته
* اتحاد حسابداری
* فهرست اتحادهای ریاضی

## منابع

## پیوند به بیرون

* Encyclopedia of Equation Online encyclopedia of mathematical identities
* A Collection of Algebraic Identities

رده:جبر مقدماتی
رده:اتحادهای ریاضی
رده:هم‌ارزی