Для любого ли натурального числа a существует неотрицательное целое k, для которого существует неотрицательное целое s такое, чтобы выполнялось неравенство на фото?
Приложения:
Ответы
Ответ дал:
1
Несколько шагов, которые я не расписываю:
1) нацепление двоичного логарифма на все 3 куска неравенства
2) преобразование логарифма произведения в сумму логарифмов в левой и правой части, с последующим вычитанием логарифма от 5^к из всех 3 частей
3) подведение всех 3 частей к степени двойки
получаем такое неравенство:
а < 2^(s-k*log_2(5)) < a+1
Теперь сильное утверждение: любое число можно приблизить сколь угодно сильно, используя лишь s-k*log_2(5), увеличивая s и k до нужного порядка.
Тогда мы всегда можем найти такие k и s, что б двойка в оной степени подходила под наше неравенство, ибо мы можем приблизить любую действительную степень, значит и любое число после возведения двойки в эту степень.
AhahaStudio:
Спасибо, но у меня всё ещё вопрос, почему сильное утверждение действительно верно? Почему s и k всегда можно достаточно увеличить, учитывая что они натуральные, чтобы имело место а < 2^(s-k*log_2(5)) < a+1 для любого натурального а. С вещественными s и k проблем нет. Достаточно, чтобы 2^(s-k*log_2(5)) было средним арифметическим a и (a+1). Понятно, что такие вещественные s и k найдутся. А почему натуральные найдутся?
Вас заинтересует
5 месяцев назад
5 месяцев назад
1 год назад
1 год назад
2 года назад
7 лет назад