The 4 in the Light-Bending Angle Is Not 4 pi but 2(1 + gamma) ── The Doubling Belongs to v = c, Not to Gravity: a Distinct-Root Census of the Deflection Angle, the Critical Surface Density and the Einstein Ring (the Yamagishi Census of Lensing) ── [Paper 134]

The 4 in the light-bending angle is not 4 pi but 2 times (1 + gamma) - a census of lensing.

The deflection of light by a point mass is 4GM over c squared b. This paper writes what that 4 is made of. NO NEW MATHEMATICAL THEOREM AND NO NEW PHYSICAL LAW IS CLAIMED. Einstein (1915, 1936), Zwicky (1937), the PPN formalism (Will), Brans-Dicke (1961) and the Cassini measurement of gamma (Bertotti et al. 2003) are all standard. Because the corpus rests on 4 pi (Papers 01, 02), a 4 invites being read as a relative of 4 pi, and this paper stops that.

First, the 4 is not 4 pi. It is 2 times 2. The first 2 is the value of an integral. Integrating the transverse gravitational force along a straight trajectory, symbolic computation here gives the full-line integral of GMb over (b squared plus z squared) to the three halves as exactly 2GM over b, and dividing by the square of the speed of light gives the Newtonian deflection 2GM over c squared b. This 2 is the value of an integral, neither a solid angle nor a period, and no pi occurs anywhere in it.

Second, the exact deflection integral confirms it. In the Schwarzschild metric the exact deflection is an inverse-square-root integral minus pi. This paper removes the endpoint singularity by substitution, divides out the simple root and quadrates. With the impact parameter at 500 times GM over c squared the ratio to the weak-field value is 1.00593350, at 1000 times it is 1.00295595, and at ten thousand times it is 1.00029464. That last figure agrees to seven digits with the known second-order term, one plus fifteen pi over sixteen times the ratio, namely 1.00029452. So in a weak field the general-relativistic value is exactly twice the Newtonian one.

Third, one of the two cores. The second 2 is a measured quantity. In the parametrised post-Newtonian formalism the deflection is (1 + gamma) times 2GM over c squared b, where gamma measures how much spatial curvature is produced per unit mass, and general relativity predicts gamma equal to one. This splits the 4 in two: the first half, two times one, comes from the warping of time and is nearly forced by the equivalence principle, while the second half, two times gamma, comes from spatial curvature and is a measured quantity. And gamma moves between theories. In Brans-Dicke theory gamma is (1 + omega) over (2 + omega), and the computation here gives the four as 3.33333333 at omega equal to one, 3.83333333 at ten, 3.98039216 at a hundred and 3.99995000 at forty thousand. The four moves. The Cassini radio-delay measurement puts gamma minus one consistent with zero at the level of ten to the minus five, so the four is a quantity measured to five digits and not a mathematical necessity. Within one formula the two halves are of different standing, which is an instance of Paper 95's sorting.

Fourth, the other core. The doubling belongs not to gravity but to travelling at the speed of light. The weak-field deflection of a particle of speed v is standardly 2GM over b v squared, times one plus v squared over c squared, so the ratio to the Newtonian value is one plus v squared over c squared. The table here gives 2.00000000 at v over c equal to one, 1.25000000 at one half, 1.01000000 at one tenth, 1.00010000 at one hundredth and 1.00000001 at one ten-thousandth. So saying that light falls twice as fast is not right: the factor is one plus v squared over c squared, and it is two only because a photon travels at the speed of light, while a slow particle barely feels the second half. The reason can be written too. The Newtonian half is carried by the time component of the metric and the other half by the spatial components; a slow particle's worldline points almost entirely along time and sweeps almost none of the spatial part, whereas light sweeps time and space equally. The two is the consequence of that.

Fifth, so where is the 4 pi? In the critical surface density. Writing the lens equation produces a critical surface density equal to the square of the speed of light times the distance to the source, divided by four pi times the gravitational constant times the distance to the lens times the distance from lens to source. That four pi comes from Poisson's equation, the same one Paper 35 placed on the side of fact. And the address matters: the four pi appears where an observed distortion is turned back into a mass distribution, not in the bending angle itself. This is the same shape as Paper 130, where the four pi lived not in Helmholtz's theorems but in Biot-Savart, that is, in the inverse problem. Lensing repeats it (Papers 89, 99). To point at a four pi, look not at the bending angle but at the formula that reads the mass back.

