Наверно, не оптимальное доказательство, но проще пока в голову ничего не пришло.
Выбираем любой спутник, проводим прямую через него и центр планеты. Через центр планеты строим плоскость перпендикулярную полученной прямой. Пересечение плоскости с поверхностью планеты образует окружность - некий "экватор", замечательный тем, что из любой его точки выбранный нами спутник не видим.
Выбираем на "экваторе" любую точку А, находим противоположную ей точку В и через эти точки проводим касательные к поверхности планеты плоскости. Эти плоскости параллельны, поскольку перпендикулярны одному и тому же диаметру. Если между этими плоскостями есть хоть один спутник, то суммарное число видимых из точек А и В спутников равно 33 (35-2). Соответственно, либо наблюдатель в точке А, либо наблюдатель в точке В видит не более 16-ти спутников.
Если между плоскостями нет ни одного спутника, то смещаем противоположные точки А и В вдоль экватора до тех пор, пока не "поймаем" между касательными плоскостями хотя бы один спутник. Нетрудно (но лениво) показать, что в какой-то момент это обязательно произойдет.
Выбираем на "экваторе" любую точку А, находим противоположную ей точку В и через эти точки проводим касательные к поверхности планеты плоскости. Эти плоскости параллельны, поскольку перпендикулярны одному и тому же диаметру. Если между этими плоскостями есть хоть один спутник, то суммарное число видимых из точек А и В спутников равно 33 (35-2). Соответственно, либо наблюдатель в точке А, либо наблюдатель в точке В видит не более 16-ти спутников.
Если между плоскостями нет ни одного спутника, то смещаем противоположные точки А и В вдоль экватора до тех пор, пока не "поймаем" между касательными плоскостями хотя бы один спутник. Нетрудно (но лениво) показать, что в какой-то момент это обязательно произойдет.
Мобильная версия


