← back

Parking Spaces in Space

Parking Spaces in Space

by ongzz(15 minute read Β· 0 views)

Introduction

Happy new year everyone! (yes its a late greeting lmao)

Anyways, 2 weeks ago on 24th Dec 2021, NASA launched the James Webb Space Telescope (JWST), to capture the faintest of light sources in the night sky and help us better understand the universe. I'm sure everyone has heard of it, or even watched videos about it online πŸ‘€πŸ‘€

There's a lot of sciency stuff to be talked about for the JWST, but in this blog we'll be focusing on its trajectory, and also dive head first deep into the physics governing Lagrange Points!

The Lagrange points gang

For people who've watched YouTube videos about it, you've definitely heard of the term "Lagrange Point L2" before - I certainly have. I've heard of it previously, but never really thought about why it was so - like the whole concept is just SO MAGICAL.

Basically, Lagrange points are points in space where stuff can just "chill" there and orbit together with Earth around the Sun.

There are 5 such points for ANY 2 bodies in orbit, and JWST is currently heading over to the Earth-Sun orbit's L2 point. Many space probes have also been sent here in the past, too.

The points L1, L2 and L3 are all on the same Earth-Sun line, and are considered unstable points.

The L4 and L5 points form equilateral triangles with the Earth and the Sun, and are considered stable points.

Stability

Think of their stability like this: a ball can be balanced on top of a hill, but even the slightest gust of wind will blow it down the hill, making the hilltop be in an unstable equilibium. However, if you put the ball at the bottom, letting it sit in a pit somewhere, it would be hard to get it out without external force - this would be a stable equilibium.

Beacuse the L4 and L5 points are stable, many asteroids naturally clump together here (like how balls naturally roll downhill). These asteroids are called Trojan asteroids. Jupiter is famous for having tons of these. (the green ones)

Conversely, since L1, L2 and L3 are unstable points, no asteroids are there (but stuff that stays there will still be in equilibium too)

Since L3 is so far away from the Earth and the Sun, things at the L3 point, although able to "chill" there, are easily influenced by other stuff in the Solar System, and get pulled away easily.

And for the L1 and L2 points, they are the choices for launching space probes, as mentioned previously! This is because they are:

  • close to Earth
  • far away from asteroids which can crash into them

side note: JWST orbits around the L2 point in a "halo orbit", which basically means it's periodic. (some orbits are not usually periodic though!)

Point L1, the point between 2 worlds

The L1 point is between the Sun and Earth, being pulled by both celestial bodies which fix it in place. It would have the same orbital period as the Earth (meaning it orbits along with Earth):

Here's a diagram for the L1 point: Here, little m denotes a "test mass", just like "test charges" when taught in the context of Electricity / Magnetism. Don't worry about it too much though, as you'll see later that the final result won't depend on this m anyways.

Now, our problem is: how do we find the length rLr_L?

From high school, we know that anything in circular motion MUST have a centripetal force: that means that both the Sun and Earth's gravitational pull are making up the centripetal force for something orbiting at L2:

Firstly, we can equate the centripetal force to the resultant force of gravity on the test mass:

Fsunβˆ’Fearth=FcentripetalF_{sun} - F_{earth} = F_{centripetal}

Then, we can substitute their corresponding equations in:

GMSm(rEβˆ’rL)2βˆ’GMEmrL2=mv2rEβˆ’rLGMSm(rEβˆ’rL)2βˆ’GMEmrL2=mrEβˆ’rLβ‹…4Ο€2(rEβˆ’rL)2T2GMS(rEβˆ’rL)2βˆ’GMErL2=4Ο€2T2β‹…(rEβˆ’rL)GMS(rEβˆ’rL)2βˆ’GMErL2=4Ο€2T2rEβ‹…(1βˆ’rLrE)\begin{aligned} \frac{G M_S m}{(r_E - r_L)^2} - \frac{G M_E m}{r_L^2} &= \frac{m v^2}{r_E - r_L} \\ \frac{G M_S \cancel{m}}{(r_E - r_L)^2} - \frac{G M_E \cancel{m}}{r_L^2} &= \frac{\cancel{m}}{r_E - r_L} \cdot \frac{4\pi^2(r_E - r_L)^2}{T^2} \\ \frac{G M_S}{(r_E - r_L)^2} - \frac{G M_E}{r_L^2} &= \frac{4\pi^2}{T^2} \cdot (r_E - r_L) \\ \frac{G M_S}{(r_E - r_L)^2} - \frac{G M_E}{r_L^2} &= \frac{4\pi^2}{T^2} r_E \cdot \left(1 - \frac{r_L}{r_E}\right) \\ \end{aligned}

