שינויים
היטל
,/* 3 */
הוכיחו כי לכל שני וקטורים <math>u_1,u_2\in U</math> מתקיים <math><P_U(u_1),u_2>=<u_1,P_U(u_2)></math>
'''פתרון:'''
א. כפי שראינו בהגדרה השנייה, <math>\Big(v-\pi_U(v)\Big)\in U^\perp</math>ולכן
::<math><v-\pi_U(v),u>=0</math>
נשתמש בלינארית ברכיב ראשון ונעביר אגף על מנת לקבל
::<math><v,u>=<\pi_U(v),u></math>
