Формула сокращения длины Лоренца в теории относительности