[Michel]

Si la base menor de un trapecio isósceles es igual a uno de los lados no paralelos, demostrar que las diagonales son bisectrices de los ángulos de la base mayor.

[Michel]

Sea el trapecio isósceles ABCD, con DC=DA=CB.
El triángulo ADC es isósceles, luego a=c.
Por alternos internos b=c.
Entonces a=b, por lo que la diagonal AC es bisectriz del ángulo A.
Análogamente se demuestra que BD es bisectriz del ángulo B.