GEOMETRY WORKSPACE

מרחב הוכחה

מאגר המשפטים · 250 רשומות

מה מוכיחים היום?

רשימת הסימונים שלי

    סימונים שלך עוזרים לחשוב. הם אינם נתונים או הוכחה.

    שלב אחרי שלב

    טענה ונימוק

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

    עזרה בסימון מתמטי

    אפשר להקליד AB = AC, משולש ABC חופף למשולש DEF, או AB מקביל ל CD. בחירת סמל אינה בוחרת נימוק.

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

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