إضافة ادعاءات إلى البرهان بواسطة الرسم
للقطع والزوايا يمكن إضافة علامات في الرسم، ومنها إضافة ادعاءات إلى البرهان.
عند النقر على زاوية أو قطعة في الرسم تُفتح قائمة فيها خيارات مختلفة لتعليم العنصر: علامات التساوي، علامات التوازي (للقطع)، زاوية قائمة (لزاوية تبدو قائمة في الرسم) وقيمة.
عند تعليم عنصرين أو أكثر بعلامة التساوي نفسها، تقترح القائمة التساوي الملائم تحت يمكن اختيار ادعاء من القائمة لإضافته إلى البرهان. النقر على الادعاء يضيفه إلى البرهان. ما دامت العلامة لا تقترح ادعاءً، مثلًا عندما علّمتم عنصرًا واحدًا فقط، تُغلق القائمة فورًا ويمكن الانتقال إلى العنصر التالي.
علامة القيمة أيضًا تقترح ادعاءً ملائمًا، مثلًا ∠BAC = α. وكذلك الزاوية القائمة وعلامات التوازي.
العلامات نفسها ليست جزءًا من البرهان: يدخل الادعاء إلى البرهان فقط عند اختياره من القائمة. يُضاف بدون تعليل، وأنتم تختارون التعليل بأنفسكم. في بعض الادعاءات يملأ النظام التعليل ويعلّمه تلقائي. الادعاء الموجود في البرهان مسبقًا يظهر بجانبه ✓ (موجود في البرهان).
حذف العلامات والادعاءات
- لحذف علامة يجب النقر مرة أخرى على العلامة المختارة في القائمة.
- لحذف قيمة كتبتموها يجب النقر على الممحاة (مسح القيمة).
- لحذف خطوة في البرهان يجب النقر على حذف الخطوة في قائمة الخطوة (⋮).
حذف العلامات في الرسم لا يحذف ادعاءات من البرهان، وحذف خطوة في البرهان لا يحذف علاماتكم. الادعاءات الموجودة في البرهان تُعلَّم في الرسم تلقائيًا، لذلك يبقى الادعاء الذي أضفتموه إلى البرهان معلّمًا حتى بعد حذف علامتكم.