Comments 88
Сразу вспомнился фильм «Классик» где как раз говорилось про крутое разбитие пирамиды при котором два крайних шара закатываются в лунки.
В фильме немного пофантазировали :) Что бы при идеальном разбое, который тут посчитали, на русском бильярде угловые шары упали в лузы, нужно что бы пирамида стояла ближе к центру стола, где угловые лузы были на траектории дивжения.
Я просто оставлю это здесь. ЗЫ: В конце 5-й минуты там «удар Лемана» в исполнении Юрия Пащинского.
Таким образом, шаг за шагом, можно рассчитать «идеальную партию»
А если у поверхности нет трения, то идеальная партия будет состоять из одного—самого первого—удара, потому что шарики будут кататься бесконечно. Более того, все они рано или поздно закатятся в лузы. Дело в том, что если траектория шарика не периодическая, он рано или поздно столкнется с любой точкой стенки, а значит, и с какой-то лузой. Некоторые периодические траектории тоже столкнутся с лузой (а некоторые—нет). Можно показать, что периодические траектории бывают только когда тангенс угла движения шарика (отн. горизонтальной или вертикальной оси) рационален. Но рациональных чисел намного меньше, чем иррациональных (точнее, мощность иррациональных чисел больше мощности рациональных, рациональные—счетные, иррациональные—несчетные), так что рациональные тангенсы почти никогда не будут получены. Хотя было бы интересно проверить численно или аналитически.
Не факт. Энергия удара будет теряться при столкновении шаров с бортами.
Если у поверхности не будет трения, то в пуле будет невозможно выиграть, т.к. рано или поздно биток тоже закатится в лузу, а это будет фол, если при этом все остальные шары тоже закатятся, то выиграет соперник.
>> все они рано или поздно закатятся в лузы
Не факт, если предположить что один оставшийся шар двигается перпендикулярно бортам о которые ударяется, то он никогда не закатится в лузу.
Не факт, если предположить что один оставшийся шар двигается перпендикулярно бортам о которые ударяется, то он никогда не закатится в лузу.
Предположить можно, но вероятность того, что шар будет двигаться перпендикулярно борту равна нулю.
Как вы лихо посчитали, что ситуация невозможная. Есть множество циклических траекторий, которые не приведут к закатыванию в лунку. Например самая простая. Шар под углом 90 градусов ударяется о борт, отскакивает, катится в противоположный борт и т д. Так как мы рассматриваем идеальный случай то и все неровности поверхности из за которых траектория будет меняться нет. И это самый простой случай, возможны и более сложные варианты, вот например.


