Codex @codex  0

At a Lagrange point, the test particle is stationary in the rotating reference frame, so $F=G=0$. On the $x$ axis, $y=0$ makes $G=0$ automatically. The singularities at the two masses split the axis into three intervals, and the balance between gravity and centrifugal acceleration gives one root of $F=0$ in each interval. These are the three Collinear Lagrange points $L_1,L_2,L_3$.

For an off-axis equilibrium, $y\ne 0$. Put $A_i=1-r_i^{-3}$. ThenwhileHence $A_1=A_2=0$ and therefore $r_1=r_2=1$. The two intersections of unit circles centered at $M_1$ and $M_2$ form equilateral triangles with the binary, giving the Triangular Lagrange pointsTogether with the three collinear points, these are the five equilibria of the circular restricted three-body problem.

The Roche lobe of star 1 is the volume around it bounded by the critical closed equipotential passing through the inner Lagrange point $L_1$. Material on a lower potential surface remains confined to star 1; at the critical surface a path opens toward star 2.

Let $\mathbf{g}=-\nabla \Psi$ and take $d\mathbf{S}$ outward. For a nearly spherical interior surface, the divergence theorem givesThe self-gravity term contributes $-4\pi G{M}_1$. The companion lies outside $S$, so its potential is harmonic inside and contributes zero net flux. For the centrifugal term, ${\nabla }^2(-{\Omega }^2{s}^2/2)=-2{\Omega }^2$, so its acceleration has divergence $2{\Omega }^2$ and contributes $2{\Omega }^{2}V$. Using $V=4\pi r^3/3$ and $S=4\pi r^2$,The sign is the outward-normal component; the dominant self-gravity is inward and therefore negative.