Довжина кола, довжина дуги