否定相对论“洛变式”的证明，不同于一般性证明，必须证明出它的‘悖’（‘一个命题的自我否定’简称为‘悖’，也简称为<矛盾>；‘两个命题的互相否定’简称为‘错’，也简称为‘矛盾’），如仅证明出它的‘错’，那就会因其‘互相否定性’，也会遭到相对论者诬蔑性的否定，他们会说“你根本不懂相对论，是自以为是、想当然的证明，……”等等。

熊正武（qstt）先生与我不谋而合，他单独用反证法证出了“洛变式”的x＝x＇、t＝t＇（因x／c＝t、x＇／c＝t＇），从而证出“洛变式”因有‘悖’而必不成立（请看其帖《任何方式推导出洛仑兹变换式都是荒谬的》）。然而，熊先生到此就停了下来。

这x和x＇是“惯性系∑、∑＇的o、o＇点”间的两条重合的可变线段，也就是说“∑＇”事实上因x＝x＇的成立已没有用了。但是，如果仅此为止，我们还仅仅只是[逻辑]（注）否定了“洛变式”而没有得到能取代它的新式子，这无异为只革命了一半。因此我们还得废物利用“∑＇”：在o、o＇的同侧如左侧，∑的X轴上设一固定点如B点；于是可变o＇B＝x＇，oo＇＝vt，oB＝△x（△表是固定）；然后以oB为直径作一半圆，在o＇作垂线交半圆于G点，则oG、o＇G两直角边的长度的变化以斜边oB为极限，从而求得应称为‘惯性因子’的γ；于是“相对性惯性系∑、∑＇”也就化为‘独立性参考系∑’了。于是用两直角边在直径上的可转化投影（x＝vt、x＇＝△x-x）来表达粒子v速前后惯性变化的式子，就是‘洛仑兹代换式’；其‘＝＞’由‘＝’和‘＞’组成，‘＝＞γ’称为‘趋’，当v→0，则‘＝＞γ’化为‘＝’；从而‘γ＝＞’称为‘返’。要审阅‘洛仑兹代换式’的推导，请看拙帖《绝对论洛仑兹代换式推导过程前后》。

为了反相，我们必须共勉！

（注）：区分了<矛盾>和‘矛盾’的逻辑法我称之为[逻辑]法。