Sixth, the content of the Einstein ring is that the mean convergence inside it is exactly one. The square of the Einstein radius is four GM times the lens-to-source distance divided by the square of the speed of light times the distance to the lens times the distance to the source. Computing the mean convergence inside that radius, that is the mean surface density divided by the critical one, symbolic computation here gives exactly one. So the Einstein ring is the radius at which the projected mean density equals the critical density, and that single sentence is the condition for the ring to exist. The square root appearing in the Einstein radius is moreover a consequence of the lens equation being quadratic and did not come from the geometry of a sphere. Paper 28 said that an exponent is not a dimension, and here too the exponent announces the degree of the equation that was solved.

IMPORTANT (scope): a census of established standard material (Layer 2). Every work cited is standard. What is not claimed: any new mathematical theorem (there is none) / any new physical law (there is none) / that the general-relativistic deflection angle is in error (it is not) / that gamma might differ from one (that is not claimed; measurement is consistent with one, and what is stated is the standing of the quantity, namely that it rests on measurement). What is added: splitting the four into two times two and making explicit that the second half is measured, confirming the exact deflection integral down to the second-order term, tabulating the doubling as a property of the speed of light, placing the address of the four pi at the critical surface density, and writing that the ring's content is a mean convergence of one. What remains: do not let a four call four pi to mind. Until a number is broken into its parts, what it is saying is not known.

On the making of this work: The ideas and content of this work stem from the author's own considerations. Assistance from an AI (a large language model) was used for structuring, English translation, and checking the algebra. Any remaining errors or misinterpretations are solely the author's. Feedback and corrections are sincerely appreciated.

-----

光の曲がりの 4 は、4π ではなく 2(1+γ) である——レンズの点呼。

点質量による光の偏向角は 4GM/(c²b) である。本稿はこの 4 の内訳を書く。新しい数学定理も新しい物理法則も主張しない。アインシュタイン(1915・1936)、ツビッキー(1937)、PPN形式(ウィル)、ブランス=ディッケ(1961)、カッシーニによる γ の測定(ベルトッティら 2003)は、いずれも標準的な内容である。体系は 4π を土台に持つため(論文01・02)、4 を見たときに 4π の親戚だと読みたくなる。本稿はその誘惑を止める。

第一に、4 は 4π ではない。2 掛ける 2 である。第一の 2 は積分の値である。直線軌道に沿って横向きの重力を積分すると、本稿の記号計算では GMb を (b²+z²) の 3/2 乗で割ったものの全区間積分がちょうど 2GM/b となり、これを光速の二乗で割ってニュートン的な偏向 2GM/(c²b) を得る。この 2 は積分の値であって、立体角でも周期でもない。円周率はどこにも現れない。

第二に、厳密な偏向積分がそれを裏づける。シュヴァルツシルト計量における厳密な偏向は、逆平方根の被積分関数の積分から π を引いたものである。本稿では端点の逆平方根特異性を変数変換で外し、単純根を割り出してから求積した。衝突径数を GM/c² の 500 倍にとると比は 1.00593350、1000 倍で 1.00295595、1万倍で 1.00029464 となる。この最後の値は、既知の二次項 1 + 15π/(16 かける衝突径数比) = 1.00029452 と 7 桁一致する。すなわち弱い場での一般相対論の値は、ニュートン値のちょうど二倍である。

第三に、これが本稿の芯の一つ。第二の 2 は測られている量である。パラメータ化ポスト・ニュートン形式では、偏向角は (1+γ) 掛ける 2GM/(c²b) と書ける。ここで γ は単位質量あたりどれだけ空間曲率が生じるかを表すパラメータであり、一般相対論は γ=1 を予言する。この形は 4 を二つに割る——前半の 2 かける 1 は時間の歪みから来て等価原理でほぼ強制されるが、後半の 2 かける γ は空間曲率から来る測定量である。そして γ は理論によって動く。ブランス=ディッケ理論では γ=(1+ω)/(2+ω) であり、本稿の計算では ω=1 のとき「4」が 3.33333333、ω=10 で 3.83333333、ω=100 で 3.98039216、ω=40000 で 3.99995000 となる。「4」は動くのである。カッシーニ探査機による電波遅延の測定は γ−1 を 10 のマイナス5乗の水準で 0 と一致させている。すなわち「4」は五桁まで測られた量であって、数学的必然ではない。同じ式の中で、二つの半分の身分が違う——これは論文95 の仕分けの実例である。

