همانی (ریاضیات)

اثبات بصری همانی فیثاغورس. برای هر زاویه ، نقطهcos(),sin())) به روی دایره واحد ای میفتد که معادله x ۲ +y ۲ =۱ را ارضاء می‌کند؛ بنابراین cos ۲ ()+sin ۲ ()=۱.
در ریاضیات یک همانی یک رابطه برابری A = B است که A و B شامل تعدادی متغیر هستند و A و B، فارغ از اینکه متغیرهایشان چه مقادیری (معمولا عددی) می‌گیرند، مقادیر یکسانی را تولید می‌کنند. به عبارت دیگر A = B همانی است اگر A و B توابع یکسانی را تعریف کنند. این به این معنی است که یک همانی، یک برابری بین توابعیست که متفاوت تعریف شده‌اند. برای مثال (a + b) ۲ = a ۲ + ۲ab + b ۲ و 1=cos ۲ (x) + sin ۲ (x) = ۱ همانی‌اند. همانی‌ها، گاهی اوقات، بجای علامت مساوی = توسط نماد نوار سه‌گانه ≡ نشان داده می‌شوند.
همانی‌های رایج
همانی‌های مثلثاتی
به لحاظ هندسی، این‌ها، همانی‌هایی شامل توابعی خاصی از یک یا چند زاویه هستند. آنها متمایز از همانی‌های مثلث اند که همانی‌هایی شامل هم زاویه و هم ضلع یک مثلث می‌باشند. تنها مورد پیشین در این مقاله پوشش داده شده است.
این همانی‌ها هنگامی مفید واقع می‌شوند که عبارات شامل توابع مثلثاتی نیازمند ساده‌سازی‌اند. یک کاربرد مهم، انتگرال گیری از توابع غیر توابع مثلثاتی است: روشی معمول این است که ابتدا ضابطه با یک تابع مثلثاتی جایگزین شده و سپس، انتگرال به دست آمده با یک همانی مثلثاتی جایگزین شود.
یک مثال برای همه مقادیر مختلط (چون اعداد مختلط در دامنه sin و cos هستند) صادق است؛ بر خلاف
که تنهای برای مقادیر مشخصی از همه آنها. برای مثال معادله اخیر برای درست بوده و برای
همانی‌های توانی
همانی‌های زیر، برای همه مولفه‌های صحیح برقرار است، مادامی که پایه غیر صفر باشد:
\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
توان نیست ناجابجایی است. این در تضاد با جمع و ضرب است که برای مثال، 1= ۲ + ۳ = ۳ + ۲ = ۵ و 1= ۲ · ۳ = ۳ · ۲ = ۶؛ اما 1=۲ ۳ = ۸ در حالی که 1=۳ ۲ = ۲.
توان، حتی شرکت پذیر هم نیست. جمع و ضرب هستند. برای مثال
1=(۲ + ۳) + ۴ = ۲ + (۳ + ۴) = ۹ و 1=(۲ · ۳) · ۴ = ۲ · (۳ · ۴) = ۲۴؛ اما ۲ ۳ به توان ۴، برابر ۸ ۴ یا ۴،۰۹۶ است، در حالی که ۲ به توان ۳ ۴ برابر با ۲ ۸۱ یا ۲،۴۱۷،۸۵۱،۶۳۹،۲۲۹،۲۵۸،۳۴۹،۴۱۲،۳۵۲ است. به طور قراردادی، بدون پرانتز، ترتیب محاسبه از بالا به پایین است و نه از پایین به بالا:
همانی‌های لگاریتمی
چندین فرمول مهم، که گاهی اوقات به نام همانی لگاریتمی یا قوانین لگاریتم شناخته می‌شوند، لگاریتم‌ها را به یک دیگر مرتبط می‌سازند.
ضرب، باقیمانده، توان و ریشه
لگاریتم ضرب چند عدد، برابر است با حاصل جمع لگاریتم اعداد در حالی که ضرب شده‌اند؛ لگاریتم تقسیم دو عدد، برابر با تفاضل لگاریتم‌های آن دو عدد است. لگاریتم از توان p ام یک عدد، برابر با مضرب p ام لگاریتم خود عدد است؛ لگاریتم ریشه p ام، برابر با لگاریتم عدد است که تقسیم بر p شده. تعداد تقسیم شده توسط p. جدول زیر، این همانی‌ها را با مثال فهرست کرده است. هر یک از این همانی‌ها را می‌توان پس از جایگزینی تعاریف لگاریتم x = bx = b و/یا y = by = b در سمت چپ به دست آورد.
قاعده
فرمول
مثال
ضرب
تقسیم
توان
ریشه
تغییر پایه
لگاریتم log b (x) را می‌توان با استفاده از لگاریتم x و b نسبت به یک پایه دلخواه k، و با استفاده از فرمول زیر محاسبه کرد:
ماشین حساب‌های علمی معمول، لگاریتم را بر مبنای ۱۰ و e محاسبه می‌کنند. لگاریتم با توجه به هر پایه b تعیین می‌شود با استفاده از هر کدام از این دو لگاریتم قبلی فرمول:
اگر عدد x و لگاریتمش log b (x) بر مبنای عددی نامعلوم مثل bداده شده باشند، پایه به صورت زیر بدست می‌آیند:
همانی‌های تابع هذلولوی
توابع هذلولوی، همانی‌های بسیاری را ارضاء می‌کنند که همه آنها، در ظاهر مشابه همانی‌های مثلثاتی‌اند. در واقع قاعده Osborn, می‌گوید که هر تساوی مثلثاتی را می‌توان با گسترش کامل آن به فرم توان‌های اصلی از سینوس و کسینوس، به یک تساوی هذلولوی تبدیل کرد، بدین صورت که sin به sinh، و cos به cosh تبدیل شده و علامت هر عبارت که شامل مضربی از ۲، ۶، ۱۰، ۱۴، … sinhs است، تغییر کند.
تابع گودرمانی، رابطه‌ای مستقیم بین توابع دوار و توابع هذلولوی که شامل اعداد مختلط نیستند، برقرار می‌سازد.
همانی حسابداری
فهرست همانی‌های ریاضی