Notice how the test mass m cancels out! That means the final L1 point doesn't depend on how heavy the space probe is.

After that we can use Kepler's third law to simplify the RHS:

ByΒ Kepler’sΒ 3rdΒ law,Β \text{By Kepler's 3rd law, }
4Ο€2GMβ‹…r3=T24Ο€2T2β‹…r=GMr2\begin{aligned} \frac{4\pi^2}{GM} \cdot r^3 &= T^2 \\ \frac{4\pi^2}{T^2} \cdot r &= \frac{GM}{r^2} \end{aligned}

Plugging it in the RHS,

GMS(rEβˆ’rL)2βˆ’GMErL2=GMSrE2β‹…(1βˆ’rLrE)\begin{aligned} \frac{G M_S}{(r_E - r_L)^2} - \frac{G M_E}{r_L^2} &= \frac{G M_S}{r_E^2} \cdot \left(1 - \frac{r_L}{r_E}\right) \\ \end{aligned}

Now, the hardest thing to deal with is the GMS(rEβˆ’rL)2\frac{G M_S}{(r_E - r_L)^2} term on the LHS. We can simplify that by using the binomial approximation:

(1+x)nβ‰ˆ1+nx,Β forΒ smallΒ x(1+x)^n \approx 1 + nx \text{, for small } x

But first, we need to rearrange it to make it into the form we want:

GMSrE2β‹…(1βˆ’rLrE)βˆ’2βˆ’GMErL2=GMSrE2β‹…(1βˆ’rLrE)\begin{aligned} \frac{G M_S}{r_E^2} \cdot \left(1 - \frac{r_L}{r_E}\right)^{-2} - \frac{G M_E}{r_L^2} &= \frac{G M_S}{r_E^2} \cdot \left(1 - \frac{r_L}{r_E}\right) \\ \end{aligned}

After that, it's just smooth sailing for solving for rLr_L:

GMSrE2β‹…(1+2rLrE)βˆ’GMErL2β‰ˆGMSrE2β‹…(1βˆ’rLrE)MSrE2[(1+2rLrE)βˆ’(1βˆ’rLrE)]β‰ˆMErL2MSrE2β‹…3rLrEβ‰ˆMErL2rL3β‰ˆME3MSrE3rLβ‰ˆrEME3MS3\begin{aligned} \frac{\cancel{G} M_S}{r_E^2} \cdot \left(1 + 2\frac{r_L}{r_E}\right) - \frac{\cancel{G} M_E}{r_L^2} &\approx \frac{\cancel{G} M_S}{r_E^2} \cdot \left(1 - \frac{r_L}{r_E}\right) \\ \frac{M_S}{r_E^2} \left[ \left(1 + 2\frac{r_L}{r_E}\right) - \left(1 - \frac{r_L}{r_E}\right) \right] &\approx \frac{M_E}{r_L^2} \\ \frac{M_S}{r_E^2} \cdot \frac{3r_L}{r_E} &\approx \frac{M_E}{r_L^2} \\ r_L^3 &\approx \frac{M_E}{3M_S} r_E^3 \\ r_L &\approx r_E \sqrt[3]{\frac{M_E}{3M_S}} \end{aligned}

For Earth, this value would turn out to be around: rL1β‰ˆ1.5β‹…106kmr_{L1} \approx 1.5 \cdot 10^6 \text{km} .

Point L2, the dark twin of L1

Point L2 is also pulled by both the Sun and the Earth, but in another location - it's kind of like it's about to escape, but the Sun and the Earth are pulling it back, so it stays there orbiting.

The setup is similar to the L1 case, but both the Sun and the Earth are conspiring to hold the test mass back:

Fsun+Fearth=FcentripetalF_{sun} + F_{earth} = F_{centripetal}

The derivation is then literally the same as the L1 point:

GMSm(rE+rL)2+GMEmrL2=mv2rE+rLGMSm(rE+rL)2+GMEmrL2=mrE+rLβ‹…4Ο€2(rE+rL)2T2GMSrE2(1+rLrE)βˆ’2+GMErL2=4Ο€2T2rEβ‹…(1+rLrE)GMSrE2(1βˆ’2rLrE)+GMErL2β‰ˆGMSrE2β‹…(1+rLrE)MSrE2[(1+rLrE)βˆ’(1βˆ’2rLrE)]β‰ˆMErL2MSrE2β‹…3rLrEβ‰ˆMErL2rL3β‰ˆME3MSrE3rLβ‰ˆrEME3MS3\begin{aligned} \frac{G M_S m}{(r_E + r_L)^2} + \frac{G M_E m}{r_L^2} &= \frac{m v^2}{r_E + r_L} \\ \frac{G M_S \cancel{m}}{(r_E + r_L)^2} + \frac{G M_E \cancel{m}}{r_L^2} &= \frac{\cancel{m}}{r_E + r_L} \cdot \frac{4\pi^2(r_E + r_L)^2}{T^2} \\ \frac{G M_S}{r_E^2} \left(1 + \frac{r_L}{r_E} \right)^{-2} + \frac{G M_E}{r_L^2} &= \frac{4\pi^2}{T^2} r_E \cdot \left(1 + \frac{r_L}{r_E}\right) \\ \frac{\cancel{G} M_S}{r_E^2} \left(1 - 2\frac{r_L}{r_E} \right) + \frac{\cancel{G} M_E}{r_L^2} &\approx \frac{\cancel{G} M_S}{r_E^2} \cdot \left(1 + \frac{r_L}{r_E}\right) \\ \frac{M_S}{r_E^2} \left[ \left(1 + \frac{r_L}{r_E}\right) - \left(1 - 2\frac{r_L}{r_E}\right) \right] &\approx \frac{M_E}{r_L^2} \\ \frac{M_S}{r_E^2} \cdot \frac{3r_L}{r_E} &\approx \frac{M_E}{r_L^2} \\ r_L^3 &\approx \frac{M_E}{3M_S} r_E^3 \\ r_L &\approx r_E \sqrt[3]{\frac{M_E}{3M_S}} \end{aligned}

Note that its size is the same as L1!

Also, note that this would be on the other side of the moon ( rL2β‰ˆ1.5β‹…106kmr_{L2} \approx 1.5 \cdot 10^6 \text{km} , while the Earth-Moon distance is 3.844β‹…105km3.844 \cdot 10^5 \text{km} ) This makes it the choice for JWST, as it needs to shield itself from the Sun's rays so it has both the Earth and the Moon on its back.

Point L3, the loner

As stated previously, L3 is kind of useless because of how far away it is, but some have said that it could be used as a station to detect solar flares and predict solar events before they happen πŸ‘€πŸ”₯

The equation we have is the exact same as L2, but accounting for a different length now:

Fsun+Fearth=FcentripetalGMSm(rLβˆ’rE)2βˆ’GMEmrL2=mv2rLβˆ’rE\begin{aligned} F_{sun} + F_{earth} &= F_{centripetal} \\ \frac{G M_S m}{(r_L - r_E)^2} - \frac{G M_E m}{r_L^2} &= \frac{m v^2}{r_L - r_E} \\ \end{aligned}

Doing the same spiel as before, we get:

GMSm(rLβˆ’rE)2βˆ’GMEmrL2=mrLβˆ’rEβ‹…4Ο€2(rLβˆ’rE)2T2GMS(rLβˆ’rE)2βˆ’GMErL2=4Ο€2T2(rLβˆ’rE)GMS(rLβˆ’rE)2βˆ’GMErL2=GMSrE3(rLβˆ’rE),Β byΒ Kepler’sΒ 3rdΒ law\begin{aligned} \frac{G M_S \cancel{m}}{(r_L - r_E)^2} - \frac{G M_E \cancel{m}}{r_L^2} &= \frac{\cancel{m}}{r_L - r_E} \cdot \frac{4\pi^2(r_L - r_E)^2}{T^2} \\ \frac{G M_S}{(r_L - r_E)^2} - \frac{G M_E}{r_L^2} &= \frac{4\pi^2}{T^2} (r_L - r_E) \\ \frac{G M_S}{(r_L - r_E)^2} - \frac{G M_E}{r_L^2} &= \frac{G M_S}{r_E^3} (r_L - r_E) \text{, by Kepler's 3rd law} \\ \end{aligned}

Frankly, I was stuck when I got to this point. I couldn't use the binomial approximation as before, as in this setup, rLrE\frac{r_L}{r_E} would not be small. Instead, I tried rearranging some stuff around:

GMS(rLβˆ’rE)2βˆ’GMErL2=GMSrE3(rLβˆ’rE)MS(rLβˆ’rE)2βˆ’MErL2=MSrE2(rLrEβˆ’1)rL2(rLβˆ’rE)2βˆ’MEMS=rL2rE2(rLrEβˆ’1)rLrE2(rLrEβˆ’1)2βˆ’MEMS=rL2rE2(rLrEβˆ’1)\begin{aligned} \frac{\cancel{G} M_S}{(r_L - r_E)^2} - \frac{\cancel{G} M_E}{r_L^2} &= \frac{\cancel{G} M_S}{r_E^3} (r_L - r_E) \\ \frac{M_S}{(r_L - r_E)^2} - \frac{M_E}{r_L^2} &= \frac{M_S}{r_E^2} \left(\frac{r_L}{r_E} - 1\right) \\ \frac{r_L^2}{(r_L - r_E)^2} - \frac{M_E}{M_S} &= \frac{r_L^2}{r_E^2} \left(\frac{r_L}{r_E} - 1\right) \\ \frac{\frac{r_L}{r_E}^2}{\left(\frac{r_L}{r_E} - 1\right)^2} - \frac{M_E}{M_S} &= \frac{r_L^2}{r_E^2} \left(\frac{r_L}{r_E} - 1\right) \\ \end{aligned}

Here, we'll take a substitution: y=rLrEy = \frac{r_L}{r_E}

(yyβˆ’1)2βˆ’MEMS=y2(yβˆ’1)y2βˆ’MEMS(yβˆ’1)2=y2(yβˆ’1)3\begin{aligned} \left(\frac{y}{y - 1}\right)^2 - \frac{M_E}{M_S} &= y^2 (y - 1) \\ y^2 - \frac{M_E}{M_S}(y-1)^2 &= y^2 (y-1)^3 \\ \end{aligned}

Holy smokes, we've turned our problem into a quintic equation! But it's alright: we could use an approximation and solve for the roots by factoring. Since ME<<MSM_E << M_S, MEMS<<1\frac{M_E}{M_S} << 1, effectively 0.

Hence,

y2β‰ˆy2(yβˆ’1)3y2(1βˆ’(yβˆ’1)3)β‰ˆ0\begin{aligned} y^2 &\approx y^2 (y-1)^3 \\ y^2 (1 - (y-1)^3) &\approx 0 \\ \end{aligned}

We get y2=0y^2=0 (which we'll ignore), and (1βˆ’(yβˆ’1)3)=0(1 - (y-1)^3) = 0 . Simplifying, we get:

(yβˆ’1)3β‰ˆ1yβ‰ˆ2rLrEβ‰ˆ2rLβ‰ˆ2rE\begin{aligned} (y-1)^3 &\approx 1 \\ y &\approx 2 \\ \frac{r_L}{r_E} &\approx 2 \\ r_L &\approx 2r_E \end{aligned}

This means that L3 is twice as large as rEr_E, and thus is directly opposite the Earth, forever invisible to us Earth dwellers.

Illuminati confirmed? Points L4 and L5

??? Ξ”\Delta ???

In all seriousness though, the points L4 and L5 are harder to prove. To understand them better, we need to think more. Like literally more, 1 more specifically. Enter: the restricted 3 body problem

The restricted 3 body problem

So far we've been thinking about the Sun as one big stationary mass, with the Earth orbiting around it. This is called a "one body model", or a "central-force problem".

But this is not the case! In reality, the Sun also moves a little too, due to all the forces acting on it. By considering ONLY the Earth and the Sun, this would become a "2-body problem".

Similarly, since we are treating the Lagrange points as test masses m, our problem is actually a "3-body problem", and these are notoriously hard to solve. But since the test mass m is super tiny, this becomes a restricted 3 body problem, of which a solution can be found easily. In this restricted 3 body problem, we neglect any influences the test mass would have on the Sun / Earth, and effectively turn this into a 2 body problem.

Barry's center

In a 2 body system, the common point where these celestial bodies orbit about is called a barycenter, aka the center of mass.

Isn't it satisfying to see their elegant dances around each other?

Since the barycenter is a center of mass, we can find the length of rCSr_{CS} and rCEr_{CE} by scaling rEr_E according to their masses:

rCS=rEβ‹…MEMS+MEr_{CS} = r_E \cdot \frac{M_E}{M_S + M_E}
rCE=rEβ‹…MSMS+MEr_{CE} = r_E \cdot \frac{M_S}{M_S + M_E}

In cases L1, L2 and L3, because we were considering points on the Earth-Sun line, the barycenter lied on top of the line, and so they orbited around it anyways.

For the L4 and L5 points however, since they are not on the Earth-Sun line, we will have to account for this in the following calculations and note that they orbit around the barycenter, which is where things start spicing up.

With this idea in mind, we can start proving that L4 and L5 points form equilateral triangles.

Proving Illuminati

First, we need a diagram. Let's imagine the test mass was somewhere out there in space. We'll denote its distance to the Sun and Earth aa and bb respectively. By proving that aa and bb are equal to rEr_E , we can show that they form an equilateral triangle. (scroll down for a tl;dr if math scares you)

Now we can start getting our hands dirty. Let's consider the test mass m and the Earth.

Because the L4 and L5 points orbit together with the Earth, their orbital periods have to be the same. Using vt=2Ο€rvt=2\pi r , we get:

vLT=2Ο€rLβ‡’2Ο€T=vLrLvET=2Ο€rCEβ‡’2Ο€T=vErCE∴vLrL=vErCEvLrL=vErE(1+MEMS)Β Β Β Β Β (1)\begin{aligned} v_L T = 2\pi r_L &\Rightarrow \frac{2\pi}{T} = \frac{v_L}{r_L} \\ v_E T = 2\pi r_{CE} &\Rightarrow \frac{2\pi}{T} = \frac{v_E}{r_{CE}} \\ \therefore \frac{v_L}{r_L} &= \frac{v_E}{r_{CE}} \\ \frac{v_L}{r_L} &= \frac{v_E}{r_E} \left(1 + \frac{M_E}{M_S} \right) ~~~~~ (1) \end{aligned}

So we've now got an equation relating their velocities and radii... but we don't want velocities! We just want to find their radii, so we need to do some MATH.

Specifically, we're going to find 2 other equations with vEv_E and vLv_L to use, so that we can eliminate them in the equation above. (think simultaneous equations) One way we could do that is by considering their centripetal forces - and equate them with the forces constituting their gravitational attraction.

For Earth, this would look like:

Fsun=FcentripetalGMSMErE2=MEvE2rCEGMSrE2=vE2rE(1+MEMS)GMSrE=vE2(1+MEMS)Β Β Β Β Β (2)\begin{aligned} F_{sun} &= F_{centripetal} \\ \frac{G M_S M_E}{r_E^2} &= \frac{M_E v_E^2}{r_{CE}} \\ \frac{G M_S}{r_E^2} &= \frac{v_E^2}{r_E} \left(1 + \frac{M_E}{M_S}\right) \\ \frac{G M_S}{r_E} &= v_E^2 \left(1 + \frac{M_E}{M_S}\right) ~~~~~ (2) \end{aligned}

For the test mass m at the Lagrange point, because it's being pulled by both the Earth and the Sun, we must break both gravitational forces into their components, so let's add some angle labels in our diagram:

Then, since the gravitational force makes up the centripetal force for the Lagrange point, we can find an equation for the test mass' centripetal force:

Fcentripetal=Fsun,βˆ₯+Fearth,βˆ₯mvL2rL=Fsuncos⁑α+Fearthcos⁑βvL2rL=GMSa2cos⁑(Ξ±)+GMEb2cos⁑(Ξ²)Β Β Β Β Β (3)\begin{aligned} F_{centripetal} &= F_{sun, \parallel} + F_{earth, \parallel} \\ \frac{m v_L^2}{r_L} &= F_{sun} \cos \alpha + F_{earth} \cos \beta \\ \frac{v_L^2}{r_L} &= \frac{G M_S}{a^2} \cos(\alpha) + \frac{G M_E}{b^2} \cos(\beta) ~~~~~ (3) \end{aligned}

Now, we can start combining equations together:

vL2rL2=vE2rE2(1+MEMS)2Β Β Β Β Β (1)2vL2rL2β‹…rE2(1+MEMS)=vE2(1+MEMS)usingΒ (2),Β Β Β Β Β vL2rL2β‹…rE2(1+MEMS)=GMSrE\begin{aligned} \frac{v_L^2}{r_L^2} &= \frac{v_E^2}{r_E^2} \left(1 + \frac{M_E}{M_S} \right)^2 ~~~~~ (1)^2 \\ \frac{v_L^2}{r_L^2} \cdot \frac{r_E^2}{\left(1 + \frac{M_E}{M_S} \right)} &= v_E^2 \left(1 + \frac{M_E}{M_S} \right) \\ \text{using } (2), ~~~~~ \frac{v_L^2}{r_L^2} \cdot \frac{r_E^2}{\left(1 + \frac{M_E}{M_S} \right)} &= \frac{G M_S}{r_E} \\ \end{aligned}

Further simplifying,

vL2rL2β‹…rE2(1+MEMS)=GMSrEvL2rL2=GMSrE3(1+MEMS)vL2rL=GMSrE3rL(1+MEMS)usingΒ (3),Β Β Β Β Β GMSa2cos⁑α+GMEb2cos⁑β=GMSrE3rL(1+MEMS)GMSa2cos⁑α+GMEb2cos⁑β=GMSrE3rL(1+MEMS)cos⁑αa2+MEMScos⁑βb2=rLrE3(1+MEMS)Β Β Β Β Β (4)\begin{aligned} \frac{v_L^2}{r_L^2} \cdot \frac{r_E^2}{\left(1 + \frac{M_E}{M_S} \right)} &= \frac{G M_S}{r_E} \\ \frac{v_L^2}{r_L^2} &= \frac{G M_S}{r_E^3} \left(1 + \frac{M_E}{M_S} \right) \\ \frac{v_L^2}{r_L} &= \frac{G M_S}{r_E^3} r_L \left(1 + \frac{M_E}{M_S} \right) \\ \text{using } (3), ~~~~~ \frac{G M_S}{a^2} \cos \alpha + \frac{G M_E}{b^2} \cos \beta &= \frac{G M_S}{r_E^3} r_L \left(1 + \frac{M_E}{M_S} \right) \\ \frac{\cancel{G} M_S}{a^2} \cos \alpha + \frac{\cancel{G} M_E}{b^2} \cos \beta &= \frac{\cancel{G} M_S}{r_E^3} r_L \left(1 + \frac{M_E}{M_S} \right) \\ \frac{\cos \alpha}{a^2} + \frac{M_E}{M_S} \frac{\cos \beta}{b^2} &= \frac{r_L}{r_E^3} \left(1 + \frac{M_E}{M_S} \right) ~~~~~ (4) \end{aligned}

Phew! That was a lot to unpack, hope you're still doing fine! We're almost at the end.

One more thing to note is that for the test mass to be at equilibium, it should NOT be moving horizontally - this means that the other components of the gravitational force should cancel out, i.e.:

Fsun,βŠ₯=Fearth,βŠ₯Fsunsin⁑α=Fearthsin⁑βMSa2sin⁑α=MEb2sin⁑βMEMS=b2a2β‹…sin⁑αsin⁑β     (5)\begin{aligned} F_{sun, \perp} &= F_{earth, \perp} \\ F_{sun} \sin \alpha &= F_{earth} \sin \beta \\ \frac{M_S}{a^2} \sin \alpha &= \frac{M_E}{b^2} \sin \beta \\ \frac{M_E}{M_S} &= \frac{b^2}{a^2} \cdot \frac{\sin \alpha}{\sin \beta} ~~~~~ (5) \end{aligned}

Putting this into the LHS of (4)(4) ,

cos⁑αa2+MEMScos⁑βb2=rLrE3(1+MEMS)cos⁑αa2+sin⁑αa2cos⁑βsin⁑β=rLrE3(1+MEMS)     (6)\begin{aligned} \frac{\cos \alpha}{a^2} + \frac{M_E}{M_S} \frac{\cos \beta}{b^2} &= \frac{r_L}{r_E^3} \left(1 + \frac{M_E}{M_S} \right) \\ \frac{\cos \alpha}{a^2} + \frac{\sin \alpha}{a^2} \frac{\cos \beta}{\sin \beta} &= \frac{r_L}{r_E^3} \left(1 + \frac{M_E}{M_S} \right) ~~~~~ (6) \end{aligned}

Now, remember what rCEr_{CE} was?

rCE=rEβ‹…MSMS+MErCE=rEβ‹…11+MEMS1+MEMS=rErCE\begin{aligned} r_{CE} &= r_E \cdot \frac{M_S}{M_S + M_E} \\ r_{CE} &= r_E \cdot \frac{1}{1 + \frac{M_E}{M_S}} \\ 1 + \frac{M_E}{M_S} &= \frac{r_E}{r_{CE}} \\ \end{aligned}

Now putting THAT into equation (6)(6) , everything starts looking cleaner:

cos⁑αa2+sin⁑αa2cos⁑βsin⁑β=rLrE3(1+MEMS)cos⁑αa2+sin⁑αa2cos⁑βsin⁑β=1rE2rLrCE     (7)\begin{aligned} \frac{\cos \alpha}{a^2} + \frac{\sin \alpha}{a^2} \frac{\cos \beta}{\sin \beta} &= \frac{r_L}{r_E^3} \left(1 + \frac{M_E}{M_S} \right) \\ \frac{\cos \alpha}{a^2} + \frac{\sin \alpha}{a^2} \frac{\cos \beta}{\sin \beta} &= \frac{1}{r_E^2} \frac{r_L}{r_{CE}} ~~~~~ (7) \end{aligned}

Using the sin⁑\sin addition formula, the LHS becomes:

cos⁑αa2+sin⁑αa2cos⁑βsin⁑β=1rE2rLrCE1a2sin⁑β(sin⁑βcos⁑α+sin⁑αcos⁑β)=1rE2rLrCE1a2sin⁑β(sin⁑(α+β))=1rE2rLrCE1a2sin⁑β(sin⁑L)=1rE2rLrCE     (8)\begin{aligned} \frac{\cos \alpha}{a^2} + \frac{\sin \alpha}{a^2} \frac{\cos \beta}{\sin \beta} &= \frac{1}{r_E^2} \frac{r_L}{r_{CE}} \\ \frac{1}{a^2 \sin \beta} ( \sin\beta \cos \alpha + \sin \alpha \cos \beta ) &= \frac{1}{r_E^2} \frac{r_L}{r_{CE}} \\ \frac{1}{a^2 \sin \beta} ( \sin(\alpha + \beta) ) &= \frac{1}{r_E^2} \frac{r_L}{r_{CE}} \\ \frac{1}{a^2 \sin \beta} ( \sin L ) &= \frac{1}{r_E^2} \frac{r_L}{r_{CE}} ~~~~~ (8) \end{aligned}

From here on, I'll denote angles by their symbols at the vertex, with LL representing the Lagrange point.

From our diagram, we can apply the sine rule and do some ✨geometry✨ to find what rLrCE\frac{r_L}{r_{CE}} is:

FromΒ Ξ”ECL,Β Β Β Β Β sin⁑βrCE=sin⁑ErLrLrCE=sin⁑Esin⁑β\begin{aligned} \text{From } \Delta ECL, ~~~~~ & \\ \frac{\sin \beta}{r_{CE}} &= \frac{\sin E}{r_L} \\ \frac{r_L}{r_{CE}} &= \frac{\sin E}{\sin \beta} \\ \end{aligned}

Alright, we'll put this back into equation (8)(8) :

1a2sin⁑(β)(sin⁑L)=1rE2rLrCE1a2sin⁑(β)(sin⁑L)=1rE2sin⁑Esin⁑βrE2a2=sin⁑Esin⁑L     (9)\begin{aligned} \frac{1}{a^2 \sin(\beta)} ( \sin L ) &= \frac{1}{r_E^2} \frac{r_L}{r_{CE}} \\ \frac{1}{a^2 \sin(\beta)} ( \sin L ) &= \frac{1}{r_E^2} \frac{\sin E}{\sin \beta} \\ \frac{r_E^2}{a^2} &= \frac{\sin E}{\sin L} ~~~~~ (9) \end{aligned}

One last step! We'll use the sine rule again to find sin⁑Esin⁑L\frac{\sin E}{\sin L} :

FromΒ Ξ”SEL,Β Β Β Β Β sin⁑LrE=sin⁑Easin⁑Esin⁑L=arE\begin{aligned} \text{From } \Delta SEL, ~~~~~ & \\ \frac{\sin L}{r_E} &= \frac{\sin E}{a} \\ \frac{\sin E}{\sin L} &= \frac{a}{r_E} \\ \end{aligned}

Putting that into equation (9)(9) yields:

rE2a2=sin⁑Esin⁑LrE2a2=arEa3=rE3a=rE\begin{aligned} \frac{r_E^2}{a^2} &= \frac{\sin E}{\sin L} \\ \frac{r_E^2}{a^2} &= \frac{a}{r_E} \\ a^3 &= r_E^3 \\ a &= r_E \end{aligned}

Isn't that neat?! All that junk from earlier... all those conditions we imposed for the test mass to be at equilibium... produces this simple fact about the system!!

Throughout this process we've only considered the test mass and the Earth - if we were to consider the Sun, we'd get b=rEb = r_E too! (source: trust me bro), and this concludes our derivation for the L4 and L5 points.

tl;dr: For an arbitrary point in space orbiting around a common barycenter with the same period as the Earth, it would have to be as far to the Sun and Earth as the Earth is to the Sun, aka form an equilateral triangle!

Conclusion

To recap, we've looked at Lagrange points: what they are, and how they were derived. It's just crazy to think that things can orbit around empty space, being held in place by stuff in this vast universe. And even crazier is that we can deduce them from Earth, by using only math and physics!

This is why I love these 2 subjects - take the L4 and L5 points for example. We've only applied some conditions for equilibium, and we've then gotten statements that MUST be true for that to occur.

Anyways, thanks for sticking with me till the end! Feel free to send me any feedback, I'll try to improve!! οΌˆοΏ£οΈΆοΏ£οΌ‰β†— <3

Β© 2022 Ong Zhi Zheng