قانون توانِ حاصلضرب: پل ارتباطی میان ضرب و توانهای گویا
۱. از تعریف ریشه تا قانون توان
برای درک قانون \((ab)^r = a^r b^r\) ابتدا باید بدانیم توان گویا[1] چیست. اگر \(r = \frac{m}{n}\) با \(n \in \mathbb{N}\) و \(m \in \mathbb{Z}\)، آنگاه تعریف میکنیم:
\[ a^{\frac{m}{n}} = \sqrt[n]{a^m} = (\sqrt[n]{a})^m \]این تعریف فقط وقتی معنا دارد که \(a>0\) باشد (تا ریشههای زوج برای اعداد منفی تعریف نشوند). حال فرض کنید میخواهیم \((ab)^{\frac{m}{n}}\) را محاسبه کنیم. از تعریف ریشه \(n\)ام و خاصیت جابجایی ضرب داریم:
\[ (ab)^{\frac{m}{n}} = \sqrt[n]{(ab)^m} = \sqrt[n]{a^m b^m} \]حال از قانون ریشهگیری از حاصلضرب (که خود از تعریف ریشه \(n\)ام نتیجه میشود) استفاده میکنیم:
\[ \sqrt[n]{a^m b^m} = \sqrt[n]{a^m} \times \sqrt[n]{b^m} = a^{\frac{m}{n}} \times b^{\frac{m}{n}} \]به این ترتیب قانون برای حالت کلی اثبات میشود. برای درک بهتر، این روند را در قالب یک جدول مرور میکنیم:
| گام | عملیات ریاضی | توضیح |
|---|---|---|
| ۱ | \((ab)^{\frac{m}{n}}\) | عبارت اولیه با توان گویا |
| ۲ | \(= \sqrt[n]{(ab)^m}\) | تبدیل به شکل رادیکالی |
| ۳ | \(= \sqrt[n]{a^m b^m}\) | توزیع توان صحیح \(m\) در داخل پرانتز |
| ۴ | \(= \sqrt[n]{a^m} \times \sqrt[n]{b^m}\) | خاصیت رادیکال از ضرب |
| ۵ | \(= a^{\frac{m}{n}} \times b^{\frac{m}{n}}\) | بازگشت به شکل توانی |
۲. کاربرد در سادهسازی عبارتهای جبری و عددی
قانون \((ab)^r = a^r b^r\) ابزاری قدرتمند برای سادهسازی عبارتهای شامل رادیکال و توان کسری است. با استفاده از این قانون میتوانیم یک رادیکال بزرگ را به حاصلضرب چند رادیکال کوچکتر بشکنیم یا برعکس، چند عبارت تواندار را در یک رادیکال ادغام کنیم. در این بخش دو مثال عددی و جبری را بررسی میکنیم.
مثال عددی: مقدار \((8 \times 27)^{\frac{2}{3}}\) را بیابید.
با استفاده از قانون داریم: \((8 \times 27)^{\frac{2}{3}} = 8^{\frac{2}{3}} \times 27^{\frac{2}{3}}\). حال هر کدام را جداگانه حساب میکنیم:
\[ 8^{\frac{2}{3}} = (8^{\frac{1}{3}})^2 = 2^2 = 4 \] \[ 27^{\frac{2}{3}} = (27^{\frac{1}{3}})^2 = 3^2 = 9 \]بنابراین حاصل برابر \(4 \times 9 = 36\) است. بدون استفاده از قانون، مجبور بودیم ابتدا \(8 \times 27 = 216\) را محاسبه کرده، سپس \(\sqrt[3]{216^2}\) را حساب کنیم که وقتگیرتر است.
مثال جبری: عبارت \(\sqrt[4]{16x^4 y^8}\) را ساده کنید.
ابتدا عدد داخل رادیکال را به صورت حاصلضرب توانها مینویسیم و از قانون استفاده میکنیم:
\[ \sqrt[4]{16x^4 y^8} = (16x^4 y^8)^{\frac{1}{4}} = 16^{\frac{1}{4}} \times (x^4)^{\frac{1}{4}} \times (y^8)^{\frac{1}{4}} \]حال با استفاده از قانون توان برای توانها \((a^m)^n = a^{mn}\) خواهیم داشت:
\[ = 2 \times x^{4 \times \frac{1}{4}} \times y^{8 \times \frac{1}{4}} = 2 \times x^{1} \times y^{2} = 2xy^2 \]۳. کاربرد عملی: مقیاسبندی در هندسه و فیزیک
این قانون صرفاً یک قاعدهٔ جبری انتزاعی نیست؛ در مسائل عملی نیز کاربرد فراوان دارد. برای نمونه، در هندسه وقتی ابعاد یک شکل را مقیاسدهی میکنیم[2]، مساحت و حجم متناظر با توانهای گویا تغییر میکنند.
کاربرد در فیزیک فرض کنید مطابق نظریهٔ نسبیت خاص، طول یک جسم متحرک مطابق رابطه \(L = L_0 \sqrt{1 - \frac{v^2}{c^2}}\) دچار انقباض میشود. اگر طولهای اولیه در دو جهت متفاوت \(a_0\) و \(b_0\) باشند، طول نهایی هر کدام برابر \(a = a_0 k\) و \(b = b_0 k\) است که در آن \(k = \sqrt{1 - v^2/c^2}\). حال مساحت مستطیل تغییریافته برابر است با:
\[ A = (a_0 k)(b_0 k) = (a_0 b_0) k^2 \]توجه کنید که \(k^2 = (1 - v^2/c^2)\) خود یک عدد گویا نیست، اما قانون توان حاصلضرب در اینجا به صورت \((a_0 b_0)k^2 = (a_0 k)(b_0 k)\) به ما اجازه میدهد مساحت را مستقیماً از حاصلضرب ابعاد بهدست آوریم.
۴. چالشهای مفهومی
پاسخ: زیرا اگر \(a \lt 0\) و \(r = \frac{1}{2}\)، آنگاه \(a^r\) در مجموعه اعداد حقیقی تعریف نمیشود. حتی اگر هر دو منفی باشند، ممکن است جوابهای مختلط متفاوتی حاصل شود. به همین دلیل شرط \(a,b \gt 0\) برای استفاده از این قانون در حالت کلی ضروری است.
پاسخ: خیر! توان روی جمع توزیع نمیشود. یک مثال نقض ساده: \((1+1)^2 = 4\) در حالی که \(1^2+1^2 = 2\). قانون توان حاصلضرب منحصراً برای ضرب درون پرانتز کاربرد دارد.
پاسخ: بله، به شرطی که تعریف \(a^{\frac{2}{4}}\) را بهعنوان \((a^2)^{\frac{1}{4}}\) در نظر بگیریم. از آنجا که \(a^{\frac{2}{4}} = a^{\frac{1}{2}}\) برای \(a \ge 0\)، قانون بهسادگی از حالت سادهشده پیروی میکند.
پاورقی
1توان گویا (Rational Exponent): توانی که به صورت کسری از دو عدد صحیح نوشته میشود. برای مثال \(3^{\frac{2}{5}}\) یک توان گویاست و معادل رادیکال \(\sqrt[5]{3^2}\) میباشد.
2مقیاسدهی (Scaling): تغییر اندازه یک کمیت با ضرب کردن آن در یک عامل ثابت. در هندسه، مقیاسدهی خطی به معنای ضرب تمام ابعاد در یک عدد ثابت است که مساحت با مربع آن عدد و حجم با مکعب آن عدد تغییر میکند.
