Вычитывая первое соотношение из третьего и сравнивая результат со вторым соотношением, получаем уравнение
т.е. уравнение
Видим, что функция удовлетворяет следующему функциональному уравнению:
в котором величины
Таким образом, приходим к следующему основному функциональному уравнению для искомой функции:
которое выполняется при произвольных значениях
Приступим к решению полученного функционального уравнения. Начнем с того, что продифференцируем его по
производная последнего, третьего слагаемого в исходном функциональном уравнении равна нулю, так как оно не зависит от
и тогда придем к дифференциальному уравнению
или уравнение
Легко найти общее решение последнего дифференциального уравнения. Для этого надо перейти только к новым независимым переменным
и показать, что в новых переменных уравнение имеет вид
Таким образом получаем общее решение нашего дифференциального уравнения:
в котором
Найдем вид этой функции. Подставим полученное выражение для функции
или соотношение
Так как аргументы у функций в правой и левой частях равенства при произвольных значениях
а следовательно,
где
Определение констант
Для нахождения констант
Требование 1. Предположим, что общие начала отсчета координат и времени в системах отсчета K и
Применяя вышеприведенные формулы преобразования к событию 0,0 получаем, что
Теперь неопределенными остались только константы
Учтем теперь то обстоятельство, что формулы преобразования мы получили как следствия наших шести основных соотношений. Подставим поэтому полученные простые формулы обратно в эти исходные основные соотношения и установим ограничения на значения констант
Таким образом, приходим к заключению, что константы
и поэтому формулы преобразования координат мгновенного точечного события имеют следующий вид:
где
Разрешим теперь эти формулы преобразования относительно
Следовательно,
и поэтому
Полученные формулы сопоставим с формулами преобразования:
которые получаются с помощью рассуждений, совершенно аналогичных приведенным выше, но с заменой систем отсчета K и
Сравнивая друг с другом приведённые пары формул преобразований, приходим к заключению, что имеют место следующие четыре равенства:
из которых непосредственно заключаем, что