تجاوز إلى المحتوى الرئيسي

بعد أن تتعرف على الدالة الأسية يأتي دور دالة جديدة ترتبط بها ارتباطًا وثيقًا: اللوغاريتم النيبيري. ومن يفهم هذه العلاقة يختصر نصف الدرس، لأن أغلب قواعد اللوغاريتم تنتقل مباشرة من قواعد الأسية بعد قلبها. تجد هنا التعريف والخواص الجبرية والمشتقة والنهايات وطرق حل المعادلات والمتراجحات، ثم دراسة دالة كاملة وأخطاء متكررة وتمارين بحلولها.

من الدالة الأسية إلى اللوغاريتم

الدالة الأسية متزايدة تمامًا ومستمرة على ℝ، وتأخذ كل قيمة موجبة تمامًا مرة واحدة فقط. لهذا السبب تقبل دالة عكسية، نسميها اللوغاريتم النيبيري ونرمز لها بـ ⁦ln⁩. هذه الدالة معرّفة على المجال ⁦]0 ; +∞[⁩ وتأخذ قيمًا حقيقية. والعلاقة بين الدالتين هي الأساس الذي يُبنى عليه كل شيء بعد ذلك:

  • من أجل ⁦x > 0⁩ و ⁦y⁩ حقيقي: ⁦y = ln x⁩ تكافئ ⁦x = e^y⁩.
  • ⁦ln(e^x) = x⁩ من أجل كل عدد حقيقي ⁦x⁩.
  • ⁦e^(ln x) = x⁩ من أجل كل ⁦x > 0⁩.
  • ⁦ln 1 = 0⁩ و ⁦ln e = 1⁩.

الدالتان ⁦ln⁩ و ⁦exp⁩ متعاكستان، ولذلك يكون منحنياهما متناظرين بالنسبة إلى المستقيم الذي معادلته ⁦y = x⁩. يمر منحنى اللوغاريتم بالنقطتين ⁦(1 ; 0)⁩ و ⁦(e ; 1)⁩، ويقترب من محور التراتيب دون أن يلمسه، فالمستقيم ⁦x = 0⁩ مقارب له. ولا يوجد لوغاريتم لعدد سالب أو معدوم: ⁦ln(−2)⁩ و ⁦ln 0⁩ غير معرّفين، لأن الأسية لا تأخذ قيمة سالبة ولا معدومة.

القواعد الجبرية

من أجل عددين موجبين تمامًا ⁦a⁩ و ⁦b⁩ وعدد صحيح ⁦n⁩:

  • ⁦ln(a × b) = ln a + ln b⁩
  • ⁦ln(a / b) = ln a − ln b⁩
  • ⁦ln(1 / a) = −ln a⁩
  • ⁦ln(a^n) = n × ln a⁩
  • ⁦ln(√a) = (1 / 2) × ln a⁩

الفكرة المختصرة أن اللوغاريتم يحوّل الجداء إلى مجموع، والقسمة إلى فرق، والقوة إلى جداء. وهو عكس ما تفعله الأسية التي تحوّل المجموع في الأس إلى جداء. تنبه إلى أن ⁦ln(a + b)⁩ لا يساوي ⁦ln a + ln b⁩، فلا توجد قاعدة تفكك لوغاريتم المجموع.

الاشتقاق ومجموعة التعريف

الدالة ⁦ln⁩ قابلة للاشتقاق على ⁦]0 ; +∞[⁩ ومشتقتها ⁦(ln x)' = 1 / x⁩، وهي موجبة تمامًا، ومنه فالدالة متزايدة تمامًا. وإذا كانت ⁦u⁩ دالة قابلة للاشتقاق وموجبة تمامًا فإن ⁦(ln u)' = u' / u⁩.

مثال: مشتقة ⁦f(x) = ln(x² + 1)⁩ هي ⁦f'(x) = 2x / (x² + 1)⁩. ومشتقة ⁦g(x) = ln(2x − 4)⁩ تحتاج أولًا إلى تعيين مجموعة التعريف: يجب أن يكون ⁦2x − 4 > 0⁩ أي ⁦x > 2⁩، ثم ⁦g'(x) = 2 / (2x − 4) = 1 / (x − 2)⁩.

قاعدة مجموعة التعريف: العبارة ⁦ln(u(x))⁩ معرّفة حين يتحقق ⁦u(x) > 0⁩. فمجموعة تعريف ⁦ln((x − 1) / (x + 2))⁩ هي حل المتراجحة ⁦(x − 1) / (x + 2) > 0⁩، أي ⁦]−∞ ; −2[ ∪ ]1 ; +∞[⁩.

النهايات المهمة

  • ⁦lim (x→0⁺) ln x = −∞⁩
  • ⁦lim (x→+∞) ln x = +∞⁩
  • ⁦lim (x→+∞) (ln x) / x = 0⁩
  • ⁦lim (x→0⁺) x × ln x = 0⁩
  • ⁦lim (x→0) ln(1 + x) / x = 1⁩

النهايتان الثالثة والرابعة تقولان إن اللوغاريتم «يخسر» أمام الدالة ⁦x⁩: عند ⁦+∞⁩ ينمو ⁦ln x⁩ ببطء شديد مقارنة بـ ⁦x⁩، وعند ⁦0⁩ يصغر الجداء ⁦x × ln x⁩ إلى الصفر رغم أن ⁦ln x⁩ يؤول إلى ⁦−∞⁩. وتصح الصيغتان نفسهما مع كل قوة ⁦x^n⁩. أما النهاية الأخيرة فهي العدد المشتق للدالة ⁦ln⁩ عند 1، وقيمته 1.

حل المعادلات والمتراجحات

اللوغاريتم متزايد تمامًا على ⁦]0 ; +∞[⁩، ومنه:

  • ⁦ln a = ln b⁩ تكافئ ⁦a = b⁩ من أجل ⁦a > 0⁩ و ⁦b > 0⁩.
  • ⁦ln a < ln b⁩ تكافئ ⁦a < b⁩، ولا يتغير اتجاه المتراجحة.
  • ⁦ln x = k⁩ تكافئ ⁦x = e^k⁩، وللمعادلة دائمًا حل واحد، على عكس المعادلة الأسية التي قد لا يكون لها حل.
  • ⁦ln x ≥ k⁩ تكافئ ⁦x ≥ e^k⁩.

الخطوات التي ننصح بها: عيّن مجموعة التعريف أولًا، ثم حوّل المعادلة، ثم تحقق من أن كل حل ينتمي إلى مجموعة التعريف.

مثال أول. لحل ⁦ln(x − 1) + ln(x + 2) = ln 4⁩ نشترط ⁦x − 1 > 0⁩ و ⁦x + 2 > 0⁩ أي ⁦x > 1⁩. نكتب ⁦ln((x − 1)(x + 2)) = ln 4⁩ فنجد ⁦x² + x − 2 = 4⁩ أي ⁦x² + x − 6 = 0⁩، ومنه ⁦(x + 3)(x − 2) = 0⁩. الحلان المحتملان ⁦−3⁩ و ⁦2⁩، لكن ⁦−3⁩ خارج مجموعة التعريف، فالحل الوحيد هو ⁦x = 2⁩.

مثال ثان. لحل ⁦2(ln x)² − ln x − 1 = 0⁩ نضع ⁦t = ln x⁩ فنحصل على ⁦2t² − t − 1 = 0⁩ أي ⁦(2t + 1)(t − 1) = 0⁩. إذن ⁦t = 1⁩ أو ⁦t = −1 / 2⁩، أي ⁦x = e⁩ أو ⁦x = e^(−1/2)⁩. الحلان مقبولان لأنهما موجبان.

مثال ثالث. لحل ⁦ln x < 2⁩ مع ⁦x > 0⁩ نكتب ⁦x < e²⁩، فمجموعة الحلول هي ⁦]0 ; e²[⁩.

مثال متكامل: دراسة دالة

لندرس الدالة ⁦f(x) = x − ln x⁩ على المجال ⁦]0 ; +∞[⁩.

  1. النهايات. عند ⁦0⁺⁩ يؤول ⁦−ln x⁩ إلى ⁦+∞⁩ فالنهاية ⁦+∞⁩. عند ⁦+∞⁩ نكتب ⁦f(x) = x × (1 − (ln x) / x)⁩، والقوس يؤول إلى 1، فالنهاية ⁦+∞⁩.
  2. المشتقة. ⁦f'(x) = 1 − 1 / x = (x − 1) / x⁩. بما أن ⁦x > 0⁩ فإشارة ⁦f'(x)⁩ هي إشارة ⁦x − 1⁩: سالبة على ⁦]0 ; 1[⁩ وموجبة على ⁦]1 ; +∞[⁩.
  3. التغيرات. الدالة متناقصة تمامًا على ⁦]0 ; 1]⁩ ثم متزايدة تمامًا على ⁦[1 ; +∞[⁩، وقيمتها الصغرى ⁦f(1) = 1⁩.

ونستنتج أن ⁦x − ln x ≥ 1⁩ من أجل كل ⁦x > 0⁩، أي ⁦ln x ≤ x − 1⁩. وهذه متباينة تتكرر كثيرًا: المستقيم ⁦y = x − 1⁩ هو مماس المنحنى ⁦ln⁩ عند النقطة ⁦(1 ; 0)⁩، والمنحنى يقع تحته دائمًا.

أخطاء شائعة

  • نسيان مجموعة التعريف وقبول حل يجعل ما بداخل ⁦ln⁩ سالبًا أو معدومًا. تحقق من كل وسيط في المعادلة.
  • كتابة ⁦ln(a + b) = ln a + ln b⁩. الصحيح أن الجداء هو الذي يتحول إلى مجموع: ⁦ln(a × b) = ln a + ln b⁩.
  • المساواة بين ⁦ln(x²)⁩ و ⁦2 ln x⁩ دون شرط. إذا كان ⁦x⁩ سالبًا فالصحيح ⁦ln(x²) = 2 ln|x|⁩، وهي معرّفة من أجل كل ⁦x⁩ غير معدوم.
  • الخلط بين ⁦ln(x²)⁩ و ⁦(ln x)²⁩. الأولى لوغاريتم المربع والثانية مربع اللوغاريتم.
  • نسيان ⁦u'⁩ عند اشتقاق ⁦ln(u)⁩. مشتقة ⁦ln(3x)⁩ هي ⁦3 / (3x) = 1 / x⁩ وليست ⁦1 / (3x)⁩.
  • الخطأ في إشارة اللوغاريتم: ⁦ln x⁩ سالب من أجل ⁦0 < x < 1⁩ وموجب من أجل ⁦x > 1⁩.

تمارين للتدرب

  1. بسّط ⁦ln 8 − 3 ln 2 + ln(e²)⁩.
  2. حل في ℝ المعادلة ⁦ln(2x − 1) = 3⁩.
  3. عيّن مجموعة تعريف الدالة ⁦f(x) = ln(x² − 4)⁩.
  4. احسب مشتقة ⁦g(x) = x × ln x − x⁩.
  5. احسب ⁦lim (x→+∞) (ln x − x)⁩.

الحلول:

  1. ⁦ln 8 = 3 ln 2⁩ فالمجموع ⁦3 ln 2 − 3 ln 2 + 2 = 2⁩.
  2. الشرط ⁦2x − 1 > 0⁩ أي ⁦x > 1 / 2⁩. ثم ⁦2x − 1 = e³⁩ ومنه ⁦x = (e³ + 1) / 2⁩، وهو أكبر من ⁦1 / 2⁩ فهو مقبول.
  3. نحل ⁦x² − 4 > 0⁩ فنجد ⁦]−∞ ; −2[ ∪ ]2 ; +∞[⁩.
  4. ⁦g'(x) = ln x + x × (1 / x) − 1 = ln x⁩. إذن الدالة ⁦g⁩ دالة أصلية للدالة ⁦ln⁩.
  5. نكتب ⁦ln x − x = x × ((ln x) / x − 1)⁩، والقوس يؤول إلى ⁦−1⁩ و ⁦x⁩ يؤول إلى ⁦+∞⁩، فالنهاية ⁦−∞⁩.

الشرح المصوّر وملفات التمارين

لمن يفضل المتابعة بالصوت والصورة، يقدم الأستاذ عبد الباسط في فيديو «البداية المثالية في الدالة اللوغاريتمية وخواصها» الدرس الأول من الوحدة في نحو خمس وثلاثين دقيقة: يبدأ بالجانب النظري من تعريف وخواص ثم يطبقها في تمرين في آخر الدرس.

وللتدرب على مواضيع حقيقية، اطلع على ملفات التمارين في الموقع:

آخر تعديل: 2026.10.21 - 21:50