מהי הוכחה מתמטית?
במצריים העתיקה, כמו גם ביוון, אנשים עסקו בשאלות מעשיות, למשל בחלוקת חלקות אדמה.
לכן הגאומטריה העתיקה עסקה בעיקר במדידות ובאובייקטים כמו משולשים, מרובעים ומעגלים (למשל, לצורך עיצוב של אמפיתאטרונים). אנשים
ציירו את האובייקטים, תיארו אותם במילים והסבירו כיצד האובייקטים יתמקדו במרחב. ציורים, ג'סטות, אנלוגיות, אוטוריטות ולפעמים אף אלימות
עזרו "לשכנע" אחרים שההצעות עונות על הדרישות. לאנשים לא היה צורך בהוכחה פורמלית מעבר לסתם שכנוע.
הוכחה מתמטית היא אמצעי לשכנע חבורת אנשים שטענה מסוימת נכונה במערכת שבה ישנה הסכמה על כללים לוגיים מסוימים. דרך טבעית להוכיח
לחבורת אנשים שטענה כלשהי נכונה היא לייחס אותה לטענות A, B, C… שכבר ידועות כנכונות. מתקבלת שרשרת: A->B->C->…->X.
ללימוד הוכחות לוגיות מתמטיות יש שימוש רב בחיי יום יום.
סדנה 3 - על נקודות ומצולעים חסומים, ועל מרחקים קבועים
סדנה 4 - מצולעים
סדנה 5 - הוכחות ולא רק בגאומטריה