Я совсем не спорю, что такие траектории есть. Но вероятность каждой из этих траекторий, и в частности катание шара по одной линии, перпендикулярной бортам, равна нулю :) Собственно я написал только это.
Ну смотри, такие траектории, которые могут бесконечно зациклить шар есть. Причем такая траектория не одна а целое множество (я сейчас несколько таких нарисовал, несмотря на то что та программа в которой я это делал не приспособлена для черчения и там сложно отсчитывать углы). А значит уже вероятность не может быть равна нулю, как существуют положительные исходы.
В этих рассуждениях есть довольно тонкий момент: исходы есть, их множество бесконечное (но счетное), а вероятность их получить все равно равна нулю. Это называется множество меры нуль (в смысле теории меры, не путать с нульмерным множеством; хотя рациональные числа нульмерны тоже). Почему множество счетное, написано вот тут, а почему оно намного меньше множества действительных чисел, и почему намного легче получить иррациональное число, вот тут и тут (но довольно скупо).
Наверное корректнее в этом случае говорить, что «вероятность стремится к нулю»?
Не стремится, а именно равна. Чтобы было корректно говорить «стремится», нужно иметь какую-то динамику, какой-нибудь изменяемый параметр, от которого зависит характеристика системы и который тоже куда-нибудь стремится; тут же такого нет.
Вероятность того, что случайно выбранное (вещественное) число от 0 до 1 окажется равным 0.5 (или даже рациональным) — строго равна нулю.
Вероятность того, что случайно выбранное (вещественное) число от 0 до 1 окажется равным 0.5 (или даже рациональным) — строго равна нулю.
Интеграл от строго нуля на любом отрезке равен нулю, нет?
Немного расходится с тем фактом, что какое-то число будет выбрано с вероятностью единица )
Немного расходится с тем фактом, что какое-то число будет выбрано с вероятностью единица )
Если вы переходите к интегралу, то вы уже оперируете не вероятностью, а плотностью вероятности. В этом случае последняя, конечно, не равна нулю, и интеграл от нее действительно должен дать 1.
Тут, конечно, можно было бы сказать, что сумма вероятностей выбора всех чисел должна дать единицу; но писать такого рода суммы (с индексом, пробегающим несчётное множество) даже математики боятся — для этого и придумали интеграл :)
Тут, конечно, можно было бы сказать, что сумма вероятностей выбора всех чисел должна дать единицу; но писать такого рода суммы (с индексом, пробегающим несчётное множество) даже математики боятся — для этого и придумали интеграл :)
Вообще-то Поль Дирак придумал функцию, которую можно использовать в качестве плотности вероятности, такую, что любой её интервал (сколь угодно малый), содержащий точку 0, будет равен единице. И вообще, предыдущее предложение — и есть определение функции Дирака :)
Тут можно считать, что как бы вероятность нуля равна единице, а вероятность остальных любых чисел, хотя бы и близких к нулю — равна нулю. Ну или что f(0)=1/0.
Но в природе такие распределения, конечно, не встречаются.
Тут можно считать, что как бы вероятность нуля равна единице, а вероятность остальных любых чисел, хотя бы и близких к нулю — равна нулю. Ну или что f(0)=1/0.
Но в природе такие распределения, конечно, не встречаются.
Как, в общем, отсутствие трения и сам по себе «идеальный удар».
О чём тогда речь?
О чём тогда речь?
Ну это и сам Bas1l написал:
Такие траектории существуют и их бесконечно много даже — это факт.
Но если эта приведенная цитата верна, то вероятность таких траекторий — ноль. Ниже там написано почему.
Можно показать, что периодические траектории бывают только когда тангенс угла движения шарика (отн. горизонтальной или вертикальной оси) рационален.
Такие траектории существуют и их бесконечно много даже — это факт.
Но если эта приведенная цитата верна, то вероятность таких траекторий — ноль. Ниже там написано почему.
Ну почему же? Если взялись допустить полное отсутствие трения и абсолютную упругость шаров и стенок — то идеальный удар (о котором статья) заставит биток, а также шары 1, 5 и 13 двигаться по одной линии перпендекулярно бортам. И это будет вечно.
В приведённом выше идеальном разбитии целых три шара двигаются перпендикулярно борту. Если им на пути не встретятся другие шары, то ни в какую лузу они не закатятся.
А можно в студию доказательство равенства нулю, а не какому-нибудь бесконечно малому числу?
Единицу делим на бесконечное кол-во возможных траекторий и получаем бесконечно малый ноль для вероятности какой либо одной траектории :)
бесконечно малое это не тоже самое что и ноль.
ru.wikipedia.org/wiki/Невозможное_событие
Про бесконечно малое — это не я написал. Мой «бесконечно малый ноль» — это такая шутка юмора была :)
Про бесконечно малое — это не я написал. Мой «бесконечно малый ноль» — это такая шутка юмора была :)
Только обратите внимание, что здесь как раз не «невозможное событие», а просто событие с нулевой вероятностью. Это совсем не одно и то же. Т.е. каждая траектория ведь явно же лежит в пространстве элементарных событий эксперимента, но вероятность каждой нулевая. Тут с одной стороны всё верно. С другой сомневаюсь, что корретно так говорить, т.к. изначальное событие (идеальное разбитие пирамиды) у нас по самому условию задачи совсем не случайное. Потому не очень понятно какие случайные траектории тут обсуждаются и откуда они взялись)
Вот отсюда — habrahabr.ru/post/211324/#comment_7272816
Ну я начало треда то и сам нашёл как раз) Но всё равно наличие бесконечного кол-ва траекторий не очень понятно, т.к. траекторий будет по количеству шаров и они будут при каждом опыте одинаковы в случае идеальных условий. А идеальные условия у нас по условию задачи. Траектории в таком случае даже по определению не могут быть случайны, нет? И посылка, сформулированная как
вероятность каждой из этих траекторий, и в частности катание шара по одной линии, перпендикулярной бортам, равна нулювообще никак не корректна. Т.к. вероятностей здесь нет вообще. Т.к. при симметричной фигуре и при заранее заданных условиях шары вполне могут отлететь строго перпендикулярно бортам. Биток и три шара на оси (жёлтый и два оранжевых) именно так и отлетают на анимации — строго вертикально.
От условий задачи автор комментария вообще ушёл к обычной игре в бильярд без трения
В общем, вы правы. Тут только надо различать несколько сторон «идеальности»: наличие диссипации энергии (трение, неупругие столкновения) и «неидеальность» направлений (по сути—наличие тепловых флуктуаций, которые слегка искажают углы при столкновениях). Про отсутствие трения было явно сказано, про флуктуации—нет. Конечно, если все углы супер-идеальны, то как минимум два шарика будут бесконечно долго двигаться (вдоль вертикальных линий, если не столкнутся с другими—но даже при столкновениях траектории могут остаться периодическими). Но самое незначительное искажение траектории (физической природой которого может быть смещение хотя бы одного атома в шарике при столкновении) испортит идеальную картину.
Обычно в физике, насколько я знаю, предполагается, что такая «идеальность» намного «жестче», чем простое отсутствие диссипации энергии, и ее нельзя добиться. И действительно, избежать значимых потерь энергии на довольно большом промежутке времени вполне можно (т. е., чтоб ни один шар не остановился, пока не закатится), а вот флуктуаций избежать тяжело. В квантовых системах это вообще точные утверждения: потери можно сделать строго равными нулю (сверхпроводимость, сверхтекучесть), а флуктуации не исчезают даже при абсолютном нуле температур.
Математически говорят, что система неустойчива (в смысле Ляпунова).
Обычно в физике, насколько я знаю, предполагается, что такая «идеальность» намного «жестче», чем простое отсутствие диссипации энергии, и ее нельзя добиться. И действительно, избежать значимых потерь энергии на довольно большом промежутке времени вполне можно (т. е., чтоб ни один шар не остановился, пока не закатится), а вот флуктуаций избежать тяжело. В квантовых системах это вообще точные утверждения: потери можно сделать строго равными нулю (сверхпроводимость, сверхтекучесть), а флуктуации не исчезают даже при абсолютном нуле температур.
Математически говорят, что система неустойчива (в смысле Ляпунова).
Очень просто. Бесконечно малых чисел не существует :)
Вообще-то существуют гиперреальные числа и раздел математики, нестандартный анализ, который их изучает. Но в данном случае это не нужно.
Чисел вообще не существует, они все придуманные.
В таких случаях строгое равенство нулю доказывается от противного. Допустим, что вероятность (p) движения по некоторой траектории (i) не равна нулю, то есть pi > 0. Поскольку по условию вероятность выбора траекторий одинакова, то есть pi = pj = p для любых траекторий i и j, то всего возможно не более 1/p разных исходов (сумма-то вероятностей равна 1 по определению). А это противоречит условию бесконечости количества траекторий. Значит p = 0.
А это противоречит условию бесконечости количества траекторий. Значит p = 0.
Количество циклических траекторий как раз бесконечное.
Но вероятность циклической траектории все равно нуль.
Подробнее вот в этом коменте: habrahabr.ru/post/211324/#comment_7274092
Количество циклических траекторий как раз бесконечное.
Именно в этом и суть доказательства от противного. Мы пришли к противоречию с изначальной (правильной) предпосылкой о бесконечности количества траекторий.
Подробнее вот в этом коменте: habrahabr.ru/post/211324/#comment_7274092
Все верно в этом комменте, я с ним не спорю. В своем комментарии я объяснил, почему именно нуль, а не «бесконечно малое».
Это и есть частный случай периодической траектории — угол 90° имеет рациональный тангенс. Если угол будет хоть чуть-чуть другим, шар рано или поздно докатится до лузы.
Когда-то в детстве на Sega Mega Drive играл в биллиард, и там можно было установить силу трения. Однажды, поставив 0, прождал ооочень долго, но 1 шарик так и катался :) так сказать, попал в «рациональное» число.
К слову, числа, записываемые конечным кол-вом цифр (а на компах используются только такие) — все рациональные.
Была на NES такая игрушка «lunar pool», играю в нее до сих пор.


