爱因斯坦洛伦兹变换不自洽

       爱因斯坦洛伦兹变换不自洽，现证明如下。

推导爱因斯坦洛伦兹变换的直接前提之一是描述同一个光子的两个运动方程x=ct和x`=ct`。这两个方程存在的前提是存在S、S`两个可用的参照系。S参照系可用的前提之一是S参照系各处的时钟同步，S`参照系可用的前提之一是S`参照系各处的时钟同步。这就是说，爱因斯坦洛伦兹变换的前提之一是S`参照系各处的时钟同步S`参照系各处的时钟也同步。

根据同时性的定义，由既认同S`参照系各处的时钟同步又认同S`参照系各处的时钟同步可以推出认同同时是绝对的，也就是说，根据认同爱因斯坦洛伦兹变换的前提可以推出认同同时是绝对的。

用爱因斯坦洛伦兹变换的前提可以推出同时是绝对的，而爱因斯坦洛伦兹变换的直接推论之一却是同时是相对的，这就是说，爱因斯坦洛伦兹变换的推论与它的前提是相互矛盾的，即爱因斯坦洛伦兹变换不自洽。