因为:
x²+y²+z²=c²t²
所以(同一律):
d(x²+y²+z²)=dc²t²
又因为(结合律):
d(x²+y²+z²)=dx²+dy²+dz²
且有(交换律):
dc²t²=c²dt²
所以(等量代换):
dx²+dy²+dz²=c²dt²
完美证毕
x²+y²+z²=c²t²
所以(同一律):
d(x²+y²+z²)=dc²t²
又因为(结合律):
d(x²+y²+z²)=dx²+dy²+dz²
且有(交换律):
dc²t²=c²dt²
所以(等量代换):
dx²+dy²+dz²=c²dt²
完美证毕