حاسبة صيغة أويلر للمجسّمات

تأخذ هذه القدرة أيّ اثنين من الأعداد الثلاثة وتُعيد الثالث، أو تأخذ الثلاثة جميعها وتخبرك ما إذا كانت الثلاثية متسقة هندسيًا. المكعّب (8 رؤوس و12 حافة و6 أوجه) يحقّق الصيغة؛ أما شكل مزعوم بخمسة رؤوس وثماني حواف وستة أوجه فلا. إنها أسرع طريقة للتحقق من ترويسة شبكة أو إجابة واجب منزلي أو طوبولوجيا نموذج ثلاثي الأبعاد قبل الوثوق بها، وذلك بشكل حتمي وفي استدعاء واحد، دون تقريب ودون بيانات خارجية.

ما الذي تقوله صيغة أويلر حقًا

في عام 1750 لاحظ ليونهارد أويلر أنّه في كل مجسّم محدب — المكعّبات والأهرامات والمناشير واثني عشري الأوجه والقباب الجيوديسية — عددُ الرؤوس ناقص عدد الحواف زائد عدد الأوجه يساوي اثنين دائمًا. تُسمّى القيمة 2 مميّزة أويلر للكرة، وتصحّ الصيغة لأنّ أي مجسّم محدب يمكن تمديده إلى كرة دون تغيير كيفية اتصال زواياه وأضلاعه ومناطقه. العلاقة طوبولوجية بحتة: لا تهتمّ بالأطوال ولا الزوايا ولا التماثل، بل بعدد عناصر كل نوع فقط.

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

كيف يعمل الحساب

الحلّال جبر ابتدائي على الأعداد الصحيحة. فإذا أُعطيت الرؤوس والحواف فالأوجه تساوي E − V + 2، وإذا أُعطيت الرؤوس والأوجه فالحواف تساوي V + F − 2، وإذا أُعطيت الحواف والأوجه فالرؤوس تساوي E − F + 2. وعند وصول الأعداد الثلاثة جميعًا، يحسب النظام مميّزة أويلر V − E + F ويقارنها بالعدد 2، ويُعيد حكمًا منطقيًا مع الثلاثية الكاملة المُقيَّمة.

يجب أن تكون المدخلات أعدادًا صحيحة موجبة: لا يمكن أن يكون للمجسّم رأس كسري أو حافة سالبة، وتُرفض القيم غير الصحيحة أو غير الموجبة برسالة خطأ واضحة بدلًا من تقريبها بصمت. وإذا خرج العدد الثالث المشتقّ صفرًا أو سالبًا — كأن تدّعي 3 رؤوس و4 حواف مما يعني 3 أوجه فقط، ويُختبر بالطريقة نفسها — يبقى الحساب دقيقًا وحتميًا. أمّا تقديم أقلّ من عددين فهو خطأ، لأنّ عددًا واحدًا لا يقول شيئًا عن الشكل.

يعمل كلّ ذلك في ميكروثانية، دون وصول إلى الشبكة ودون عشوائية ودون ساعة، فالطلب نفسه يعيد الإجابة نفسها دائمًا.

أين تثبت فائدتها

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

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