ببین اون گوشه ی مربع عمود خب ما ثابت کردیم اون دو تا مثلث هم نهشتن اون گوشه ی مربع که 90رو ما میدونیم جمعه دوزاویه غیر زاویه مجاور در مثلث ها برابر با زاویه ی خارجی است یعنی o1+f2=90 حالا ما ثابت کردیم مثلث همنهشته یعنی o1=f1 یعنی f1+f2=90 بوده است