Во-первых, здесь не «заменяем t на t` в первом уравнении», а записано два преобразования. Первое для перехода из системы К' в систему К, второе – наоборот (из К в K').
Во-вторых, пример вашего вывода очень сокращен. Более подробно он описан в книге: Мякишев Г.Я., Синяков А.З. Физика: Оптика. Квантовая физика. 11 кл. М., 2002. — С. 200-203 (см. вложенный файл). В книге вместо коэффициента гамма записывают бета и альфа.
В-третьих, в нашей школьной программе вывод преобразований Лоренца не рассматривается, и считаю, что это правильно.