مقدمة: البحث عن المعادلات والجذور
تاريخ الرياضيات هو أيضًا تاريخ البحث عن الأعداد المجهولة. عندما ندرس المعادلات التربيعية في المدرسة الإعدادية، نتعلم الصيغة التربيعية. ومع ذلك، إذا اقتصرنا على مجال الأعداد الحقيقية، نلاحظ بسرعة أن هناك معادلات “ليس لها حل حقيقي”. على سبيل المثال، المعادلة $x^2 + 1 = 0$ ليس لها حل في نظام الأعداد الحقيقية. ويرجع ذلك إلى أن مربع أي عدد حقيقي $x$ يكون دائمًا أكبر من أو يساوي $0$، وإضافة $1$ لا يمكن أن يؤدي أبدًا إلى $0$.
ولحل هذه المشكلة، تم إدخال عدد افتراضي مربعه هو $-1$، ألا وهو الوحدة التخيلية $i$. نظام الأعداد الذي يتضمن هذه الوحدة يسمى الأعداد المركبة. ومن خلال إدخال الأعداد المركبة، يمكن إيجاد حلول المعادلة $x^2 + 1 = 0$ كـ $x = \pm i$.
وهنا يبرز سؤال كبير: “إذا وسّعنا نظام الأعداد إلى الأعداد المركبة، هل يمكننا القول إن أي معادلة سيكون لها دائمًا حل؟” أو “هل سنحتاج في أي وقت إلى إدخال نوع جديد آخر من الأعداد؟”
تقدم الرياضيات إجابة واضحة وجميلة جدًا على هذا السؤال. وهذا هو موضوع هذا المقال: المبرهنة الأساسية في الجبر. تؤكد هذه المبرهنة أن “أي كثيرة حدود من الدرجة $n$ بمعاملات مركبة لها دائمًا جذر (حل) ضمن الأعداد المركبة”. بعبارة أخرى، في المحيط الشاسع للأعداد المركبة، يوجد حل لأي معادلة دائمًا، مما يضمن عدم الحاجة إلى اختراع أي أعداد جديدة.
في هذا المقال، سنشرح المبرهنة الأساسية في الجبر بالتفصيل، بدءًا من خلفيتها التاريخية، وانتقالاً إلى نهج بديهي يعتمد على الطوبولوجيا، وأخيرًا تقديم إثبات صارم وجميل باستخدام التحليل المركب.
الخلفية التاريخية للمبرهنة الأساسية في الجبر
لم يتم إثبات المبرهنة الأساسية في الجبر بين عشية وضحاها. لقد كافح العديد من علماء الرياضيات العظماء لتحقيق إثبات كامل، ولم يشكوا أبدًا في حقيقة المبرهنة.
في القرن السابع عشر، عرف علماء رياضيات مثل رينيه ديكارت وألبرت جيرارد تجريبيًا أن “معادلة من الدرجة $n$ يجب أن يكون لها $n$ من الجذور”. ومع ذلك، وضمن الإطار الرياضي في ذلك الوقت، لم تكن هناك وسيلة صارمة لإثبات ذلك.
ومع دخول القرن الثامن عشر، حاول عمالقة الرياضيات مثل جان لو رون دالمبير وليونارد أويلر الإثبات. نشر دالمبير إثباتًا في عام 1746، وتُسمى المبرهنة أحيانًا بـ “مبرهنة دالمبير” في فرنسا؛ ومع ذلك، وبالمعايير الحديثة، افتقر إثباته إلى الصرامة الطوبولوجية في مناطق معينة. كما حاول أويلر أيضًا إظهار أن أي كثيرة حدود بمعاملات حقيقية يمكن تحليلها إلى حاصل ضرب كثيرات حدود خطية وتربيعية، لكنه ترك فجوة منطقية.
تم تقديم الإثبات الأول شبه الكامل لهذه المبرهنة المنيعة من قبل كارل فريدريش غاوس. في رسالته للدكتوراه عام 1799، أشار إلى عيوب في إثباتات علماء الرياضيات السابقين وقدم إثباتًا استند إلى الحدس الهندسي. وقدم غاوس أربعة إثباتات مختلفة لهذه المبرهنة طوال حياته، مما يدل على مدى الأهمية التي كان يوليها لها.
يعتبر الإثبات الأكثر قياسية وأناقة اليوم هو ذلك المستند إلى نظرية التحليل المركب، التي بناها عالم الرياضيات الفرنسي جوزيف ليوفيل وآخرون. وفي النصف الثاني من هذا المقال، سنقدم الإثبات باستخدام مبرهنة ليوفيل.
الصياغة الدقيقة للمبرهنة
أولاً، دعونا نصف تأكيد المبرهنة بمصطلحات دقيقة رياضيًا.
مبرهنة (المبرهنة الأساسية في الجبر) لأي عدد طبيعي $n \ge 1$ ومعاملات مركبة $a_0, a_1, \dots, a_n$ (حيث $a_n \neq 0$)، تُعرّف كثيرة الحدود $P(z)$ على النحو التالي:
$$ P(z) = a_n z^n + a_{n-1} z^{n-1} + \dots + a_1 z + a_0 $$عندئذ، المعادلة $P(z) = 0$ لها حل واحد على الأقل في المستوى المركب. أي أنه يوجد عدد مركب $\alpha$ بحيث أن $P(\alpha) = 0$.
للوهلة الأولى، تقول “حل واحد على الأقل”، ولكن بدمجها مع مبرهنة الباقي لكثيرات الحدود، يمكننا بسهولة استنتاج التأكيد الأقوى بأن “معادلة من الدرجة $n$ لها بالضبط $n$ من الحلول المركبة، مع حساب التعددات”. (سيتم شرح هذه النقطة بالتفصيل في قسم “نتيجة المبرهنة” أدناه).
الفهم البديهي: النهج الطوبولوجي
قبل الغوص في الإثبات الصارم، دعونا نستوعب صورة بديهية لسبب صحة هذه المبرهنة. هنا، نقدم نهجًا يستخدم مفهوم “عدد اللفات” (Winding number) من الطوبولوجيا.
لنمثل نقطة على المستوى المركب في الشكل القطبي كـ $z = R e^{i\theta}$. هنا، $R$ هي المسافة (نصف القطر) من نقطة الأصل، و $\theta$ هي الزاوية.
تأمل كثيرة الحدود $P(z) = a_n z^n + a_{n-1} z^{n-1} + \dots + a_0$. إذا كان $R$ كبيرًا جدًا، تصبح القيمة المطلقة لـ $z$ ضخمة، ويهيمن الحد ذو الدرجة العليا $a_n z^n$ بشكل شبه كامل على قيمة كثيرة الحدود. أي، عندما يكون $R$ كبيرًا بما يكفي، يمكننا تقريب $P(z) \approx a_n z^n$.
الآن، افترض أننا جعلنا $z$ يسافر في دائرة كاملة على طول دائرة عملاقة نصف قطرها $R$. عندما تتغير $\theta$ من $0$ إلى $2\pi$، تصبح زاوية $z^n$ هي $n\theta$، وتتغير من $0$ إلى $2n\pi$. هذا يعني أن المسار الذي ترسمه $P(z)$ يصبح منحنى مغلقًا يلتف حول نقطة الأصل للمستوى المركب بالضبط $n$ من المرات.
بعد ذلك، تخيل عملية تقليص نصف القطر $R$ بشكل مستمر. مع تناقص $R$ تدريجيًا، يتشوه المنحنى المغلق الذي ترسمه $P(z)$ بشكل مستمر أيضًا. في النهاية، عندما $R = 0$، يتقلص المنحنى إلى نقطة واحدة، $P(0) = a_0$.
الاستمرارية هي المفتاح هنا. فالحلقة الكبيرة التي التفت في البداية حول نقطة الأصل $n$ من المرات تتقلص في النهاية إلى نقطة واحدة لا تحتوي على نقطة الأصل. ومن الناحية الطوبولوجية، من المستحيل أن تتقلص الحلقة باستمرار إلى نقطة بعيدة عن نقطة الأصل دون المرور بنقطة الأصل. بعبارة أخرى، في مكان ما في عملية الانكماش، يجب أن يمر هذا المنحنى عبر نقطة الأصل ($0$).
في اللحظة التي يمر فيها المنحنى عبر نقطة الأصل، فهذا يعني بالضبط أن هناك $z$ بحيث أن $P(z) = 0$. هذا هو السبب البديهي لوجوب وجود حل دائمًا.
flowchart TD
%% نظرة عامة على رسم خرائط المنحنى
A["دائرة كبيرة نصف قطرها R تتمركز في الأصل"] -->|"رسم بواسطة كثيرة الحدود P(z)"| B["منحنى مغلق على المستوى المركب"]
B -->|"عندما يكون R كبيرًا بما فيه الكفاية"| C["منحنى يلتف حول الأصل n من المرات"]
C -->|"تقليص مستمر لـ R إلى 0"| D["يتقلص المنحنى بشكل مستمر باتجاه الأصل"]
D -->|"استمرارية طوبولوجية"| E["يجب أن يمر عبر نقطة الأصل على طول الطريق"]
E -->|"P(z) = 0"| F["تم إثبات وجود جذر"]
تحضير من التحليل المركب: مبرهنة ليوفيل
بعد اكتساب فهم بديهي، سنقدم الآن الإثبات الأجمل والأكثر صرامة في الرياضيات الحديثة. يستخدم هذا الإثبات سلاحًا قويًا من أسلحة التحليل المركب: مبرهنة ليوفيل.
التحليل المركب هو المجال الذي يتعامل مع تفاضل وتكامل دوال المتغيرات المركبة. وعلى عكس دوال الأعداد الحقيقية، فإن قابلية التفاضل (الهولومورفية) للدوال المركبة هي شرط قوي للغاية؛ فالدالة المركبة القابلة للتفاضل ولو لمرة واحدة فقط لها خاصية مذهلة تتمثل في كونها قابلة للتفاضل لعدد لا نهائي من المرات وقادرة على التوسع في متسلسلة تايلور.
الدالة القابلة للتفاضل (الهولومورفية) على كامل المستوى المركب تسمى دالة صحيحة (Entire function). تعتبر كثيرات الحدود $P(z)$ والدالة الأسية $e^z$ أمثلة نموذجية للدوال الصحيحة.
ومبرهنة ليوفيل هي مبرهنة قوية للغاية فيما يتعلق بهذه الدوال الصحيحة.
مبرهنة (مبرهنة ليوفيل) كل دالة صحيحة ومحدودة يجب أن تكون دالة ثابتة.
هنا، تعني كلمة “محدودة” أنه لجميع الأعداد المركبة $z$، فإن القيمة المطلقة للدالة $|f(z)|$ لا تتجاوز عددًا حقيقيًا معينًا $M$؛ أي أنه يوجد $M$ بحيث أن $|f(z)| \le M$.
في عالم الأعداد الحقيقية، الدالة مثل $f(x) = \sin(x)$ قابلة للتفاضل على كامل خط الأعداد ومحدودة بـ $-1 \le \sin(x) \le 1$. وهي ليست دالة ثابتة. ومع ذلك، تؤكد مبرهنة ليوفيل أن هذا لا يمكن أن يحدث أبدًا في العالم المركب. إذا كانت الدالة هولومورفية على المستوى المركب بأكمله ولم تتباعد قيمتها إلى اللانهاية، فهي مجرد ثابت مسطح.
الإثبات الصارم للمبرهنة الأساسية في الجبر
دعونا الآن نثبت المبرهنة الأساسية في الجبر باستخدام مبرهنة ليوفيل. ستندهش من روعة هذا الإثبات. هنا نستخدم البرهان بالخُلف.
الإثبات
افترض أنه لأي كثيرة حدود $P(z) = a_n z^n + \dots + a_1 z + a_0$ من الدرجة $n$ ($n \ge 1$) بمعاملات مركبة (حيث $a_n \neq 0$)، فإن المعادلة $P(z) = 0$ ليس لها حل على المستوى المركب.
أي، افترض أن $P(z) \neq 0$ لجميع الأعداد المركبة $z$.
ثم، عَرّف دالة جديدة $f(z)$ على النحو التالي:
$$ f(z) = \frac{1}{P(z)} $$بناءً على افتراضنا، المقام $P(z)$ لا يصبح أبدًا $0$، لذلك فإن هذه الدالة $f(z)$ ليس لها أي نقاط شاذة (النقاط التي يكون فيها المقام $0$) في أي مكان على المستوى المركب. وبما أن كثيرة الحدود $P(z)$ هولومورفية (قابلة للتفاضل) في كل مكان، فإن مقلوبها هو أيضًا هولومورفي طالما أنه لا يساوي $0$. وبالتالي، فإن $f(z)$ هي دالة هولومورفية على المستوى المركب بأكمله، أي أنها دالة صحيحة.
بعد ذلك، نفحص سلوك $f(z)$ عندما تقترب $|z|$ من اللانهاية. باستخدام متراجحة المثلث، عندما تكون $|z|$ كبيرة بما يكفي، فإن مقدار القيمة المطلقة لكثيرة الحدود $P(z)$ يهيمن عليه الحد ذو الدرجة العليا، وبالتالي تتباعد نحو اللانهاية.
بالمعنى الدقيق للكلمة، عندما $|z| \to \infty$،
$$ |P(z)| = |z|^n \left| a_n + \frac{a_{n-1}}{z} + \dots + \frac{a_0}{z^n} \right| \to \infty $$وتعني حقيقة أن القيمة المطلقة لـ $P(z)$ تتباعد إلى اللانهاية أن القيمة المطلقة لمقلوبها $f(z) = 1/P(z)$ تتقارب إلى $0$.
أي،
$$ \lim_{|z| \to \infty} |f(z)| = 0 $$النهاية $0$ تعني أنه خارج دائرة نصف قطرها $R$ كبير بما فيه الكفاية، يمكن أن تكون القيمة محدودة، على سبيل المثال، $|f(z)| \le 1$. من ناحية أخرى، وداخل منطقة القرص المغلق (منطقة مغلقة محدودة) التي تتضمن داخل الدائرة نصف القطر $R$، يجب أن يكون للدالة المستمرة قيمة عظمى. ولذلك، وسواء خارج الدائرة أو داخلها، فإن القيمة المطلقة لـ $f(z)$ لا تتجاوز أبدًا حدًا أعلى منتهيًا معينًا. أي أن $f(z)$ دالة محدودة.
حتى هذه النقطة، أوضحنا أن $f(z)$ هي في نفس الوقت “دالة صحيحة” و “محدودة”. وهنا نطبق مبرهنة ليوفيل. الدالة الصحيحة المحدودة يجب أن تكون ثابتة. ولذلك، يوجد عدد مركب $c$ بحيث أنه لجميع $z$،
$$ f(z) = c $$ومع ذلك، وبما أن $\lim_{|z| \to \infty} f(z) = 0$، يجب أن يكون هذا الثابت $c$ هو $0$. أي، $f(z) = 0$ لجميع $z$.
ولكن نظرًا لأن $f(z) = \frac{1}{P(z)}$، فمن المستحيل أن تساوي الدالة الكسرية $0$ (لأن البسط هو $1$). وهذا تناقض واضح.
نشأ هذا التناقض من افتراضنا أن “$P(z) = 0$ ليس لها حل على المستوى المركب”. وبالتالي، وبالخُلف، يثبت أن $P(z) = 0$ لها حل واحد على الأقل في المستوى المركب.
(نهاية الإثبات)
نتيجة المبرهنة: التحليل إلى عوامل خطية
تضمن المبرهنة الأساسية في الجبر وجود “حل واحد على الأقل”. وبدمج هذه الحقيقة مع مبرهنة العامل لقسمة كثيرات الحدود، يمكننا إثبات أنه يمكن تحليل كثيرة الحدود بالكامل إلى حاصل ضرب حدود خطية.
بإعطاء كثيرة حدود $P_n(z)$ من الدرجة $n$، تنص المبرهنة الأساسية في الجبر على أنه يوجد حل $\alpha_1$ بحيث أن $P_n(\alpha_1) = 0$. ووفقًا لمبرهنة العامل، فإن $P_n(z)$ لها $(z - \alpha_1)$ كعامل. أي، يمكن تحليلها على النحو التالي:
$$ P_n(z) = (z - \alpha_1) P_{n-1}(z) $$هنا، $P_{n-1}(z)$ هي كثيرة حدود من الدرجة $n-1$. وإذا كان $n-1 \ge 1$، فيمكننا تطبيق المبرهنة الأساسية في الجبر مرة أخرى لإيجاد حل $\alpha_2$ لـ $P_{n-1}(z)$. وبتكرار ذلك $n$ من المرات، يمكننا تحليلها بالكامل على النحو التالي:
$$ P_n(z) = a_n (z - \alpha_1)(z - \alpha_2) \dots (z - \alpha_n) $$ومن هذه النتيجة، يمكننا استخلاص الاستنتاج الجميل والكامل العميق بأن “معادلة من الدرجة $n$ بمعاملات مركبة لها بالضبط $n$ من الحلول، مع حساب التعددات”. ولهذا السبب تُسمى بـ “المبرهنة الأساسية”.
وعلاوة على ذلك، وبالنسبة لكثيرات الحدود التي تكون جميع معاملاتها أعدادًا حقيقية، إذا كان $\alpha$ حلًا، فيجب أن يكون مرافقها المركب $\overline{\alpha}$ حلاً أيضًا. وباستخدام هذه الخاصية، يمكننا أيضًا استنتاج حقيقة أن “أي كثيرة حدود بمعاملات حقيقية يمكن تحليلها بالكامل إلى حاصل ضرب كثيرات حدود خطية وتربيعية ضمن الأعداد الحقيقية”.
خاتمة
في هذا المقال، ألقينا نظرة مفصلة على المبرهنة الأساسية في الجبر، وغطينا خلفيتها التاريخية، والحدس الطوبولوجي، والإثبات التحليلي المركب باستخدام مبرهنة ليوفيل.
للوهلة الأولى، هي مبرهنة حول المعادلات الجبرية، لكن حقيقة أن إثباتها الأكثر أناقة يستعير قوة التحليل (التفاضل والتكامل) والطوبولوجيا توضح عمق الرياضيات وجمال كيفية تشابك المجالات المختلفة مع بعضها البعض.
اكتسب بحث البشرية الطويل لإيجاد جذور المعادلات مسرح المستوى المركب الواسع من خلال إدخال الأعداد التخيلية الجديدة، وتم إثبات اكتمال هذا المسرح من خلال المبرهنة الأساسية في الجبر. أصبحت هذه المبرهنة المفتاح الذي فتح الأبواب الرائعة المؤدية إلى نظرية غالوا والهندسة الجبرية، والتي تشكل حجر الأساس للرياضيات الحديثة.