Математические теоремы: длина окружности и её применение