“formula of involute of circle”