انتقل إلى المحتوى

05 · الجذور الجبرية الحقيقية: العزل والتنصيف

الجذور الجبرية الحقيقية: العزل والتنصيف

صف جذرًا بكثيرة حدوده وفترة نسبية تحتوي جذرًا واحدًا فقط ثم ضيّقها.

قبل هذا الفصل

تستطيع تقييم كثيرة الحدود بدقة وعد جذورها داخل فترة.

بعد هذا الفصل تستطيع
  • شرح التعريف الرياضي لـ «الجذور الجبرية الحقيقية: العزل والتنصيف» بكلماتك
  • تحديد تمثيله في بيانات Python
  • توقع تنفيذ صغير من الشفرة الفعلية
التعريف الرياضي

العدد الحقيقي الجبري جذر لكثيرة حدود غير صفرية. نحدد هنا جذرًا بعينه بكثيرة الحدود وفترة مفتوحة تعزله.

تمثيل البيانات

يخزن `AlgebraicRoot` كثيرة الحدود والطرفين النسبيين ويتحقق من الوحدانية، ويحفظ `RationalInterval` كل تقريب.

التنفيذ في Python

`(p,(a,b))` → `AlgebraicRoot`; `Iₙ → Iₙ₊₁` → `_bisect`

التنفيذ والاختبارات للقراءة مع الفصل

peano/algebraic_root.py · tests/test_algebraic_root.py

التعريف الرياضي

التعريف الرياضي

العدد الحقيقي الجبري جذر لكثيرة حدود غير صفرية. نحدد هنا جذرًا بعينه بكثيرة الحدود وفترة مفتوحة تعزله.

تمثيل البيانات

تمثيل البيانات

يخزن AlgebraicRoot كثيرة الحدود والطرفين النسبيين ويتحقق من الوحدانية، ويحفظ RationalInterval كل تقريب.

التنفيذ في Python

التنفيذ في Python

يحسب _bisect المنتصف النسبي ويختار بعدّ الجذور النصف الذي يحتفظ بالجذر الوحيد، ويكرر trace الخطوة.

المطابقة الدقيقة المستخدمة في الدورة:

`(p,(a,b))` → `AlgebraicRoot`; `Iₙ → Iₙ₊₁` → `_bisect`

مسار التنفيذ

مسار التنفيذ

يبدأ الجذر الموجب لـx²-2 في (1,2). تبقى الفترات نسبية ومتداخلة وينخفض عرضها إلى النصف.

توقع قبل التشغيل

احسب نقاط المنتصف الثلاث الأولى وحدد النصف المحفوظ كل مرة.

تجربة · الجذور الجبرية الحقيقية: العزل والتنصيف لم يُشغّل
⌘ / Ctrl + Enter
المخرجات
اكتب توقعك أولًا ثم شغّل.

التحقق بالاختبارات

التحقق بالاختبارات

تشترط الاختبارات جذرًا أوليًا واحدًا وتفحص التداخل وتناقص العرض.

النطاق والحدود

النطاق والحدود

يهدف النوع إلى مشاهدة تقريب جذر واحد ولا يوفر حسابًا كاملًا أو مساواة عامة للأعداد الجبرية.

أي عبارة تصف تنفيذ «الجذور الجبرية الحقيقية: العزل والتنصيف» وصفًا صحيحًا؟