广义相对论是如何被证明的
光线在通过大质量物体附近时会发生弯曲，这是广义相对论的一个重要预言。但对这一预言的验证常被戏剧化地、简单化和夸张地再现给观众和读者，大大偏离了科学史史实。那么，真实的情形如何呢?
在一部艺术地再现爱因斯坦一生的法国电影《爱因斯坦》中，有这样一个镜头，1919年秋季某一天在德国柏林，爱因斯坦举着一张黑乎乎的照相底片，对普朗克说：(大意)多么真实的光线弯曲啊，多么漂亮的验证啊!
光线在通过大质量物体附近时会发生弯曲，这是广义相对论的一个重要预言。但对这一预言的验证常被戏剧化、简单化和夸张地再现给观众和读者，大大偏离了科学史史实。笔者觉得围绕光线弯曲的预言与验证，有以下三个方面的史实需要澄清。
首先，光线弯曲不是广义相对论独有的预言。早在1801年索德纳(Johann von Soldner，1766-1833)就根据牛顿力学，把光微粒当做有质量的粒子，预言了光线经过太阳边缘时会发生0.87角秒的偏折。1911年在布拉格大学当教授的爱因斯坦根据相对论算出日食时太阳边缘的星光将会偏折0.87角秒。1912年回到苏黎士的爱因斯坦发现空间是弯曲的，到1915年已在柏林普鲁士科学院任职的爱因斯坦把太阳边缘星光的偏折度修正为1.74角秒。
其次，需要观测来检验的不只是光线有没有弯曲，更重要的是光线弯曲的量到底是多大，并以此来判别哪种理论与观测数据符合得更好。这里非常关键的一个因素就是观测精度。即使观测结果否定了牛顿理论的预言，也不等于就支持了广义相对论的预言。只有观测值在容许的误差范围内与爱因斯坦的预言符合，才能说观测结果支持广义相对论。20世纪60年代初，有一种新的引力理论——布兰斯-迪克理论(Brans-Dicke Theory)也预言星光会被太阳偏折，偏折量比广义相对论预言的量小8%。为了判别广义相对论和布兰斯-迪克理论哪个更符合观测结果，对观测精度就提出了更高的要求。
第三，光线弯曲的效应不可能用眼睛直观地在望远镜内或照相底片上看到，光线偏折的量需要经过一系列的观测、测量、归算后得出。要检验光线通过大质量物体附近发生弯曲的程度，最好的机会莫过于在发生日全食时对太阳所在的附近天区进行照相观测。在日全食时拍摄若干照相底片，然后最好等半年之后对同一天区再拍摄若干底片。通过对相隔半年的两组底片进行测算，才能确定星光被偏折的程度。这里还需要指出，即使是在日全食时，在紧贴太阳边缘处也是不可能看到恒星的。以1973年的一次观测为例，被拍摄到的恒星大多集中在离开太阳中心5到9个太阳半径的距离处，所以太阳边缘处的星光偏折必定是根据归算出来的曲线而外推获得的量。靠近太阳最近的一、二颗恒星往往非常强烈地影响最后的结果。
作了上述澄清之后，再来看本文开头所述的电影《爱因斯坦》中的艺术表达手法，过分得有点在愚弄观众的味道了;而一些科学类读物中的说法，譬如"爱丁顿率领着考察团，去南非看日食，真的看见了"这样的描述也过于粗略，容易产生误导。那么，对光线弯曲预言的验证的真实历史是怎样的呢?
爱丁顿对检验广义相对论关于光线弯曲的预言十分感兴趣。为了在1919年5月29日发生日全食时进行检验光线弯曲的观测，英国人组织了两个观测远征队。一队到巴西北部的索布拉尔(Sobral)，另一队到非洲几内亚海湾的普林西比岛(Principe)，爱丁顿参加了后一队，但他的运气比较差，日全食发生时普林西比的气象条件不是很好。1919年11月两支观测队的结果被归算出来：索布拉尔观测队的结果是1.98″±0.12″;普林西比队的结果是1.61″±0.30″。1919年11月6日，英国人宣布光线按照爱因斯坦所预言的方式发生偏折。
但是这一宣布是草率的，因为两支观测队归算出来的最后结果后来受到人们的怀疑。天文学家们明白，在检验光线弯曲这样一个复杂的观测中，导致最后结果产生误差的因素很多。其中影响很大的一个因素是温度的变化，温度变化导致大气扰动的模型发生变化、望远镜聚焦系统发生变化、照相底片的尺寸因热胀冷缩而发生变化，这些变化导致最后测算结果的系统误差大大增加。爱丁顿他们显然也认识到了温度变化对仪器精度的影响，他们在报告中说，小于10°F的温差是可以忽略的。但是索布拉尔夜晚温度为75°F，白天温度为97°F，昼夜温差达22°F。后来研究人员考虑了温度变化带来的影响，重新测算了索布拉尔的底片，最大的光线偏折量可达2.16″±0.14″。
底片的成像质量也影响最后结果。1919年7月在索布拉尔一共拍摄了26张比较底片，其中19张由格林尼治皇家天文台的天体照相仪拍摄，这架专门用于天体照相观测的仪器所拍摄的底片质量却较差，另一架4英寸的望远镜拍摄了7张成像质量较好的底片。按照前19张底片归算出来的光线偏折值是0.93″，按照后7张底片归算出来的光线偏折值却远远大于爱因斯坦的预言值。最后公布的值是所有26张底片的平均值。研究人员验算后发现，如果去掉其中成像不好的一、二颗恒星，会大大改变最后结果。
后来1922年、1929年、1936年、1947年和1952年发生日食时，各国天文学家都组织了检验光线弯曲的观测，公布的结果有的与广义相对论的预言符合较好，有的则严重不符合。但不管怎样，到20世纪60年代初，天文学家开始确信太阳对星光有偏折，并认为爱因斯坦预言的偏折量比牛顿力学所预言的更接近于观测，但是爱因斯坦的理论可能需要修正。
1973年6月30日的日全食是20世纪全食时间第二长的日全食，并且发生日全食时太阳位于恒星最密集的银河星空背景下，十分有利于对光线偏折进行检验。美国人在毛里塔尼亚的欣盖提沙漠绿洲建造了专门用于观测的绝热小屋，并为提高观测精度作了精心的准备，譬如把暗房和洗底片液保持在20°C、对整个仪器的温度变化进行监控等等。在拍摄了日食照片后，观测队封存了小屋，用水泥封住了望远镜上的止动销，到11月初再回去拍摄了比较底片。用精心设计的计算程序对所有的观测量进行分析之后，得到太阳边缘处星光的偏折是1.66″±0.18″。这一结果再次证实广义相对论的预言比牛顿力学的预言更符合观测，但是难以排除此前已经提出的布兰斯-迪克理论。
光学观测的精度似乎到了极限，但1974年到1975年间，福马伦特和什拉梅克利用甚长基线干涉仪，观测了太阳对三个射电源的偏折，最后得到太阳边缘处射电源的微波被偏折1.761″±0.016″。终于天文学家以误差小于1%的精度证实了广义相对论的预言，只不过观测的不是看得见的光线而是看不见的微波。
那么，我们难道只能说直到1975年爱因斯坦的广义相对论才成为"正确"的理论?才上升为科学?
从本文前述广义相对论提出之后半个多世纪里人们对光线弯曲预言的检验情况来看，1919年所谓的验证在相当程度上是不合格的。但爱因斯坦因这次验证而获得了极大的荣誉也是毋庸置疑的。如今的媒体和大多数科学史家也都把1919年的日食观测当做证实了爱因斯坦理论的观测。那么爱因斯坦本人又是如何看待他的理论预言和观测验证的呢?
早在1914年，爱因斯坦还没有算出正确的光线偏折值，就已经在给贝索(Besso)的信中说："无论日食观测成功与否，我已毫不怀疑整个理论体系的正确性(correctness)。"还有一个故事也广泛流传，说的是当预言被证实的消息传来，爱因斯坦正在上课，一位学生问他假如他的预言被证明是错的，他会怎么办?爱因斯坦回答说："那么我会为亲爱的上帝觉得难过，毕竟我的理论是正确的。"1930年爱因斯坦写道："我认为广义相对论主要意义不在于预言了一些微弱的观测效应，而是在于它的理论基础的简单性。"
在爱因斯坦看来，是广义相对论内在的简单性保证了它的"正确"性。1919年的证实确实给爱因斯坦带来了荣誉，但那是科学之外的事情;1919年的证实或许还让更多的人"相信"广义相对论是"正确"的，但这种证实很大程度上只是起到了"说服"的作用。从科学史上来看，精密的数理科学的进步模式确实有着这样的规律和特点：它们往往是运用了当时已有的最高深的数学知识而构建起来的一些精致的理论模型，它们的"正确"性很大程度上由它们内在的简单性和统一性所保证。虽然它们必然会给出可供检验的预言，譬如哥白尼日心说预言了恒星周年视差，爱因斯坦广义相对论预言了光线弯曲，霍金的黑洞理论预言了霍金辐射，但不必等到这些预言被证实，那些理论就应该并可以被当做科学理论。
那么"预言的证实"除了给爱因斯坦带来科学之外的荣誉外，还有没有别的意义呢?笔者以为，通过观测来证实某一理论，对于该理论被科学共同体接受有至关重要的作用。在理论提出者譬如爱因斯坦来说，他自信理论的正确性有内在的保证。而对于更多的其他人，他们并没有能力在深刻理解理论的基础上来判断该理论的正确性，所以只能采取"预言-证实"这样一种在其他场合也能行之有效的模式来判断理论的正确性。这"更多的其他人"包括了从较为专业的研究人员到一般大众的复杂人群构成。在理论提出者和"更多其他人"眼里，理论"正确"的标准也显然是不一致的。爱因斯坦在1914年就确信他的理论是正确的;从报纸等媒体上获悉科学信息的一般大众则在1919年相信了爱因斯坦是正确的;而在更为专业的研究人员那里，还要经过半个多世纪的反复检验，才敢说广义相对论在当时的认识水平上是正确的。