Будем считать, что L≠B. Иначе утверждение не верно (или тогда в условии должно быть что-то сказано про кратность корня. Но в этом случае не будет задачи, т.к. если кратность, допустим корня В больше или равна 2, то по определению кратности корня это и значит делимость многочлена на (x-B)²).
Итак, если L - корень многочлена P(x), то по т. Безу P(x)=(x-L)P₁(x), где P₁(x) - некоторый многочлен. Т.к. В - тоже корень многочлена P(x), то P(B)=(B-L)P₁(B)=0, откуда P₁(B)=0, т.е. B - корень многочлена P₁(x). Значит, опять по т. Безу P₁(х)=(х-В)P₂(x). Таким образом, P(x)=(x-L)P₁(x)=(x-L)(х-В)P₂(x), что и требовалось.
и множество натуральных чисел ℕ. Замечу, что при любом k дробь вида является несократимой, то есть если выписывать такие дроби, начиная с k = 1 и увеличивая каждый раз переменную k на 1, ни одна из них не повторится (так как знаменатель постоянно увеличивается).
Покажем, что между этими двумя множествами можно установить взаимно однозначное соответствие. Для этого всем дробям вида , где , поставим в соответствие число . С одной стороны, согласно построению каждой такой дроби будет соответствовать натуральное , притом единственное. С другой стороны, для каждого натурального можно указать единственную (смотри замечание в предыдущем абзаце) дробь вида , и все они будут принадлежать множеству A, поскольку пробегает все натуральные значения. Итак, построенное соответствие действительно взаимно однозначное. А раз множество ℕ счетное, то и множество A также счетное.
Итак, если L - корень многочлена P(x), то по т. Безу P(x)=(x-L)P₁(x), где P₁(x) - некоторый многочлен. Т.к. В - тоже корень многочлена P(x), то P(B)=(B-L)P₁(B)=0, откуда P₁(B)=0, т.е. B - корень многочлена P₁(x). Значит, опять по т. Безу P₁(х)=(х-В)P₂(x). Таким образом, P(x)=(x-L)P₁(x)=(x-L)(х-В)P₂(x), что и требовалось.
Рассмотрим множество A, заданное в условии:
и множество натуральных чисел ℕ. Замечу, что при любом k дробь вида
является несократимой, то есть если выписывать такие дроби, начиная с k = 1 и увеличивая каждый раз переменную k на 1, ни одна из них не повторится (так как знаменатель постоянно увеличивается).
Покажем, что между этими двумя множествами можно установить взаимно однозначное соответствие. Для этого всем дробям вида
, где
, поставим в соответствие число
. С одной стороны, согласно построению каждой такой дроби будет соответствовать натуральное
, притом единственное. С другой стороны, для каждого натурального
можно указать единственную (смотри замечание в предыдущем абзаце) дробь вида
, и все они будут принадлежать множеству A, поскольку
пробегает все натуральные значения. Итак, построенное соответствие действительно взаимно однозначное. А раз множество ℕ счетное, то и множество A также счетное.