时空三角学与匀速和加速运动的“双生子佯谬”形式化
经典物理
2007-05-23 v1
摘要
早期爱因斯坦狭义相对论的形式结构遵循欧几里得几何的公理演绎方法。在本文中，我们展示了欧几里得几何与时空几何之间的深刻联系，它们都与一个二维数系相关：分别是复数和双曲数。通过一起研究这些数的性质，伪欧几里得三角学已用公理演绎方法形式化，这使我们能够以熟悉的“欧几里得”方式，对匀速运动和加速运动下的双生子佯谬给出完整的定量形式化。
引用
@article{arxiv.physics/0509161,
title = {Space-time trigonometry and formalization of the "Twin Paradox" for uniform and accelerated motions},
author = {Dino Boccaletti and Francesco Catoni and Vincenzo Catoni},
journal= {arXiv preprint arXiv:physics/0509161},
year = {2007}
}
备注
18 pages, 4 figures