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

время, за которое сигнал достигнет конца туннеля

, а время, за которое с момента старта сигнала начало поезда поровняется с концом туннеля

. Надо теперь доказать, что

(для простоты время сократили на

), что довольно легко, если мы рассмотрим в декартовой системе координат единичный квадрат с вершиной в начале координат, то тогда знаменатель дроби

это отрезок, соединяющий нижний левый и верхний правый угол квадрата, а числитель это нижнеправая четверть окружность с центром в

, и видно, что отрезок всегда выше этой окружности, а значит

и значит, что голова поезда поровняется с концом туннеля раньше сигнала и бомба взорвется. Все совпало
