הוספת טענות להוכחה באמצעות התרשים

עבור קטעים וזוויות ניתן להוסיף סימונים בתרשים, ומהם להוסיף טענות להוכחה.

כאשר לוחצים על זווית או קטע בתרשים נפתח תפריט הכולל אפשרויות שונות לסימון האלמנט: סימוני שוויון, סימוני הקבלה (לקטעים), זווית ישרה (לזווית שנראית ישרה בתרשים) וערך.

כאשר מסמנים שני אלמנטים או יותר באותו סימון שוויון, התפריט מציע את השוויון המתאים תחת בחרו טענה מהרשימה כדי להוסיף אותה להוכחה. לחיצה על הטענה מוסיפה אותה להוכחה. כל עוד הסימון לא מציע טענה, למשל כשסימנתם רק אלמנט אחד, התפריט נסגר מיד ואפשר לעבור לאלמנט הבא.

גם סימון ערך מציע טענה מתאימה, למשל ∠BAC = α. כך גם זווית ישרה וסימוני הקבלה.

הסימונים עצמם אינם חלק מההוכחה: טענה נכנסת להוכחה רק כשבוחרים אותה מהרשימה. היא נוספת בלי נימוק, ואת הנימוק בוחרים בעצמכם. בחלק מהטענות המערכת ממלאת את הנימוק ומסמנת אותו אוטומטי. טענה שכבר נמצאת בהוכחה מסומנת ב־✓ (כבר בהוכחה).

מחיקה של סימונים וטענות

• למחיקת סימון יש ללחוץ שוב על הסימון שנבחר בתפריט.
• למחיקת ערך שכתבתם יש ללחוץ על המחק (ניקוי ערך).
• למחיקת שלב בהוכחה יש ללחוץ על מחקו שלב בתפריט השלב (⋮).

מחיקת סימונים בתרשים אינה מוחקת טענות מההוכחה, ומחיקת שלב בהוכחה אינה מוחקת את הסימונים שלכם. הטענות שבהוכחה מסומנות בתרשים אוטומטית, ולכן טענה שהוספתם להוכחה נשארת מסומנת גם אחרי שמחקתם את הסימון שלכם.