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

اثبات بصری اتحاد فیثاغورس. برای هر زاویه θ، نقطهالگو:رچcos(θ),sin(θ))الگو:چر) به روی دایره واحد ای میفتد که معادله x^۲+y^۲=۱ را ارضاء می‌کند؛ بنابراین cos^۲(θ)+sin^۲(θ)=۱.

در ریاضیات یک اتحاد یک رابطه برابری A = B است که A و B شامل تعدادی متغیر هستند و A و B، فارغ از اینکه متغیرهایشان چه مقادیری (معمولاً عددی) می‌گیرند، مقادیر یکسانی را تولید می‌کنند. به عبارت دیگر A = B اتحاد است اگر A و B توابع یکسانی را تعریف کنند. این به این معنی است که یک اتحاد، یک برابری بین توابعیست که متفاوت تعریف شده‌اند. برای مثال الگو:چر (a + b)^۲ = a^۲ + ۲ab + b^۲ الگو:رچ و الگو:Nowrap همانی‌اند. همانی‌ها، گاهی اوقات، بجای علامت مساوی = توسط نماد نوار سه‌گانه ≡ نشان داده می‌شوند.

اتحادهای رایج

اتحادهای مثلثاتی

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

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

یک مثال ${\sin }^2\theta +{\cos }^2\theta \equiv 1,$ برای همه مقادیر مختلط $\theta$ (چون اعداد مختلط $ℂ$ در دامنه sin و cos هستند) صادق است؛ بر خلاف

$\cos \theta =1,$

که تنهای برای مقادیر مشخصی از $\theta$ همهٔ آنها. برای مثال معادلهٔ اخیر برای $\theta =0,$ درست بوده و برای $\theta =2$

اتحادهای توانی

اتحادهای زیر، برای همه مؤلفه‌های صحیح برقرار است، مادامی که پایه غیر صفر باشد:

$\begin{array}{cc}{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{array}$

توان نیست ناجابجایی است. این در تضاد با جمع و ضرب است که برای مثال، الگو:Nowrap و الگو:Nowrap؛ اما الگو:Nowrap در حالی که الگو:Nowrap.

توان، حتی شرکت پذیر هم نیست. جمع و ضرب هستند. برای مثال الگو:Nowrap و الگو:Nowrap؛ اما ۲^۳ به توان ۴، برابر ۸^۴ یا ۴٬۰۹۶ است، در حالی که ۲ به توان ۳^۴ برابر با ۲^۸۱ یا ۲٬۴۱۷٬۸۵۱٬۶۳۹٬۲۲۹٬۲۵۸٬۳۴۹٬۴۱۲٬۳۵۲ است. به‌طور قراردادی، بدون پرانتز، ترتیب محاسبه از بالا به پایین است و نه از پایین به بالا:

$b^{p^q}=b^{(p^q)}\ne (b^p{)}^q=b^{(p\cdot q)}=b^{p\cdot q}.$

اتحادهای لگاریتمی

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

ضرب، باقیمانده، توان و ریشه

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

قاعده	فرمول	مثال
ضرب	${\log }_b(xy)={\log }_b(x)+{\log }_b(y)$	${\log }_3(243)={\log }_3(9\cdot 27)={\log }_3(9)+{\log }_3(27)=2+3=5$
تقسیم	${\log }_b\left(\frac{x}{y}\right)={\log }_b(x)-{\log }_b(y)$	${\log }_2(16)={\log }_2\left(\frac{64}{4}\right)={\log }_2(64)-{\log }_2(4)=6-2=4$
توان	${\log }_b(x^p)=p{\log }_b(x)$	${\log }_2(64)={\log }_2(2^6)=6{\log }_2(2)=6$
ریشه	${\log }_b\sqrt[p]{x}=\frac{{\log }_b(x)}{p}$	${\log }_{10}\sqrt{1000}=\frac{1}{2}{\log }_{10}1000=\frac{3}{2}=1.5$

تغییر پایه

لگاریتمالگو:رچ log_b(x) الگو:چر را می‌توان با استفاده از لگاریتم x و b نسبت به یک پایهٔ دلخواهِ k، و با استفاده از فرمول زیر محاسبه کرد:

${\log }_b(x)=\frac{{\log }_k(x)}{{\log }_k(b)}.$

ماشین حساب‌های علمی معمول، لگاریتم را بر مبنای ۱۰ و 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