Вспомнил, с помощью чего первое делать. Аккуратно писать не буду, рассмотрю идею для самого простого случая: когда медиана хорошо определена, то есть существует единственная точка a, для которой
, это и будет медиана.
Утверждение: если существует мат. ожидание, то положительная часть этого мат. ожидания
То есть это интеграл от правого хвоста A(x)= 1-F(x).
Доказывается простым интегрированием по частям. Если мы внимательно посмотрим на последний интеграл, то поймем, что сумма площадей заштрихованных областей на следующем чудо-рисунке
есть не что иное, как
Следующий рисунок показывает, почему минимум выражения
достигается при с=a, где а - медиана распределения.
- это черное плюс красное,
- это черное плюс синее. Видно, что второе больше.
Таким образом, в неравенстве номер 1 вместо мат. ожидания могло стоять вообще все что угодно.