طريقة التحليل-التركيب: التقنية الملكية للمعادلات الدالية

🔬 طريقة قليلة الشهرة لكنها فعالة جداً

طريقة التحليل-التركيب لا يستخدمها التلاميذ كثيراً، رغم أنها الطريقة المعيارية من أجل :

• إيجاد جميع الدوال التي تحقق معادلة
• حل معادلة تفاضلية حيث شكل الحل غير واضح
• إثبات أن عنصراً ما له شكل معين
• إيجاد جميع المتتاليات/الثلاثيات التي تحقق شرطاً ما

📐 البنية في مرحلتين

لماذا مرحلتان؟ التحليل يجد المرشحين. التركيب يؤكد أنهم حلول فعلاً. المرحلتان إلزاميتان.

✨ مثال كامل: معادلة دالية

المعطى : أوجد جميع الدوال f : ℝ → ℝ المتصلة بحيث f(x + y) = f(x) + f(y) من أجل كل x, y ∈ ℝ.

التحليل — لنفترض أن f موجودة

لتكن f تحقق المعادلة. بوضع x = y = 0 :
  f(0) = f(0) + f(0) ⟹ f(0) = 0.

بوضع y = x :
  f(2x) = 2f(x)، وبالترجع f(nx) = n·f(x) من أجل n ∈ ℕ.

بوضع x = (1/n)·t :
  f(t) = n·f(t/n) ⟹ f(t/n) = f(t)/n.

إذن من أجل كل q ∈ ℚ : f(q·x) = q·f(x).
بكثافة ℚ في ℝ واتصال f :
من أجل كل α ∈ ℝ، f(α·x) = α·f(x).

بوضع x = 1، α = x : f(x) = x·f(1).
لنضع a = f(1). إذن f(x) = a·x.

التركيب — لنتحقق من أن f(x) = ax تصلح

لتكن f معرفة بـ f(x) = ax (a ثابت حقيقي).

f(x + y) = a(x + y) = ax + ay = f(x) + f(y) ✓
f متصلة (دالة تآلفية) ✓

إذن f(x) = ax تصلح من أجل كل a ∈ ℝ.

الخلاصة: الدوال المتصلة التي تحقق
المعادلة هي بالضبط الدوال الخطية
f(x) = ax حيث a ∈ ℝ.

🎯 متى نستخدم التحليل-التركيب؟

• معطيات "أوجد جميع..."
• معطيات "حدد الشكل العام لـ..."
• معطيات حيث الحل ليس له شكل واضح
• معادلات تفاضلية مع شرط ابتدائي
• البحث عن عبارة متتالية تراجعية

⚠️ الأخطاء الثلاثة الكلاسيكية

1. نسيان التركيب. إذا لم تتحقق، قد يكون حلك ناقصاً (يحتوي على مرشحين أكثر من اللازم) أو خاطئاً (الشروط الضرورية ليست كافية).
2. الاستنتاج السريع في التحليل. يجب فعلاً الوصول إلى عبارة صريحة، وليس فقط "f يجب أن تحقق كذا أو كذا".
3. الخلط بين "ضروري" و"كافٍ". التحليل يجد الشروط الضرورية (كل حل يجب أن يكون له هذا الشكل). التركيب يبين أنها كافية (هذا الشكل هو فعلاً حل).

🎓 تطبيق على المعادلة التفاضلية (برنامج الباكالوريا)

المعادلة التفاضلية y' = ay + b (a ≠ 0) تُحل عادة بالتحليل-التركيب :

التحليل: لنفترض y حلاً.
لنضع z(x) = y(x) + b/a. إذن z'(x) = y'(x) = a(y + b/a) = a·z.
إذن z(x) = C·e^(ax) من أجل ثابت C ∈ ℝ.
إذن y(x) = C·e^(ax) − b/a.

التركيب: لتكن y(x) = C·e^(ax) − b/a.
y'(x) = aC·e^(ax) = a(y + b/a) = ay + b ✓

الخلاصة: الحلول هي y(x) = C·e^(ax) − b/a،
              C ∈ ℝ.

🧠 لماذا هذه الطريقة قوية جداً

التحليل-التركيب قوي لأنه يفصل بين سؤالين مختلفين :

• السؤال 1 : "إذا كان حل موجوداً، كيف يبدو؟"
• السؤال 2 : "هل هذا الشكل هو فعلاً حل؟"

بمعالجة الاثنين بشكل منفصل، نتجنب الارتباك الذهني الذي يُضيّع التلاميذ في مرحلة واحدة.

مقالات ذات صلة : إثبات الوجود والوحدانية، البرهان بالترجع.