Teorema del Coseno

Aquí tienes una confirmación del teorema del coseno para cualquier triángulo. Varía el punto E y verás como se cumple dicho teorema.

Para el caso de que el ángulo sea 90º,¿qué Teorema se obtendría?