Cuadratura del círculo a partir de la rectificación de Kochanski y la media proporcional con el radio.