洛伦兹变换的严谨推导过程

关于洛伦兹变换的推导过程，很多书上都有，基本和“百度百科”的差不多。请看“百度百科”给出的（6）、（7）式，即X=CT,X`=CT`.这是一个特殊的条件，仅对发光事件成立。基于特殊情况推出的公式自然要推广到一般情况，但我找不到推广过程。恳请高手指点，给出洛伦兹变换的严谨推导过程。

我也是这么想的，大部分书上对洛伦兹变换的推导都有额外的假设
最后我在一本《狭义相对论》（ISBN:9787030226150）中的附录中找到了严格推导，是Weyl给的，但是我现在还没看懂，太复杂了
你有兴趣可以去看，当当卓越上都有卖

你好！ 在《狭义相对论》（刘辽）的附录中有，写了很多页，我也没完全看懂。 如有疑问，请追问。