Definition:Cotangent/Definition from Circle