Вся СТО до копейки. Визуализация.
Сформулируем СТО набором следующих простых правил, следующих из ПЛ, и легко поддающихся визуализации:
* Все тела сжимаются по оси движения как \( L_0\sqrt{1-v^2/c^2} \).
* Движущиеся часы замедляют ход на коэфф. \( \sqrt{1-v^2/c^2} \).
* Синхронизированные часы на "носу" движущейся линейки, подкручены назад на \( vL_0/c^2 \) по отношению к часам на "корме".
Вот и вся "визуальная" СТО до копейки.

Илл. 1. Две одинаковых линейки, но движущаяся короче, и часы на ней "сбиты" как описано выше.
https://youtu.be/scjWNKo8ruIТо же самое и на анимации: две одинаковых линейки, но движущаяся короче, и часы на ней "сбиты" как описано выше. Анимация украдена у
Милянцева.
Покажем, что измерения прохождения линейки к.-л. телом с известной скоростью \( w=const \), не зависят от ИСО наблюдения, и всегда равно \( T =L_0/w \). На анимации \( w=c \), т.e. рассматривается прохождение линейки фотоном, и видно, что на движущейся линейке время прохождения будет \( L_0/c \). Но нас интересует общий случай: не только фотон, но любое тело с известной скоростью, например, эталонная собака, бегущая с эталонной скоростью \( w \).
Итак, вместо световой сферы, пусть будет "собака" дижущаяся от носа к корме верхней линейки.

Илл. 2. Наблюдаем из нижней ИСО как собака движется навстречу подвижной верхней ИСО.
В ИСО верхней линейки скорость собаки \( -w \) (минус потому, что собака в верхней ИСО движется в отрицательном направлении), а её скорость \( u \) в ИСО неподвижной нижней линейки определяется законом сложения скоростей (который так же следует из ПЛ):
\( u = (v-w)/(1-vw/c^2) \) ; (777)
Teперь смотрим, что увидит нижний наблюдатель:
Собака пробежит сжатую линейку за время \( L_0\sqrt{1-v^2/c^2}/(v-u) \)
Из-за того что в верхней ИСО время бежит медленнее, этот промежуток в верхней ИСО будет короче на коэффициент \( \sqrt{1-v^2/c^2} \), т.е. это будет
\( L_0(1-v^2/c^2)/(v-u) \).
А ещё не забываем, что часы сбиты на \( vL_0/c^2 \). Итого, с точки зрения нижней ИСО, верхняя ИСО намеряет
\( L_0(1-v^2/c^2)/(v-u) + vL_0/c^2 \). Подставляем \( u \) из (777):
\( L_0(1-v^2/c^2)/(v-(v-w)/(1-vw/c^2)) + vL_0/c^2 \)
Нетрудно убедиться, что это выражение не зависит от \( v \), и в точности равно \( L_0/w \). ))
Всё. Математическая непротиворечивость ПЛ доказана. Не только для движения света, но и для эталонной собаки. ))