・相対論： ローレンツ短縮(導出)

K'系は K系にたいして速度 V で動く
K'系に棒を固定，長さL' (進行方向)
長さの測定PとQ

| K ( ct, x )
|
|
|――――
---------------
 	↑P= (    0, L )
| K
|
|
|	――――
---------------
 	↑Q= (c L/V, L )

s^2 = (cL/V)^2 - (L-L)^2
     = (cL/V)^2 

| K' ( ct', x' )
|
|
|―――――
---------------
 	  ↑P= (     0, L' )
| K'
|
|
|―――――
---------------
↑Q= (c L'/V, 0  )

s'^2 = (cL'/V)^2 - (-L')^2
     = (1-V^2/c^2) (cL'/V)^2 
     = (cL'/V)^2 / γ^2