AD תיכון ל-BC
נתון:
, צריך להוכיח
.
נסמן את היטל AB על BC ב-p (אם
אז p<0)
במשולש ABC, נקבל, ע"פ משפט פיתגורס המורחב:
נעביר אגפים, ונקבל:
במשולש ABD, נקבל, ע"פ משפט פיתגורס המורחב:
נציב
, ונקבל:
נעביר אגפים ונכפיל ב-2, ונקבל:
לכן, נקבל:
לאחר העברת אגפים, נקבל: