ما الفرق بين الادعاء والمعادلة؟
النقر على عبارة أو معادلة جديدة يفتح نافذة اختاروا نوع الادعاء. في النافذة يمكن اختيار ادعاء من أحد المواضيع، أو معادلة من موضوع معادلات.
ادعاء
عند اختيار نوع الادعاء، تُملأ فيه عناصر من الرسم (قطع، زوايا، مثلثات وغيرها) في الأماكن المحددة.
أمثلة على ادعاءات:
- تساوٍ/عدم تساوٍ بين قطعتين/زاويتين
- تطابق مثلثات
- تعامد/توازي مستقيمات
- القيمة العددية لزاوية (∠ABC=50°)
- أنواع المضلعات (المثلث قائم الزاوية، الرباعي معيّن)
- أنواع النقاط والقطع (القطعة ارتفاع، النقطة نقطة التقاء المتوسطات)
- تعريف الترميزات
معادلة
عند اختيار معادلة، يُفتح محرر معادلات يتيح استخدام الترميزات والكسور والقوى وغير ذلك.
في المعادلة مرونة أكبر في كتابة التعابير الرياضية، ما دام الأمر يتعلق بتساوٍ. أمثلة:
- تساوي 3 تعابير أو أكثر (AB=BC=CD=AD)
- تساوٍ يشمل عمليات حسابية (AB+3AD=2CD+EF)
- كتابة رياضية للقوى والنسب والزوايا والمساحات والمحيطات وغيرها بواسطة لوحة المفاتيح ومحرر المعادلات.
كيف أعرف ماذا أختار؟
التمييز بين الادعاءات والمعادلات في FullProof هو في أساسه تقني وليس رياضيًا: أي نوع من الادعاءات يمكن كتابته في كل نوع، وكيف يفحص النظام هذا السطر في الحل. لذلك في بداية العمل مع النظام يُنصح بمحاولة إضافة الادعاء المطلوب بواسطة الرسم، وإذا لم تنجحوا فبواسطة ادعاء، وإذا لم تنجحوا مرة أخرى فانتقلوا إلى معادلة.