Igualando áreas y cancelando las zonas rojas da formula_4, como queríamos demostrar.