狭义相对性原理是怎么证明的？还是直接被提出当公理用？

猜的，你当爱因斯坦是什么？这种东西可以乱猜吗？他是有理论依据做出科学的推理而得出来的，就像伽利略的“理想状态”一样，都是以试验为基础，以科学的逻辑推理，最后得出结论的！

你也猜一个看看，哪有这么容易啊。
一个理论的提出需要大量的实践作基础，就像化学的元素周期表，在人类一个元素都不知道 的时候谁能猜到元素周期变化啊？元素周期表的提出是因为已经发现了大量的元素情况下，经过观察比较已知的元素规律才提出的。相对论也是一样，只是相对论好像和人的一般生活常识不一样，刚提出来的时候没几个人相信的，后来经过实验的不断验证才成为大家都接受的一个新的理论

爱因斯坦当然是猜的，

这现在只是个假设，是个猜想，

现在都还不能被精确地证明，只是一些实验体现了，但根本不广泛，现在都还不能被精确地证明，

更不用说爱因斯坦那个时代了，

爱因斯坦40多岁以后就不研究相对论了，去搞“大统一理论”了，他自己的理论他自己都觉得不能被证明，

你完全可以不相信狭义相对性原理，

自己也可以创建一套什么什么相对论，

只要符合各种事实现象，甚至可以否定“力”的存在。

当公理，是猜的。但有实验依据。

不是爱因斯坦猜的，以前也认可，这几乎是物理学家的共识

不是猜的啊
那是因为爱因斯坦发现电动力学与经典力学发生了冲突，麦克斯韦方程组与牛顿力学发生了冲突，由方程组可计算得光速，光速^2x真空介电常数x真空磁导率=1
由此得光素为惯性系不变量，所以麦克斯韦方程组在不同惯性系中形式相同，进而爱因斯坦便假设1.光速不变
2.物理定律在任何惯性参考系中具有相同的形式

在爱因斯坦之前就有不少科学家做过类似的理论研究，如伽利略变换，麦克斯韦的电磁场理论，麦克尔逊——莫雷实验等，爱因斯坦所做的是综合这些理论和实验数据，加上自己的理论设想才总结出了狭义相对论。
这样的理论不是某个人能随便猜想出来的。