استخدام الترميزات للإشارة إلى المقادير
يتيح نظام FullProof ترميز مقادير الزوايا والأطوال والمساحات بحرف يوناني أو لاتيني، واستخدام هذه الترميزات لكتابة المعادلات. استخدام الترميزات يجعل البراهين أنجع بكثير، ولذلك يحب الطلاب والمعلمون كتابة البراهين بهذه الطريقة.
تعريف ترميز جديد
يجب تعريف كل ترميز مرة واحدة فقط، وبعد تعريفه يجب تعليل استخدامه لوصف مقادير أخرى. يمكن تعريف ترميز جديد بثلاث طرق:
في الرسم
عند النقر على زاوية أو قطعة في الرسم تُفتح قائمة، وفيها في قسم قيمة يمكن اختيار حرف أو كتابة تعبير جبري كترميز. للزوايا تقترح القائمة الأحرف اليونانية ألفا وبيتا وغاما، وللقطع الأحرف a وb وc. في الحقل الذي تحتها يمكن كتابة أي تعبير، بلوحة مفاتيح تشمل من بين أمور أخرى رمز الدرجات والقسمة (الكسر) والجذر والقوة.
في ادعاء
لترميز مقدار زاوية أو قطعة يجب اختيار نوع الادعاء ترميز الزاوية أو ترميز القطعة، واختيار العنصر وكتابة الترميز. إذا كان الترميز لمساحة مضلع يجب اختيار ترميز مساحة المثلث أو ترميز مساحة رباعي الأضلاع، واختيار المضلع وكتابة الترميز S.
يظهر التعليل إشارة تلقائيًا.
في معادلة
تُكتب في المعادلة العنصر/المساحة المراد ترميزه والترميز. يجب اختيار التعليل إشارة من قائمة التعليلات.
يمكن تعريف عدة عناصر متساوية معًا. مثال: AB=AC=x
يمكن استخدام أي حرف لاتيني والأحرف اليونانية الموجودة في محرر المعادلات كترميز. مثال: AB=m
يمكن التعريف بواسطة تعبير جبري. مثال: AB=2x
يمكن الدمج بين كل الإمكانيات: AB=AC=2k.
استخدام ترميز موجود
عند استخدام ترميز موجود يجب كتابة تعليل ملائم يشرح لماذا من الصحيح استخدام الترميز بالطريقة التي اخترتموها.
في الرسم
يمكن استخدام الترميز لتحديد مقدار زاوية أو قطعة بواسطة قائمتها في الرسم. يمكن استخدام الترميز نفسه أو تعبير جبري يشمل الترميز.
في ادعاء
يمكن استخدام الترميز لكتابة ادعاءات يكون فيها مقدار آخر مساويًا للترميز المعرَّف أو أكبر منه، أو لكتابة ادعاءات يكون فيها ترميز زاوية مساويًا لقيمة عددية، أو يكون فيها ترميز مساويًا لترميز آخر. كل استخدام أكثر تعقيدًا يجب كتابته كمعادلة.
في معادلة
يُنصح بكتابة المعادلات بأسماء الزوايا الصريحة قبل التعويض بالترميزات والأعداد. لا حاجة لكتابة كل الخطوات الوسيطة للحساب في النظام، يكفي كتابة المعادلة وحلها.