Nel triangolo ABC traccia la bisettrice dell’angolo esterno di vertice B fino a incontrare l’asse del lato AB in D. dimostra che AD^B=AB^C
Nel triangolo ABC traccia la bisettrice dell’angolo esterno di vertice B fino a incontrare l’asse del lato AB in D. dimostra che AD^B=AB^C
Qui D= F
L'angolo ABF (=x) coincide con la metà dell'angolo esterno a B essendo opposti al vertice (formato dalla bisettrice e la retta passante per A e B). L'angolo ABC = 180 -2*x.
I triangoli AMF e BMF sono congruenti in quanto hanno un cateto in comune, un cateto congruente ed l' angolo compreso (retto) congruente. Quindi BAF = ABF =x.
AFB = 180 -2*x = ABC