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