Интернет-журнал "Домашняя лаборатория", 2007 №1

Журнал «Домашняя лаборатория»

В нашем случае

Поэтому

И в самом деле: 27•3–8•10 = 81–80 = 1, поэтому берем x₀ = 3, у₀ = 10. Значит частным решением уравнения аx₁ — by₁ = с будет х₁ =3•2, y₁ = 10•2.

Что касается однородного уравнения ах — by = 0, то очевидным семейством решений его будет

х = b•k, у = a•k, k — произвольное целое число. То, что это общее решение однородного уравнения следует из того, что данное уравнение эквивалентно сравнению ах = (mod b) и в силу взаимной простоты а и b это сравнение можно поделить на а (см. [3]), после чего сравнение превращается в х = (mod b), т. е. х должно делиться на Ь.

В итоге, получаем решение

уравнения (1). Поэтому в исходных переменных получаем:

Если здесь положить k = —1, то получаем дираковское решение: n₀ = n₃ = —2. Однако видно, что оно вовсе не наименьшее, и существует множество других, еще меньше. Впрочем, в каком-то смысле дираковский ответ действительно наименьший из возможных: именно, если искать наименьшее по абсолютной величине возможное количество рыб, то таким в самом деле окажется (-2).

_{Список литературы}

_{[1] Энциклопедия элементарной математики. Государственное изд-во технико-теоретической лит-ры. М.-Л., 1951, стр. 285.}

_{[2] Энциклопедия элементарной математики. Государственное изд-во технико-теоретической лит-ры. М.-Л., 1951, стр. 303.}

_{[3] Энциклопедия элементарной математики. Государственное изд-во технико-теоретической лит-ры. М.-Л., 1951, стр. 275–276.}

Рассмотрим вопрос о количестве решений уравнения

a^x = log_ax (1)

на полуоси х > 0 при 0 < a < 1. Именно, нас интересует вопрос о том, при каких a количество решений равно трем.

Если ?(х) = а^х, то log_a х = ?^{– 1}(х), и наше уравнение (1) принимает вид ?(х) = v^{– 1}(х), что равносильно ?(?(х)) = x или

(2)

Для удобства дальнейшего введем новую переменную t = х•In а и функцию

Тогда

(3)

и уравнение (2) превращается в

(4)

Найдем количество решений данного уравнения. Для этого прежде всего исследуем функцию F(t).

Поскольку исходная функция ?(х) определена на интервале х > 0 и 0 < а < 1, то In а < 0 и t = х In а < 0, т. е. функция F(t) определена на интервале t € (—оо,0).

Асимптотики в предельных точках: lim_t->-ooF(t) = 0–0, lim_t->0–0F(t) = —oo. Т. е. функция F имеет горизонтальную и вертикальную асимптоты.

Далее,

Рис. 1: График функции F(t)

Для

нахождения экстремумов функции F рассмотрим функцию ?(t) = te^t и найдем корни уравнения ?(t) = 1/ln a. Видно, что на интервале t € (—оо,0) имеют место соотношения: lim_t->oo ?(t) = 0–0, ?(0) = 0. Далее, ?'(t) = e^t(t + 1), ?"(t) = e^t(t + 2) и вообще ?⁽ⁿ⁾(t) = e^t(t + n). Поэтому minimum функции ? находится в точке t_min — 1 и равен ?_min = — e^{– 1}

Рис. 2: График функции ?(t) и определение положения точек t₁, и t₂.

Значит:

1) При 1/ln a <= — e^{– 1} <=> a >= e^{– e} экстремумов у функции F нет.

2) При а < е^{– e} функция F имеет один minimum в точке t₁, равный F_min = a^et1/t₁ и один maximum в точке t₂ > t₁, равный F_max = a^et2/t₂; при этом t₁ < = t_min= -1 и t₂ > t_min = -1.

Таким образом уравнение (4) имеет три решения только в случае 2) и лишь в том случае если

F_min > 1/ln a < F_max. (5)

При этом в случае 2) условие (5) является не только необходимым, но и достаточным для наличия у уравнения (4) трех решений. Точки t₁ и t₂ определяются условиями ?(t₁) = t₁e^t1 = ?(t₂) = t₂e^t2 = 1/ln a. Т. е. необходимое и достаточное условие наличия трех решений принимает вид

Левые части уравнений в условиях (6) не зависят от а, и потому эти уравнения имеют вид f(t) = g(a), в то время как неравенства (6) данным свойством не обладают (обе их части зависят от а), что неудобно. Выразим из первого уравнения e^t1= 1/t₁lna и подставим это в соответствующее неравенство. Тогда получим

Аналогично, F_max = e^1/t2/t2. Тогда условия (6) превращаются в

Вспоминая определение функции ?, перепишем условия в форме:

Данные условия удобны тем, что левые части их не зависят уже от а (т. к. функция ? не зависит от а) и имеют вид f(t) = g(а) (т. е. переменные t и а разделены).

Рис. 3: Графики функций ?(t) (красный) и ?(1/t) (синий) и определение точек t1 и t2 (зеленая прямая — на уровне 1/ln a).