№9
Теорема Кантора о вложенных отрезках
Если
и
=0
то существует единственная точка,принадлежащая всем отрезкам
-неубывающая
последовательность
-невозрастающая
последовательность
следовательно,
=sup(
)
=inf(
)
0 ≤ b-a ≤ -
=> b=a,
а значит,это и есть та единственная точка