שימוש בסימונים לציון גדלים
מערכת FullProof מאפשרת סימון גדלים של זוויות, אורכים ושטחים ע״י אות יוונית או אות לטינית, וגם להשתמש בסימונים אלה לכתיבת משוואות. השימוש בסימונים מייעל מאוד את ההוכחות ולכן תלמידים ומורים אוהבים לכתוב הוכחות בדרך זו.
הגדרת סימון חדש
כל סימון יש להגדיר פעם אחת בלבד, ואחרי הגדרת הסימון יש להסביר את השימוש בסימון לתיאור גדלים אחרים. הגדרת סימון חדש אפשרית בשלוש דרכים:
בתרשים
כאשר לוחצים על זווית או קטע בתרשים נפתח תפריט, ובו בחלק ערך אפשר לבחור אות או לכתוב ביטוי אלגברי לסימון. לזוויות התפריט מציע את האותיות היווניות אלפא, בטא וגאמא, ולקטעים את האותיות a, b, c. בשדה שמתחתן אפשר לכתוב כל ביטוי, עם מקלדת שכוללת בין השאר את סימן המעלות, חילוק (שבר), שורש וחזקה.
בטענה
עבור סימון גודל של זווית או קטע יש לבחור את סוג הטענה סימון זווית או סימון קטע, לבחור את האלמנט ולכתוב את הסימון. אם הסימון הוא של שטח מצולע יש לבחור סימון שטח של משולש או סימון שטח של מרובע, לבחור את המצולע ולכתוב את הסימון S.
הנימוק סימון יופיע באופן אוטומטי.
במשוואה
כותבים במשוואה את האלמנט/השטח שרוצים לסמן ואת הסימון. יש לבחור את הנימוק סימון מרשימת הנימוקים.
ניתן להגדיר מספר אלמנטים שווים יחד. דוגמה: AB=AC=x
ניתן להשתמש כסימון בכל אות לטינית ובאותיות היווניות שבעורך המשוואות. דוגמה: AB=m
ניתן להגדיר ע״י ביטוי אלגברי. דוגמה: AB=2x
ניתן לשלב את כל האפשרויות: AB=AC=2k.
שימוש בסימון קיים
בשימוש בסימון קיים יש לרשום נימוק מתאים, שמסביר למה נכון להשתמש בסימון באופן שבו בחרתם.
בתרשים
ניתן להשתמש בסימון להגדרת גודל של זווית או קטע באמצעות התפריט שלהם בתרשים. אפשר להשתמש בסימון עצמו או בביטוי אלגברי שכולל את הסימון.
בטענה
ניתן להשתמש בסימון לכתיבת טענות שבהן גודל אחר שווה לסימון שהוגדר או גדול ממנו או לכתיבת טענות שבהן סימון של זווית שווה לערך מספרי, או שסימון שווה לסימון אחר. כל שימוש מורכב יותר יש לכתוב כמשוואה.
במשוואה
את המשוואות מומלץ לכתוב בשמות מפורשים של הזוויות לפני הצבת הסימונים והמספרים. אין צורך לכתוב במערכת את כל שלבי הביניים של החישוב, מספיק לכתוב את המשוואה ואת הפתרון שלה.