Миалан посчитай количество спинов с соударениями на записях. У Тебя должно быть 2 записи по 100 спинов (если тебе удалось их закачать). Вот и получишь искомые вероятности, а "длины" можно пересчитать в соответствии с полученным результатом. Благо формулы для расчета записанны в общем виде.
Теоретическое доказательство грамоздка и сложна и нет аналитических выражений, у меня они полученны графически по решению дифураванений в частных производных (компьютерная симуляция).
Но самое интересное - это полученная графическая интерпритиция всех возможных динамик движения шарика в зависимости от координаты точек отрыва от бортика.
