تُمثل الخاصية الأساسية الميزة الجوهر البنيوي للدالة اللوغاريتمية النيبيرية؛ حيث تقوم بتحويل المجموعات الجداءية ذات الطبيعة الحسابية المقعدة إلى مجاميع خطية مألوفة. نص المبرهنة: من أجل كل عددين حقيقيين $a$ و $b$ ينتميان للمجال الموجب تماماً $]0; +\infty[$، تتحقق المساواة الدستورية التالية صراحة:
$\ln(a \times b) = \ln(a) + \ln(b)$
بالاعتماد على الاستدلال بالخاصية المميزة، يتم صياغة الدساتير الفرعية للعمليات الحسابية القياسية (شريطة أن تكون المقادير المتغيرة $a$ و $b$ موجبة تماماً قطيعاً) وفق مقتضيات الجدول النظامي التالي:
| النمط الجبري للعملية الحالية | الدستور اللوغاريتمي المكافئ تحليلياً | القيود والشرط المصاحب للصيغة |
|---|---|---|
| لوغاريتم المقلوب | $\ln\left(\frac{1}{a}\right) = -\ln(a)$ | $a \in ]0; +\infty[$ |
| لوغاريتم حاصل القسمة الكسرية | $\ln\left(\frac{a}{b}\right) = \ln(a) - \ln(b)$ | $a, b \in ]0; +\infty[$ |
| لوغاريتم القوة الحقيقية | $\ln(a^n) = n \ln(a)$ | $a \in ]0; +\infty[, n \in \mathbb{Z}$ |
| لوغاريتم المقدار الجذري | $\ln(\sqrt{a}) = \frac{1}{2} \ln(a)$ | $a \in ]0; +\infty[$ |
المسألة: اكتب المقدار الجبري التالي على أبسط شكل ممكن بدلالة عدد صحيح أو بدلالة لوغاريتم لعدد أولي:
$A = \ln(2) + \ln(8) - \ln(4)$
مراحل الاختزال التحليلي المتتابعة موصوفة في الجدول أدناه:
| الخطوة الاستدلالية | الإجراء الجبري التطبيقي | المبرر والخاصية المستعملة |
|---|---|---|
| 1. تجميع تفرع المجموع | $\ln(2) + \ln(8) = \ln(2 \times 8) = \ln(16)$ | تطبيق دستور الجداء: $\ln(a)+\ln(b)=\ln(ab)$ |
| 2. دمج فارق الحاصل | $\ln(16) - \ln(4) = \ln\left(\frac{16}{4}\right) = \ln(4)$ | تطبيق دستور القسمة: $\ln(a)-\ln(b)=\ln\left(\frac{a}{b}\right)$ |
| 3. الاختزال للرتبة الأولية | $\ln(4) = \ln(2^2) = 2\ln(2)$ | تطبيق دستور القوة الحقيقية: $\ln(a^n)=n\ln(a)$ |
الخطأ البنيوي الأول: إن العبارة $\ln(a+b)$ لا تساوي مطلقاً المقدار $\ln(a) + \ln(b)$؛ فاللوغاريتم لا يخضع لخاصية التوزيع الخطي فوق عملية الجمع الحسابية.
الخطأ البنيوي الثاني: يجب الفصل المنهجي الدقيق بين الدالتين $(\ln x)^2$ و $\ln(x^2)$؛ الصيغة الأولى تُمثل القوة الكلية لتركيب دالة اللوغاريتم مع المربع، بينما العبارة الثانية تخضع لدستور القوة وتحليلياً تؤول صياغتها الجبرية إلى: $2\ln|x|$.
يُنصح توظيف هذه الخصائص والدساتير الجبرية نظامياً بغرض 'تفكيك وتبسيط' المركبات التحليلية المعقدة قبل الشروع في حساب الدوال المشتقة لها؛ حيث إن اشتقاق العبارات المفككة يقلل من احتمالية الوقوع في اختلالات حسابية مرهقة أثناء معالجة حواصِل القسمة المركبة.