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