Caroline Jones 13JLB Mathematical derivations of Kepler's Laws of Planetary Motion and the equations of planetary orbits Contents 1. Introduction ............................................................................................................ 1 2. Ellipses .................................................................................................................... 2 i. Cartesian form .................................................................................................... 2 ii. The elliptical properties of Jupiter’s orbit........................................................... 5 iii. Polar form........................................................................................................ 6 3. Kepler’s First Law .................................................................................................... 8 4. Kepler’s Second Law ............................................................................................. 12 5. Kepler’s Third Law ................................................................................................ 13 6. Conclusion ............................................................................................................ 15 7. Bibliography .......................................................................................................... 16 1. Introduction I have always been fascinated by the popular science of Astrophysics, mainly from watching programs of Stephen Hawking and Brian Cox. From very on in the history of the human race, people have been perplexed by astrological phenomena, therefore it is one of the very oldest branches of Physics, making it a very interesting subject to study historically as well. It was also often associated with Philosophy, another of my favourite subjects, with some of the most ancient Astronomers also studying Philosophy (such as Thales, Anaximander and Aristotle), as both disciplines were considered to be some of the highest branches of academia. I was introduced to Kepler’s Laws in my Physics lessons, where we learnt a simple derivation for Kepler’s Third Law using equations of motion. I found the concept interesting, but the proof unsatisfying. This is because this particular proof approximates the equation of a planet’s orbit to a circle, whereas Kepler’s First Law tells us that orbits are ellipses. I therefore wanted to find a more general derivation that showed that Kepler’s Third Law is true for all ellipses, not just specific to circles. For this reason, I decided to research how Kepler’s Laws of Planetary Motion1 can be mathematically derived. These derivations are fascinating for me as they combine two of my favourite topics in maths – geometry and calculus. Researching planetary orbits led me to examine conic sections: the shapes formed from the intersection of a plane and a circular cone at different angles, as shown in Figure 12. Kepler’s Laws looks specifically at ellipses, and over the course of this essay I Figure 1 Diagram of conic sections 1 2 "Kepler's Laws." Hyperphysics. N.p., n.d. Web. 9 Oct. 2014. "File:Conic Sections.svg." Wikipedia. Wikimedia Foundation, 22 July 2014. Web. 12 Oct. 2014. Caroline Jones 13JLB will explore the properties of ellipses and their link to the orbits of planets, using predominately calculus and algebra to prove Kepler’s three laws. In doing so, my aim is to make the mathematics and physics of the derivations clear to understand for an audience of my peers studying Maths and Physics at Higher Level, as this is not covered by the standard curriculum, and not something that I have been able to find in the many sources I consulted. I hope to share my enthusiasm and make the ideas that I describe clear and engaging. Over the course of this essay, I aim to make sense of the following: ο· How equations of circles and ellipses come about, in different coordinate systems ο· Kepler’s First Law: The orbit of a planet is an ellipse with the Sun at one of the two foci. ο· Kepler’s Second Law: A line segment joining a planet and the Sun sweeps out equal areas during equal intervals of time. ο· Kepler’s Third Law: The square of the orbital period of a planet is proportional to the cube of the semi-major axis of its orbit. 2. Ellipses i. Cartesian form Kepler’s Laws of Planetary motion are rules that describe the orbits of planets, therefore it seems necessary to me to first explore the equations that can model the orbit of planetary motion. Figure 2 Graph of circle In their most basic form, the orbits of planets are approximated to circles, which are modelled by the equation: π₯2 + π¦2 = π2 where r is the radius of the circle, the centre of the circle is the origin, and (π₯, π¦) is any point on the circle. I do not think I will need to consider the more complicated equation for a circle not centred on the origin, with centre (π, π), because in a planetary system we can define the centre to be anywhere, therefore it is convenient to use the origin. Figure 2 shows an example of a circle with radius of 1. However, orbits are more accurately defined by ellipses, modelled by the Cartesian equation (named after the mathematician and philosopher René Descartes): π₯2 π¦2 + =1 π2 π 2 where a is the horizontal semi-axis (the distance from the centre to the point on the ellipse with the same y-coordinate), b is the vertical semi-axis (the distance from the centre to the point on the ellipse with same x-coordinate), and the centre of the ellipse is the origin. This can be confusing as “axis” is usually associated with the x-axis, which is a line against which we measure other shapes, whereas here the semi-axes are distances. Caroline Jones 13JLB Although many books derive this by using trigonometry, I think it is possible to derive this equation rather neatly using only transformations of the equation for a circle. In π₯ an equation, replacing π₯ by π corresponds to a stretch of scale factor π in the horizontal π¦ direction, and replacing π¦ by π corresponds to a stretch of scale factor π in the vertical direction. Figure 3 Graph of ellipse Semi-minor axis, b Semi-major axis, a One of the semi-axes will be the semimajor axis (a), which is the point furthest from the centre, and one will be the semiminor axis (b), which is the point closest to the centre. It is conventional to draw the horizontal semi-axis as the semi-major axis and the vertical as the semi-minor axis; it is helpful to have conventions likes this in Maths as it aids mathematicians in making descriptions of shapes universally understandable. Figure 3 shows a graph of an ellipse, with π = 3, π = 2. The area of an ellipse is given by π΄ = πππ If we use the idea of obtaining the shape of an ellipse using coordinate transformations, this formula is also easy to derive. The area of a circle of radius 1 around the origin is π, and when we stretch the semi-major axis by scale factor π, and the semi-minor axis by scale factor π, this becomes πππ. An ellipse can also be defined by two points called its foci3, which always lie along the semi-major axis. An ellipse with foci πΉ1 and πΉ2 has the property that for any point P on the ellipse, |ππΉ1 | + |ππΉ2 | = constant, as depicted in the Figure 4. This constant is equal to 2π. We can understand P(π, π) this by imagining when the point P is at π¦ = |ππΉ2 | 0 and π₯ is negative, |ππΉ2 | = π + π, and |ππΉ1 | = π − π. Therefore |ππΉ1 | + |ππΉ2 | = |ππΉ1 | 2π. We can deduce from this that the distance from πΉ2 to the positive y-axis is π, as it is half the sum of the distances from π₯ distance the foci to the point on the ellipse. to F2, f Furthermore, I wish to prove|ππΉ1 | + |ππΉ2 | ≡ 2π as follows, using a proof that my Maths teacher helped me to derive. If we define the point P to be (π₯, π¦) then using Pythagoras, we know that |ππΉ1 | = Figure 4 Ellipse showing formulation for eccentricity √(−π − π₯)2 + π¦ 2 and |ππΉ2 | = √(π − π₯)2 + π¦ 2 ∴ |ππΉ1 | + |ππΉ2 | = √(π + π₯)2 + π¦ 2 + √(π − π₯)2 + π¦ 2 3 "Foci (focus Points) of an Ellipse." Math Open Reference. N.p., n.d. Web. 16 Oct. 2014. Caroline Jones 13JLB I shall now try to rewrite the first square root all in terms of π, π and π₯, using the Pythagorean relationship that we can see in Figure 4 that π 2 = √π2 − π 2 and π₯2 π¦2 rearranging π2 + π2 = 1 to get π¦ = π 2 − π₯2 π2 π2 : 2 (π + π₯)2 + π¦ 2 = (√π2 − π 2 + π₯) + (π 2 − π₯ 2 π2 ) π2 This simplifies as follows: (√π2 − π2 π₯ 2 π2 + π₯) + (π − 2 ) π 2 2 = π2 − π 2 + π₯ 2 + 2π₯ √π2 − π 2 + π 2 − π₯ 2π2 π2 π2 − π 2 ) + 2π₯√π2 − π 2 + π2 π2 π₯ 2 (π2 − π 2 ) + 2π₯√π2 − π 2 π2 + π4 = π2 2 (π₯√π2 − π 2 +π2 ) = π2 Similarly therefore we know that the second square root will rearrange and simplify to: = π₯2 ( So |ππΉ1 | + |ππΉ2 | is equal to: (−π₯√π2 − π 2 +π2 ) π2 2 2 2 2 2 2 2 2 2 √(π₯√π − π +π ) + √(−π₯√π − π +π ) π2 π2 π₯√π2 − π 2 +π2 −π₯√π2 − π 2 +π2 = + π π 2π2 = π ∴ |ππΉ1 | + |ππΉ2 | = 2π These notions of the foci of ellipses will link to Kepler’s First Law of planetary motion, which states that the orbit of a planet is an ellipse with the Sun at one of the two foci. An important property of an ellipse will be its eccentricity, which can be thought of as how much a conic section deviates from being circular. Eccentricity (let us call it e) is defined by the following equation: π π=π as shown in Figure 44. For an ellipse 0 < e < 1, and in the case that e = 0 the equation is a circle, since the focus has a distance of zero from the centre. Alternatively, the eccentricity can be found using the following property (which will later be used in Kepler’s Third Law): 4 "Eccentricity an Ellipse - Math Open Reference." Eccentricity an Ellipse - Math Open Reference. N.p., n.d. Web. 17 Oct. 2014. Caroline Jones 13JLB π 2 = π2 (1 − π 2 ) π We can show this beginning with the relation π = π and (using Pythagoras) substituting in π2 = π 2 + π 2 : √π2 − π 2 = π × π π2 − π 2 = π 2 π2 π 2 = π2 − π 2 π2 ∴ π 2 = π2 (1 − π 2 ) ii. The elliptical properties of Jupiter’s orbit The links between all of these variables and properties is better seen using an example, so I shall try to model the orbit of Jupiter using these equations and plotting these values on autograph. Semi-major axis, a = 778.57 x 106 km = 5.203 AU (where AU is Astronomical Units, a unit of length defined as the distance from the Earth to the Sun) Eccentricity, e = 0.048 In order to find the distance of the focus to the centre, we can use the π equation π = π, and substitute in other known equations and values until everything is in terms of f. π π= π ∴π =π×π π = 0.048 × 5.203 ∴ π = 0.250 AU to 3dp Now that we have the Figure 5 Graph of Jupiter’s orbit distance to the foci, we can also work out the semi-minor axis, since (using Figure 4) we can see that π, π and π have a Pythagorean Semi-minor axis, b relationship: π = √π2 − π 2 = √5.2032 − 0.2502 Semi-major axis, a = 5.197 π΄π π‘π 3ππ Foci (one of which is the Sun) I have then plotted a graph on Autograph in order to visualise this data, shown in Figure 5. However since the eccentricity is very small, the orbit does not look very noticeably elliptical. Therefore π₯2 π¦2 perhaps it would have been better + =1 2 5.203 5.1972 to have chosen a planet with greater Jupiter: 5 5 "Jupiter Fact Sheet." Jupiter Fact Sheet. N.p., n.d. Web. 3 Oct. 2014. Caroline Jones 13JLB eccentricity, for example Pluto (which I am delighted to be able to describe as a planet again having been officially reinstated)! I have drawn arrows showing the semi-axes, and plotted and marked the points for the foci (one of which would be the Sun, according to Kepler’s First Law). iii. Polar form However, an ellipse can also be defined using the polar equation – which is a different way of expressing the same shape. Using Figure 66, let us start by defining πΉ1 (or the Sun) to be the origin, and πΉ2 to be the point (2π, 0) – meaning that it is a distance of 2π from πΉ1 on the x-axis. Normally mathematicians use the π instead of π, but I thought I would use π for the sake of consistency, as this is how I have previously defined the distance from a focus to the origin, therefore the distance between the foci is 2π. We also define ππΉ1 to be the vector πβ, therefore ππΉ2 is Figure 6 Ellipse showing vectors to point P πβ − 2ππβ (where πβ is the horizontal unit vector). We know that |ππΉ1 | + |ππΉ2 | = 2π, therefore: |πβ| + |πβ − 2ππβ| = 2π Since |πβ| = π, we can work out that |πβ − 2ππβ| = π − 2π, and so now, to get rid of the modulus signs, we can say that: (π − 2π)2 = |πβ − 2ππβ|2 The vector πβ can also be written by its polar co-ordinates as (π cos π , π sin π) (π − 2π)2 = (π cos π − 2π)2 + (π sin π)2 Note that the change in the horizontal component of 2π is subtracted from other horizontal component (ie. π cos π) and not the vertical component (ie. π sin π). We can now rearrange to make the equation in terms of π. π 2 − 4ππ + 4π2 = π 2 (cos π)2 − 4ππ cos π + 4π 2 + π 2 (sin π)2 2 π − 4ππ + 4π2 = π 2 (cos π)2 − 4ππ cos π + 4π 2 + π 2 {1 − (cos π)2 } −4ππ + 4π2 = −4ππ cos π + 4π 2 −ππ + ππ cos π = −π2 + π 2 π(−π + π cos π) = −π2 + π 2 −π2 + π 2 π= −π + π cos π |ππΉ | |ππΉ | Since 1 + 2 = 2π, we can imagine when the point P is on the positive y-axis, meaning that the distance π is the hypotenuse of the sides π and π. Therefore π 2 = π2 − π 2 . Therefore: π2 π= π − π cos π π2 π ∴π= π 1 − π cos π π We have already defined the eccentricity to be π, therefore: π2 π π= 1 − π cos π 6 "Kepler's 2nd Law: The Speeds of Planets." - Windows to the Universe. N.p., n.d. Web. 10 Nov. 2014. Caroline Jones 13JLB The semi-latus rectum (π0 ) is the length of the segment perpendicular to the major axis through one of the foci to the ellipse, as shown in Figure 77 The semi-latus rectum is equal to Figure 7 Semi-latus rectum π0 π2 , as I shall try to prove. Since the eccentricity is the ratio of the distance to the foci from the origin and the π semi-major axis (ie. π = π), the distance to the foci can be said to be π = ππ, meaning that the coordinates for the two foci are at (ππ, 0) and (−ππ, 0). Since the semi-latus rectum is the segment perpendicular to the the semi-major axis to the ellipse, the equation of this line segment is just π₯ = ππ or π₯ = −ππ. The intersection of these equations with the ellipse is the end point of the semi-latus rectum, therefore the y-coordinate is the length π0 . So we can substitute in π₯ = ππ into the Cartesian equation for the ellipse: (ππ)2 π¦ 2 + 2=1 π2 π π2 π¦ 2 = π2 π 2 − π2 π 2 π 2 π¦ 2 = π2 − π 2π2 π¦ 2 = π 2 (1 − π 2 ) As we have already stated that π2 = π 2 + π 2 , we can substitute in π = ππ to get π2 = (ππ)2 + π 2 ∴ π 2 = π2 (1 − π 2 ) π π2 Substituting π2 = (1 − π 2 ) into the previous equation: π4 π¦2 = 2 π π2 ∴π¦= π π2 ∴ π0 = π Therefore substituting this into the previous equation for an ellipse, π = the polar equation for an ellipse can be given by: π0 π= 1 − π cos π Two other important features of an ellipse are the apoapsis (the longest distance π+ from a focus to ellipse) and the periapsis (the shortest distance π− from a focus to the ellipse). Looking at Figure 88 we can see that both the longest and shortest distances are going to lie on the x-axis. At the apoapsis and periapsis, the distance from the focus to the x-axis is equal to π± = π(1 ± π). 7 8 "Ellipse." Online Math Help. N.p., n.d. Web. 21 Nov. 2014. "Apoapsis." -- from Wolfram MathWorld. N.p., n.d. Web. 10 Nov. 2014. π2 π 1−π cos π π+ , π− Figure 8 Apoapsis and periapsis Caroline Jones 13JLB This can be proven using some of the properties of an ellipse that I looked at earlier, rearranging the equation π 2 = π2 (1 − π 2 ) to give π = √ π2 −π2 π2 and substituting this in to our equation for π+ and π− : π± = π (1 ± √ π2 − π2 ) π2 π± = π ± √π2 − π 2 π± = π ± π This makes sense as it states that from either focus, the distance to the point on the ellipse cutting the x-axis is equal to the distance travelled to the centre (βπ), plus the length of the semi-major axis (π). After having looked at ellipses and their relation to Kepler, I would now like to look at a mathematical derivation of Kepler’s First Law. I will be basing my derivation on a paper that worked through it with very little detail, whilst adding in more detail in order it make it accessible to other students. 3. Kepler’s First Law The total energy πΈ for a body in orbit can be given by πΈ = Kinetic energy + Potential energy 1 πΊππ = 2 ππ£ 2 − π where m is the mass of the body in orbit, M is the mass of the star being orbited, v is the velocity of the orbit, and G is the universal gravitational constant. Looking at Figure 99 which depicts this system, we can break the velocity into two components: ππ radial component of velocity = ππ‘ = πΜ perpendicular component of velocity = ππ (where ω is the angular velocity) ππ = π ππ‘ Figure 9 Diagram of planet in orbit of star = ππΜ These two components are orthogonal (meaning that they are at right angles to one another) therefore Pythagoras’ Theorum can be used: the square of the total velocity is equal to the sum of the squares of the componants. 1 πΊππ ∴ πΈ = π(πΜ 2 + π 2 πΜ 2 ) − 2 π Now if we look at the equation for angular momentum, L, we know that πΏ = mass × angular velocity ∴ πΏ = ππ 2 π 9 Astronomy, A1 Dynamical. Proof of Kepler’s First Law from Newtonian Dynamics (n.d.): n. pag. Web. 1 Nov. 2014. Caroline Jones 13JLB = ππ 2 πΜ 1 We shall now create the substitution that π = π , so that ππΜ πΏ= 2 π πΏπ2 ∴ πΜ = π ππ Remembering that πΜ = ππ‘ , we can integrate with respect to π‘ to get an expression for π: πΏ π = ∫ π2 ππ‘ π πΏ ππ‘ = ∫ π2 ππ π ππ Using related rates of change we can simplify this, as ππ ππ ππ = × ππ‘ ππ ππ‘ 1 ππ 1 and π = π implies that ππ = − π2, therefore ππ 1 ππ =− 2 ππ‘ π ππ‘ ππ So substituting in this value for ππ‘ (or πΜ ): πΏ π = −∫ ππ ππΜ This gives us the equation in which we will eventually substitute in an equation for πΜ . We shall now put this aside for now and return to our equation for the total energy, which rearranges as follows: 1 πΊππ πΈ = π(πΜ 2 + π 2 πΜ 2 ) − 2 π 2πΈ 2πΊπ 2 2 Μ2 = πΜ + π π − π π 2πΈ 2πΊπ πΜ 2 = + − π 2 πΜ 2 π π It is now convenient to substitute in the equation previously established πΜ = πΏπ2 in order to get rid of the πΜ, as this has no place in the final equation for an ellipse. π 2πΈ 2πΊπ πΏπ2 2 2 πΜ = + −π ( ) π π π 1 Since π = π, π 2 and π2 cancel out, we can therefore say: 2 2πΈ 2πΊπ πΏ2 π2 + − 2 π π π We now make two new substitutions, as this equation has many variables that are not relevant in the equation of an ellipse in polar co-ordinates, and lack two vital parameters: π0 and π. Therefore we need to use equations connecting some of the current variables to these constants, which should eventually rearrange to produce the equation for an ellipse. πΜ 2 = Caroline Jones 13JLB The first equation10 we can use is πΏ2 π0 = πΊππ2 and the second equation11 is 2πΈπ0 πΊππ both of which can be derived using the Conservation of Energy, although I will not do so, as the proof of these equations are not directly relevant. I had initially hoped to be able to explain them by suggesting how they are intuitively correct, but I could not find any instinctive reason as to why these are true, therefore I will not include any derivations for either equations but have included links to explanations in the footnotes. Rearranging the equation for πΜ 2 into an equation for πΜ with more relevant parameters for an ellipse: 2πΈ 2πΊπ πΏ2 π2 πΜ 2 = + − 2 π π π πΏ2 πΏ We can take out the π2 and square root the whole equation, as π will cancel π2 = 1 + πΏ out when we eventually plug the equation for πΜ into π = − ∫ ππΜ ππ. 1 2 πΏ 2πΈπ 2πΊπππ2 2 πΜ = { 2 + − π } π πΏ πΏ2 πΏ2 We can use the substitute here that π0 = πΊππ2, 1 2 πΏ 2πΈπ 2π πΜ = { 2 + − π2 } π πΏ π0 1 2 πΏ 2πΈπ 1 1 2π πΜ = { 2 + 2 − 2 + − π2 } π πΏ π0 π0 π0 1 πΏ2 πΏ 2πΈπ 1 1 2 2 πΜ = { 2 + 2 − (π − ) } π πΏ π0 π0 Rearranging π0 = πΊππ2 to make πΏ2 the subject, we can substitute again to get 1 2 2 πΏ 2πΈ 1 1 { + 2 − (π − ) } π π0 πΊππ π0 π0 2πΈ 1 Ideally we now want to make π πΊππ + π 2 into one fraction, as this will make πΜ = 0 0 subsitution easy, therefore we can multiple the top and the bottom of the first fraction by π0 : 1 πΏ 2πΈπ0 1 1 2 2 πΜ = { 2 + − (π − ) } π π0 πΊππ π0 2 π0 And rewrite this as: 10 "Orbital Docking Dynamics." AIAA Journal 1.6 (1963): 1360-364. Web. 17 Nov. 2014. "Solar System Astronomy, Lecture Number 7." Solar System Astronomy, Lecture Number 7. N.p., n.d. Web. 17 Nov. 2014. 11 Caroline Jones 13JLB 1 2 2πΈπ0 πΏ πΊππ + 1 1 2 πΜ = { − (π − ) } π π0 2 π0 2πΈπ And conveniently our other substitution, π 2 = 1 + πΊππ0 , can easily be used here: 1 πΏ π2 1 2 2 πΜ = { 2 − (π − ) } π π0 π0 1 2 2 2 πΜ = πΏ π 1 {( ) − (π − ) } π π0 π0 πΏ 1 It is important here that we have written πΜ in the form π {π2 − π 2 }2 , as now when we substitute πΜ into π = − ∫ 1 πΏ ππΜ ππ, the L and m will cancel out and we can π₯ ππ₯ = cos −1 (π) as follows: πΏ π = −∫ ππ 2 2 πΏ π 1 π × π √(π ) − (π − π ) 0 0 use the general rule that ∫ √π2 −π₯2 π = −∫ 1 2 √( π ) − (π − 1 ) π0 π0 1 π−π ππ 2 0 π ) π0 Finally this can be rearranged to form the polar co-ordinates of an ellipse, with the the origin (defined to be the Sun) at one of its foci, which is Kepler’s First Law. 1 π−π 0 π = cos π π0 ππ0 − 1 = cos π π ππ0 − 1 = π cos π π0 − 1 = π cos π π π0 = 1 + π cos π π π0 π= 1 + π cos π π = cos −1 ( Caroline Jones 13JLB 4. Kepler’s Second Law Due to the nature of an ellipse, at some points in the orbit the planet will be experience stronger gravitational force than at others, as gravitational force is a function of the distance between the two masses. This causes the planet to travel at a faster velocity at some points (when it is close to the Sun) and slower at others (when it is further away from the Sun). However Kepler’s Second Law is very statisfying in my opinion, as it states that an imaginary line segment joining a planet and the Sun always sweeps out equal areas during equal intervals of time. This can be demonstrated best on a diagram, as shown in Figure 1012. Equal Areas Equal lengths of time Figure 10 Diagram visualising Kepler’s 2nd Law This seems logical when considered as, when the planet is furthest from the Sun, it will have a smaller velocity, therefore cover a small distance in a given time period. However the distance from the Sun will be greater, so the other dimension of the triangle will be larger. Equally, when close to the Sun, the distance from the Sun is obviously smaller but the velocity will be greater, so the displacement about the Sun will be greater in the same given time period. Therefore it is easy to believe that Kepler’s Second Law should be approximately true once told, but slightly more difficult to prove. I shall try to do so below, using infentissimals and calculus. In Figure 1113, we see the two successive positions (A and B) of a planet in orbit in a time ππ‘, with a changing distance to the Sun, which we shall call π. In this time it has moved through ππ π × ππ displacement ππ , and therefore travelled through an angle ππ. A line segment from B can be drawn to a point C such that BC is perpendicular to SB, in Figure 11 Orbit showing properties order that AC is the change in radius, ππ. of a movement of a planet Using trigonometry, we can state that π΅πΆ = π sin ππ. However as ds becomes infinitely small, BC becomes perpendicular to SC 12 13 "5 Minute Lesson: Kepler's 2nd Law." The Very Spring and Root. N.p., n.d. Web. 3 Nov. 2014. "Kepler's Laws." N.p., n.d. Web. 3 Nov. 2014. ds ππ Caroline Jones 13JLB as well as to SB, meaning we can approximate the distance BC to π × ππ, as for any very small angle πΌ, sin πΌ tends to πΌ. Like in the derivation for Kepler’s First Law, we will resolve the velocity into two components: ππ radial component of velocity = = πΜ ππ‘ perpendicular component of velocity = ππ The area swept out in time ππ‘ is the area of a triangle (not sector) ABS because as curve AB becomes infentessimally small, it will tend to the segment AB for very small ππ. As distance AB (ππ ) becomes infentissimally small, the area of triangle ABS becomes equivalent to the area of triangle BCS, with base π × ππ and height π. ∴ Area swept out in time ππ‘, ππ΄ = Area of π΅πΆπ 1 = 2 base×height 1 = π 2 ππ 2 1 2 ππ = π ππ‘ 2 ππ‘ 1 = π 2 πππ‘ 2 ππ΄ 1 2 ∴ = π π ππ‘ 2 As I stated in Kepler’s First Law, the angular momentum πΏ of a system in orbit is equal to ππ 2 π, so ππ΄ πΏ = ππ‘ 2π ππ΄ ∴ ∝πΏ ππ‘ Newton’s Laws state that “the rate of change of angular momentum is equal to the torque of the forces acting on the system”, where torque is a force causing rotation. For a planet orbitting the Sun, torque is zero, therefore angular momentum πΏ must remain constant.We can therefore define 2π as a constant, π. ππ΄ ∴ =π ππ‘ As the rate of change of area is constant through time, equal ares are swpt out in equal times, which is Kepler’s Second Law. 5. Kepler’s Third Law Finally I wish to prove Kepler’s Third Law in two ways: first from a simple rearrangement of equations of forces and motions, which approximates an orbit to circular. The second will be a more complex mathematical derivation from Kepler’s Second Law, which will be more accurate as orbits (as previously discussed) are ellipses not a circles. Kepler’s Third Law is that the square of the time period π for an object to complete one full orbit is proportional to the cube of its semi-major axis: π 2 ∝ π3 . The first method uses Newton’s law of gravity, which states that the gravitational force F between two bodies can be defined as follows: Caroline Jones 13JLB πΊππ π2 where G is the universal gravitational constant, M is the mass of the object being orbited, m is the mass of the object in orbit, and r is the distance between the two. It is also known that the centripetal force of an object in circular motion is: ππ£ 2 πΉ= π where m and r are the same paramaters, and v is its velocity. Note that this derivation is using the equation for circular motion – therefore approximating the planetary orbit to be circular, whereas in actual fact it is elliptical. Therefore this is a less reliable proof of Kepler’s Third Law, but does show that the same law would be true for hypothetical planets in circular orbits. Since the centripetal force is provided by gravity, we know that these two forces stated are equal, therefore: πΊππ ππ£ 2 = π2 π which simplies to: πΊπ = π£2 π Kepler’s involves time period T, therefore we need to substitute in an 2ππ equation with T. We should therefore use π£ = π , which states that the velocity is the total distance travelled in one orbit (therefore for a circle, this is 2ππ) divided by the time taken to complete this orbit (ie. time period T). Note again that this uses the approximation of an orbit to be a circle, where velocity is constant. πΊπ 2ππ 2 =( ) π π πΊπ 4π 2 π 2 ∴ = π π2 4π 2 π 3 ∴ π2 = πΊπ Both G and M are constants for a system of a planet orbitting a star, πΉ= therefore π 2 ∝ π 3, where the constant is 4π 2 πΊπ . This proof clearly has its limitations however, since it only proves that for a circlular orbit Kepler’s Third Law will apply, therefore I now wish to use a different derivation, which starts with Kepler’s Second Law: ππ΄ πΏ = ππ‘ 2π Since the right-hand side of this equation is constant, we know πΏ Total area, π΄ = π 2π where T is the time period. As I stated when examining the properties of ellipses, the standard equation for an ellipse is π΄ = πππ πππ πΏ ∴ = π 2π Caroline Jones 13JLB Now we put this equation aside for a while, and look at the equation for an ellipse: π0 1 + π cos π πΏ2 We can substitute in the equation π0 = πΊππ2 that we used in Kepler’s First Law, to make: πΏ2 π= πΊππ2 (1 + π cos π) At the periapsis, π = 0 and π = π(1 − π), as derived earlier when looking at ellipses. Therefore: πΏ2 π(1 − π) = πΊππ2 (1 + π) From this, we can get an expression for angular momentum in terms of the properties of an ellipse and the objects in the system: πΏ2 = π(1 − π)πΊππ2 (1 + π) πΏ2 ∴ 2 = π(1 − π 2 )πΊπ π πππ πΏ Returning to our equation π = 2π, we can square this and combine it with this new equation as follows: π 2 π2 π 2 πΏ2 = π2 4π2 2 2 2 π π π π(1 − π 2 )πΊπ = π2 4 Now we can use the relation π 2 = π2 (1 − π 2 ), π 2 π2 π2 (1 − π 2 ) π(1 − π 2 )πΊπ = π2 4 π= This simplifies as follows: π 2 π2 π2 ππΊπ = π2 4 2 3 4π π π2 = πΊπ ∴ π 2 ∝ π3 This has successfully proven Kepler’s Third Law for ellipses: the square of the time period T is proportional to the cube of the semi-major axis a. 6. Conclusion Overall I have found the derivations for Kepler’s Laws of Planetary motion incredibly satisfying as they can prove conceptual ideas to a high degree of certainty. Kepler’s Second Law, for example, I think is fairly intuitive that the area should be roughly constant, but I find it fascinating that we can prove that it is precisely constant, which to me really highlights the elegance of maths and physics. These proofs have also emphasised to me how dealing with abstract operators can have physical significance – particularly how the ideas of calculus and geometry that I have studied from a purely mathematical perspective can be linked to concepts in my Physics syllabus. Although the rearrangement of the equations during the Caroline Jones 13JLB process may seem fairly abstract, it is amazing to see how they can link together far more conceptual ideas that tell us how the Universe works. These equations also have practical implications in allowing scientists to predict the movement of planets, and therefore to adjust trajectories of satellites or probes to use the gravitational pull of celestial bodies in order to maximise efficiency. If I had had more time I would have liked to examine this further, perhaps by modelling the slingshot effect, as this would give me an insight into how knowledge of orbits can be useful in conserving fuel. During my exploration I have also developed a sense for how complicated derivations can be, since it seems that all 3 of Kepler’s equations were reliant on other derivations and ideas that I needed to prove along the way, which was a weakness of this approach. For example many of the parameters of an ellipse required individual examination so that I could be satisified that I understood the proof as a whole. Furthermore there were also a few physics equations that I have not looked at in my Higher Level syllabus that I did not have an opportunity to fully derive, which was a shame. If I were to do my exploration again, I might have spent more time looking at these physics equations. However overall I feel very satisfied that I have understood the maths used and have been fascinated to see how the concepts I study in Maths lessons are applied in the real world, and I have also greatly enjoyed the challenge of teaching myself material about conic sections. 7. Bibliography "5 Minute Lesson: Kepler's 2nd Law." The Very Spring and Root. N.p., n.d. Web. 3 mmmmNov. 2014. "Apoapsis." -- from Wolfram MathWorld. N.p., n.d. Web. 10 Nov. 2014. Astronomy, A1 Dynamical. Proof of Kepler’s First Law from Newtonian Dynamics mmmm (n.d.): n. pag. Web. 1 Nov. 2014. "Eccentricity an Ellipse - Math Open Reference." Eccentricity an Ellipse - Math Open mmmmReference. N.p., n.d. Web. 17 Oct. 2014. "Ellipse." Online Math Help. N.p., n.d. Web. 21 Nov. 2014. "File:Conic Sections.svg." Wikipedia. Wikimedia Foundation, 22 July 2014. Web. 12 mmmmOct. 2014. "Foci (focus Points) of an Ellipse." Math Open Reference. N.p., n.d. Web. 16 Oct. mmmm2014. "Jupiter Fact Sheet." Jupiter Fact Sheet. N.p., n.d. Web. 3 Oct. 2014. “Kepler's 2nd Law: The Speeds of Planets." - Windows to the Universe. N.p., n.d. mmmmWeb. 10 Nov. 2014. "Kepler's Laws." N.p., n.d. Web. 3 Nov. 2014. "Kepler's Laws." Hyperphysics. N.p., n.d. Web. 9 Oct. 2014. "Solar System Astronomy, Lecture Number 7." Solar System Astronomy, Lecture mmmmNumber 7. N.p., n.d. Web. 17 Nov. 2014. "Orbital Docking Dynamics." AIAA Journal 1.6 (1963): 1360-364. Web. 17 Nov. 2014.