でも、時空図をひし形にしただけでは、
「光速度一定」や「同時刻の相対性」を意味しないので、
相対性理論の説明にはならないわけですよね。

ローレンツ式とよく似たアインシュタインの式を使って、
時空を収縮しないといけないわけだ。