Igualando las áreas y cancelando las figuras iguales se obtiene que formula_3, equivalente al Teorema del coseno.