建议去了解物理学史 洛伦兹变换原本是解决电磁定律和伽利略变换矛盾的 也就是说洛伦兹为了二者相合提出了洛伦兹变换 在他的构想中，以太长度发生在运动方向中发生收缩用以解释迈–莫实验 所以你可以从迈–莫实验结果推出洛伦兹变换

而且吧 洛伦兹当时也是假设以太收缩 得到了这么一个数学形式 而爱因斯坦是认为不存在以太 认为电磁波即是一种物质才提出了光速不变原理 然后重新导出来洛伦兹变换 这不能叫反推吧

两人都是根据之前的迈–莫实验结果有了自己的假设 而且后来也证明爱的假设是对的 相当于这是从实验结果得到了本身性质
洛伦兹变换本身就是在狭义相对论框架下得到的结论