沒(méi)有,這個(gè)問(wèn)題無(wú)需證明,這只不過(guò)是狹義相對(duì)論兩條基本假設(shè)（原理）之一,另一條是相對(duì)性原理.
愛(ài)因斯坦為了解釋“為什么麥克斯韋方程組不符合伽利略變換?”或者“麥克斯韋方程組到底在哪個(gè)參考系下成立?”等問(wèn)題,提出了兩條基本假設(shè),狹義相對(duì)論所有理論都是建立在這兩條假設(shè)之上的.所以這兩條即是假設(shè),又是相對(duì)論的基本原理.
就目前為止,在宏觀高速尺度范圍內(nèi),我們還沒(méi)有發(fā)現(xiàn)有什么現(xiàn)象違背了狹義相對(duì)論的結(jié)論,所以我們默認(rèn)了這兩條假設(shè)的正確性.
既然是假設(shè),那誰(shuí)也不能保證光速不變的正確性,也無(wú)法證明狹義相對(duì)論的絕對(duì)正確性,所以“為什么光速在任何慣性參考系下都是不變的?”這個(gè)問(wèn)題似乎不是很重要,如果沒(méi)有現(xiàn)象和它抵觸,那我們就暫且認(rèn)為它是正確的；如果有抵觸,那我們就提出新的理論來(lái)建立新的物理學(xué)大樓,就像當(dāng)初艾因斯坦、普朗克等人在牛頓旁邊新建大樓一樣.無(wú)需特別證明前人所提出的假設(shè)理論,因?yàn)檫@不一定是絕對(duì)真理.