Дико извиняюсь за некропостинг, но судя по тому, что решения
physicsworks не увидел, пишу для него.
В ИСО поезда очевидно, что туннель претерпит лоренцово сокращение, и конец туннеля достигнет начало поезда раньше, чем начало туннеля конец поезда. И получается бомбу ничто не остановить.
В ИСО туннеля ситуация следующая: как только конец поезда поровняется с началом туннеля, то в сторону часов в голове поезда посылается сигнал, без потери общности пусть со скоростью света(мы докажем, что этот сигнал не успеет к моменту равнения начала поезда с концом туннеля, и тогда более медленные сигнал тем более не успеет). В система
время, за которое сигнал достигнет конца туннеля
, а время, за которое с момента старта сигнала начало поезда поровняется с концом туннеля
. Надо теперь доказать, что
(для простоты время сократили на
), что довольно легко, если мы рассмотрим в декартовой системе координат единичный квадрат с вершиной в начале координат, то тогда знаменатель дроби
это отрезок, соединяющий нижний левый и верхний правый угол квадрата, а числитель это нижнеправая четверть окружность с центром в
, и видно, что отрезок всегда выше этой окружности, а значит
и значит, что голова поезда поровняется с концом туннеля раньше сигнала и бомба взорвется. Все совпало