Solucionador automático de problemas de geometría

El cono                    

Ellos dan las pistas de algunos problemas se pueden resolver de forma automática, los valores numéricos tienen ninguna importancia en los distintos ejemplos.