第四に、これが本稿の芯のもう一つ。二倍は重力の性質ではなく、光速で走ることの性質である。速さ v の粒子の弱い場での偏向は、標準的に 2GM/(bv²) 掛ける (1 + v²/c²) と書ける。ニュートン値との比は 1 + v²/c² であり、本稿の表では v/c が 1 のとき 2.00000000、0.5 で 1.25000000、0.1 で 1.01000000、0.01 で 1.00010000、1万分の1 で 1.00000001 である。すなわち「光は二倍落ちる」という言い方は正しくない。因子は 1 + v²/c² であって、2 になるのは光子が光速で走るからである。遅い粒子は後半をほとんど感じない。理由も書ける。ニュートン的な半分は計量の時間成分が担い、もう半分は空間成分が担う。遅い粒子は世界線がほぼ時間方向を向いているから空間成分をほとんど掃かないが、光は時間方向と空間方向を等しく掃く。2 はそのことの帰結である。

第五に、では 4π はどこにあるのか。臨界面密度である。レンズ方程式を書くときに現れる臨界面密度は、光速の二乗かける光源までの距離を、4π かける重力定数かけるレンズまでの距離かけるレンズから光源までの距離で割ったものである。この 4π はポアソン方程式から来ており、論文35 が事実の側に置いたものと同じである。そして住所が重要である——4π が現れるのは、観測された歪みから質量分布を復元する段であって、曲がり角そのものではない。これは論文130 と同じ形である。そこでは 4π がヘルムホルツの定理ではなくビオ=サヴァール、すなわち逆問題に住んでいた。レンズでも同じである(論文89・99)。4π を指差すなら、曲がり角ではなく、質量を読み戻す式を見るべきである。

第六に、アインシュタイン環の中身は「平均収束度がちょうど 1」であることである。アインシュタイン半径の二乗は 4GM かけるレンズから光源までの距離を、光速の二乗かけるレンズまでの距離かける光源までの距離で割ったもので与えられる。この半径の内側での平均収束度、すなわち平均面密度を臨界面密度で割ったものを本稿で記号計算すると、ちょうど 1 になる。すなわちアインシュタイン環とは、投影された平均密度が臨界密度に一致する半径のことであり、その一文が環の存在条件そのものである。またアインシュタイン半径に現れる平方根は、レンズ方程式が二次式であることの帰結であって、球面の幾何から来たものではない。論文28 は指数は次元ではないと述べたが、ここでも指数は、解いた方程式の次数を告げている。

重要(射程):確立された標準的事実の点呼(第2層)。挙げた文献はいずれも標準的な内容である。示さないこと:新しい数学定理(一つもない)/新しい物理法則(一つもない)/一般相対論の偏向角に誤りがあること(ない)/γ が 1 でない可能性を主張すること(主張しない。測定は 1 と整合している。述べているのは、それが測定に支えられているという身分の話である)。加えたもの:4 を 2 掛ける 2 に割り後半が測定量であることを明示したこと、厳密な偏向積分で二次項まで裏づけたこと、二倍が光速の性質であることを表で示したこと、4π の住所を臨界面密度に置いたこと、環の中身が平均収束度 1 であることを書いたこと。残るもの:4 を見て 4π を思い出してはならない。数の内訳を書くまでは、その数が何を語っているか分からない。

作成にあたって:本稿の着想と内容は、著者自身の考察に基づくものです。文章の構成整理や英訳、数式の確認には AI(大規模言語モデル)の助力を得ました。最終的な内容の解釈や誤りがあれば、それらはすべて著者の責に帰します。お気づきの点があれば、ご教示いただければ幸いです。