и множество натуральных чисел ℕ. Замечу, что при любом k дробь вида является несократимой, то есть если выписывать такие дроби, начиная с k = 1 и увеличивая каждый раз переменную k на 1, ни одна из них не повторится (так как знаменатель постоянно увеличивается).
Покажем, что между этими двумя множествами можно установить взаимно однозначное соответствие. Для этого всем дробям вида , где , поставим в соответствие число . С одной стороны, согласно построению каждой такой дроби будет соответствовать натуральное , притом единственное. С другой стороны, для каждого натурального можно указать единственную (смотри замечание в предыдущем абзаце) дробь вида , и все они будут принадлежать множеству A, поскольку пробегает все натуральные значения. Итак, построенное соответствие действительно взаимно однозначное. А раз множество ℕ счетное, то и множество A также счетное.
Пусть х рядов было в зале , по у мест в каждом ряду всего мест х*у=80 тогда после ремонта стало (х-3) ряда , по (у+4) мест (х-3)*(у+4)=84 х*у=80 (х-3)*(у+4)=84 ху=80 ху -3у+4х-12=84 ху=80 80-3у+4х-12=84 ху=80 ⇒ х=80/у 4х-3у =16 ху=80 ⇒ х=80/у 4*(80/у) -3у =16 (320/у) -3у -16=0 домножим на у , избавимся от знаменателя 320 -3у²-16у=0 3у²+16у-320=0 d= 256+3840= 4096 √d= 64 y=(-16+64)/6= 8 мест ⇒ x=80/8 =10 рядов у=(-16-64)/6 < 0 не подходит ответ : до ремонта было 10 рядов по 8 мест
Рассмотрим множество A, заданное в условии:
и множество натуральных чисел ℕ. Замечу, что при любом k дробь вида является несократимой, то есть если выписывать такие дроби, начиная с k = 1 и увеличивая каждый раз переменную k на 1, ни одна из них не повторится (так как знаменатель постоянно увеличивается).
Покажем, что между этими двумя множествами можно установить взаимно однозначное соответствие. Для этого всем дробям вида , где , поставим в соответствие число . С одной стороны, согласно построению каждой такой дроби будет соответствовать натуральное , притом единственное. С другой стороны, для каждого натурального можно указать единственную (смотри замечание в предыдущем абзаце) дробь вида , и все они будут принадлежать множеству A, поскольку пробегает все натуральные значения. Итак, построенное соответствие действительно взаимно однозначное. А раз множество ℕ счетное, то и множество A также счетное.