Скорцонер писал(а):
Соответствующая задача для плоскости.
Пусть в некотором государстве площадь, занимаемая водой, составляет S кв. км. Доказать, что найдется прямая линия, на которой длина водной составляющей будет равна 2*корень кв. (S/pi).
А вот это просто неверно. Рассмотрите состему из пяти круговых водоемов площадью S/5 каждый, расположенных так, что никакая прямая не пересекает более двух водоемов. Более того, можно доказать, что длину водной составляющей на произвольной прямой можно сделать сколь угодно малой.
Отсюда, собственно, следует ошибочность исходной формулы - для сферы. Действительно, устремив долю водоемов к 0, мы рано или поздно получим ситуацию, когда эти водоемы можно будет локализовать на небольшом участке сферы, который с незначительной погрешностью можно будет считать плоским, а геодезические, проходящие через этот участок - прямыми (в его пределах). Руководствуясь этой идеей, нетрудно написать строгое доказательство.