А почему из не периодичности траектории вытекает что шарик коснется всех точек стенок?
Не всех; но он коснётся сколь угодно близко к какой угодно точке.
Доказательство примерно такое: сперва периодически повторим наш бильярдный стол; когда шарик отражается от стенки — мы будем трактовать так, будто шарик просто прокатился в «соседний стол» (эдакое «зазеркалье»). Таким образом можно считать траекторию шарика просто прямой.
Введем теперь систему координат, так чтобы вершины «начального стола» имели координаты (0,0), (1,0), (0,1), (1,1). Тогда пересечения прямой траектории с линиями сетки дадут нам координаты точек столкновения со столом; таким образом, мы получаем, что, скажем, координата X m-того столкновения шарика со стеной будет равна {m*tan(alpha)} ( {} — значит дробная часть). Осталось показать, что это множество (при иррациональных тангенсах) всюду плотно.
А это уже — содержание теоремы Кронекера; доказательство приведено в выпуске журнала Квант от 1986 года по ссылке, и понять его можно :)
Доказательство примерно такое: сперва периодически повторим наш бильярдный стол; когда шарик отражается от стенки — мы будем трактовать так, будто шарик просто прокатился в «соседний стол» (эдакое «зазеркалье»). Таким образом можно считать траекторию шарика просто прямой.
Введем теперь систему координат, так чтобы вершины «начального стола» имели координаты (0,0), (1,0), (0,1), (1,1). Тогда пересечения прямой траектории с линиями сетки дадут нам координаты точек столкновения со столом; таким образом, мы получаем, что, скажем, координата X m-того столкновения шарика со стеной будет равна {m*tan(alpha)} ( {} — значит дробная часть). Осталось показать, что это множество (при иррациональных тангенсах) всюду плотно.
А это уже — содержание теоремы Кронекера; доказательство приведено в выпуске журнала Квант от 1986 года по ссылке, и понять его можно :)
Я бы добавил, что рациональный тангенс даст периодическое движение только если отношение сторон a/b стола рационально; в общем случае тангенс должен быть линейно зависим с a/b над полем рациональных чисел.
Увы, не знаю, каково отношение сторон стола в идеальном бильярде.
Увы, не знаю, каково отношение сторон стола в идеальном бильярде.
1-й, 5-й и 13-й, а также биток будут бесконечно кататься вдоль осевой, и ни в какую лузу никогда не попадут.
В идеальной партии всегда будет выигрывать первый игрок, потому что он не допустит ни единого промаха.
Для начала нужно было их расставить правильно, что ли?
Осталось, чтобы кто-то опробовал на практике данную модель
Эм, а в ректоре в 3D Max это сделать нельзя, нужно считать уравнения?
Там ведь не будет корректная физическая симуляция; там будет какая-то симуляция, которая выглядит нормально.
Эм, ну как бы физический движок, койм является Reactor, моделирует физические законы реального мира.
Судя по описанию с википедии (увы, с движком я не знаком), тех законов, что он моделирует — недостаточно; тут основная проблема — закон взаимодействия шаров, для которого нужна нормальная теория упругости, с которой Reactor, похоже, не знаком.
На самом деле, даже если бы Reactor это все умел, то, мне кажется, что вбить решение нескольких диффуров в Mathematica было даже проще, чем нарисовать такую же сценку в 3DS Max. Особенно в смысле извлечения таблички со скоростями и направлениями.
На самом деле, даже если бы Reactor это все умел, то, мне кажется, что вбить решение нескольких диффуров в Mathematica было даже проще, чем нарисовать такую же сценку в 3DS Max. Особенно в смысле извлечения таблички со скоростями и направлениями.
Желаемое: идеальный удар раскидывает все шарики по лункам.
Реальность: идеальный удар — простой биток по центру, причём с кучей допущений.
Реальность: идеальный удар — простой биток по центру, причём с кучей допущений.
Кстати, было бы интересно просчитать всю физику и математику бильярда, а потом открыть школу фокусов, подобных тому что делает этот чел:
Интересно, он тоже математик?
Фокусник
Интересно, он тоже математик?
Посмотрите практически любой обучающий фильм по бильярду, там эта физика объясняется.
Даже после понимания, что такое тангенсная линия уже сможете часть фокусов делать.
Даже после понимания, что такое тангенсная линия уже сможете часть фокусов делать.
можете порекомендовать конкретный?
Лет 7 назад, когда я этим сильно интересовался, меня очень впечатлил вот этот дядечка www.youtube.com/watch?v=8DOPoyPETFs
Меня больше интересует то, как он смог уговорить свою девушку принять столько поз за один вечер… завиду…
Вот если бы показали как лучше разбить пирамиду, чтобы залетело как можно больше шаров(сплошных или полосатых)…
Интересно, что 7 шаров движутся хоть как-то по направлению удара битка, а остальные 9, включая биток в обратном направлении. Теперь понятно, почему при хорошем разбитии пирамиды, шары скатываются больше к центру.
На самом деле я могу отправить биток очень сильно в центр пирамиды после соударения, или наоборот оттянуть его на себя к ближайшему борту, все зависит от точки соударения кия и битка. Кий специально сделан утончающимся к концу, что бы можно было придавать крутящий момент шара и менять его поведение в зависимости от ситуации игры.
Почему цвета шариков, имеющих симметричные траектории движения, разные?
Трехмерный бильярд — моя курсовая, первая большая программа, которую я написал. Прям, ностальгия накатила. Спасибо за статью! :)
А у вас код сохранился для тех, кому любопытно? :)
Я бы губу раскатал и на мат. модель или теорию, но курсовая есть курсовая.
Буду искренне признателен.
Я бы губу раскатал и на мат. модель или теорию, но курсовая есть курсовая.
Буду искренне признателен.
К сожалению, код почил с одним из хардов. Да и к лучшему, наверное, программу я писал лет 10 назад (это была курсовая учебного центра по программированию), сейчас мне было бы просто страшно смотреть в исходники :)
А что с мат. моделью? Там ничего сложного нет, если физика в двухмерном пространстве (у меня трехмерной была только визуальная часть). Единственное, что нужно сделать — рассчитать новые векторы скоростей шаров, после их столкновения. Я тогда не смог самостоятельно расписать формулу, но нагуглил её достаточно быстро.
Реализация была «в лоб»: удар кием — придаём шару вектор скорости, по таймеру обрабатываем изменения положений шаров и, если столкнутся, их новые векторы скоростей.
А что с мат. моделью? Там ничего сложного нет, если физика в двухмерном пространстве (у меня трехмерной была только визуальная часть). Единственное, что нужно сделать — рассчитать новые векторы скоростей шаров, после их столкновения. Я тогда не смог самостоятельно расписать формулу, но нагуглил её достаточно быстро.
Реализация была «в лоб»: удар кием — придаём шару вектор скорости, по таймеру обрабатываем изменения положений шаров и, если столкнутся, их новые векторы скоростей.
Реквестирую четырехмерный и n-мерный бильярд.
Одним из вариантов курсовой был трёхмерный тетрис. Кто-то пошутил, что надо добавить вариант с четырёхмерным тетрисом. Преподаватель, не растерявшись, начал рассказывать, что сложного в этом ничего нет: фактически, вся математика будет той же самой, только для четырёх измерений: четыре координаты у точки и т.д. Визуально такой тетрис тоже можно показать: в трёхмерном варианте вы проецируете результат на двухмерную плоскость — монитор. Точно так же на двухмерную плоскость можно спроецировать четырехмерное пространство.
Так что и четырехмерный бильярд вполне можно сделать. Только, наверное, ничего понятно не будет.
Так что и четырехмерный бильярд вполне можно сделать. Только, наверное, ничего понятно не будет.
Ощущаю себя на острие науки
Sign up to leave a comment.
Идеальное разбитие пирамиды шаров в бильярде