בדמיון משולשים לא צריך הוכחה פורמלית נכון?

מה זה הוכחה פורמלית

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

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