Problema 41. Sangaku (problema japonés),
circunferencias tangentes.
La figura muestra tres circunferencias
tangentes (representando la cabeza y las orejas del ratón
Mickey). Si a, b, c son la medida de los radios y d es la
longitud de la tangente común DE, demostrar que
.