Mathematics: Applications and Interpretation Higher Level Investigating shapes that light illuminates at the bottom of a cup Candidate code: jrk720 1 1.0 Introduction It is all too common to see intriguing shapes in the world around us. The symmetric shape of a starfish, the pristine structure of a snowflake or the rings of a planet like Saturn, all have the power to catch the eye. There happens to be one set of kind of shapes that have always fascinated me. As a person who has coffee every other day, I have always noticed a sparkle of light taking a heart shape at the bottom of my cup. If we look inside a coffee cup with sufficient light, we can see a heart form. But what exactly is this shape? And how does it form? After doing some research, I learnt that one such shape that forms at the base of the cup is called a “cardioid”, which means heart in Greek. I learnt that a cardioid can be traced by a point on the circumference of a circle rolling completely around another circle of the same radius. However, this was clearly not the case with my coffee cup. I wanted to know how the light reflected in the cup. So, I played around and tilted the cup at different angles to understand it. Alas, it didn’t help. In fact, it illumined other arcane shapes. Hence, I thought it would be appropriate to take this chance and investigate the math behind this enigma. 2.0 Aim of the investigation This study aims to investigate the mathematical model behind the shapes formed by light reflecting off the bottom of a coffee cup. To understand this, the scheme of work shall be: First, to understand the geometric method of modelling cardioids through polar equations. Then to look at the principle of light behaviour to understand how light behaves when reflected. Next, to investigate the concept of mathematical envelopes which helps explain the shapes we see in our cup, particularly: nephroid and cardioid. 2 Shapes that light illuminate at the bottom of a coffee cup when kept at different angles Fig 1.0 Cardioid (left image) and nephroid (right image) 3.0 Understanding the representation of a cardioid through polar equations Before we investigate how cardioids form in mugs, I thought it was important to understand the geometric perspective first to build a foundation of cardioids. To look at the geometric perspective of cardioids, we must use polar equations. Equations involving polar coordinates show a relationship between r and π, where r denotes a point's distance from the origin and π represents the angle formed between a curve's point, the origin, and the positive x-axis in anticlockwise direction (Hayes, Pao, & Ellinor, n.d.). 3 To derive the polar equation of the cardioid, let us first understand how it is drawn. A cardioid is drawn by setting a point on a circle's circumference and “rolling” it externally without slipping on the boundary of another circle with the same radius (Hayes, Pao, & Ellinor, n.d.). This can be shown in the diagram below: Fig 2.0 Cardioid drawn by rolling two circles Source: (Proofwiki, 2020) “Rolling” essentially means that: 1) The circle (centred A and B) must be touching: π΄π = ππ΅ 2) The circle should roll an equal distance, so, πππππ = πππππ The cardioid derived from a polar equation is: π = 2π (1 + πππ π) ο· Polar coordinates are expressed (r, θ) rather than (x, y). ο· r is the distance of a line segment with one endpoint on the cardioid and the other at the point of origin, O. ο· The angle, θ, is measured anticlockwise. It is the measure of the central angle created between the polar axis, x, and the line segment. ο· π is the radius of the circles. 4 To arrive at this equation: Let P= (r,θ) be any point along the cardioid, C. Let points A and B be the centres of the two circles, stator and rotor, separately. Let Q be the point where the rotor and stator contact each other. Note that the arc OQ of the stator equals the arc P of the rotor. Thus: ∠OAQ = ∠PBQ and it follows that AB is parallel to OP. With reference to the diagram above, we have: π = ππ + π π + ππ = ππππ π + 2π + ππππ π = 2π (1 + πππ π) This shows that coordinate geometry and trigonometry will be extensively used to understand epicycloids. But, to understand how they form in our mugs, first, light behaviour must be understood. 4.0 Understanding how light behaves in the bottom of the mugs to form cardioids Background Observing the glowing light in the cup, I realised the shapes are caused by how the light reflects. These shapes are called “caustics” and are caused by reflecting light from a surface. Caustics comes from the Greek word for 'burned,' because they could potentially start a fire since light was highly focused at these points to form the outline of the shapes. When light rays reflect from a curved surface (a two-dimensional curve), there is a point where light is the brightest. The curve that has the highest intensity of the light is called the caustic of the curve. It defines a boundary of an envelope of rays as a curve of concentrated light. 5 4.1 Reflection of light To truly understand caustics, we must first understand the fundamentals of how light reflects. This will help explain envelopes. Reflection occurs when a light ray is reflected by a surface and bounces off at the same angle as it hits it. This leads to another important idea: the law of reflection. Which states, angle of incidence (i)= angle of reflection (r) Fig 3.0 The law of reflection To depict this, the following diagram shows what happens when a light ray hits a smooth surface. The incoming ray which is above the normal is the incident ray and has an angle of incidence ‘i’. The normal perpendicular line from the surface at the point where the incident ray strikes. Lastly, reflected ray is the one below the normal which travel with an angle of reflection ‘r’ after striking the surface. Another interesting insight that I could generate was the fact the height of the cup (cylinder) seemed to be irrelevant while to trying to explain the observed caustics. This is because even when I changed the height of the reflecting cylinder, the observed shapes did not change. An empty plastic bucket or a thin bangle yielded the same results as a coffee cup. 6 Now, to understand how the light reflects in the cup, a closed and curved surface, we can summarize our assumptions as: ο· Firstly, the cup will be a perfect circle with a smooth surface that reflects the incoming light completely. The incoming light will be taken on the same plane as the mug’s base, hence, a 2D plane. ο· Secondly, the base of the cup will be modelled as a unit circle, hence, with a radius of one unit. ο· Thirdly, to obtain a plane wavefront we will assume the point source to be at infinity. This will mean all light rays will be assumed to be straight lines and are parallel to each other. With these assumptions in mind, let us investigate the cup and understand how the light behaves in it. The light rays dispersing parallel to the x-axis will have an angle of incidence = to the angle of reflection after hitting the inside edge of the cup. Since the light reflects within a circular shape, the angle at which each incoming (incident) light ray reflects in the cup is slightly different compared to another ray. This causes the incoming light rays to intersect with the reflected light rays. The point at which they intersect is where the light is the brightest and is called the focal point. Connecting all the focal points, bright light emerges and forms a curve. But how the cardioid-shaped light forms would be explained by something called envelopes. Fig 4.0 Paths of two parallel light rays and their respective reflection angles, where x and y axis number the point where the light ray hits the rim of the cup 7 4.2 Exploring envelopes Mathematically, an envelope is itself a curve created by a family of curves that are related by a specific parameter, say, π. It is also important to note that it is tangent to all members of the family of curve at some point. A parameter is a quantity that influences the output or behaviour of a mathematical object but is viewed as being held constant (Q.). Just for an example, it is like the gradient function we get when differentiating a function of a curve. Whereas, a family of lines is a set of curves, each of which is given by a function in which one or more of the parameters is variable (Weisstein, Family of Curves). The function for the set of lines for the cardioid in our cup would be a set of straight lines with a parameter this will represent the incoming light rays that enter the cup. For each value of π plugged in, we get a line corresponding to the value of π. So how do we find the equation of the envelope? To determine the family of curves' equation, we must first develop a standard equation for the curves by formulating them in relation to a parameter. By differentiating with respect to the parameter, we can derive the equation of all their tangents. Because we need both equations to match at every point on the envelope, we solve them both simultaneously to arrive at the envelope's equation. We can summarize the process mathematically as: Step – 1: Given π(π₯, π¦, π) = 0… (1), when plotting the caustic, this would be the function of the reflected light rays. Step – 2: Differentiating equation one with respect to the parameter π, taking x and y constants ππ We get ππ = 0 … (2) Step – 3: Eliminating π from equation (1) and (2) we get the required envelope. 8 4.3 Example 1 Let us find the envelope of the family of straight lines which make a triangle of unit area with the positive X and Y axes. The standard straight-line equation that represents both axis intercepts is, where π is the xintercept and π is y-intercept of the straight line: π₯ π¦ + =1 π π Here, π and π are both parameters that describe the family of curve. Next, we use the fact that the area, A, under the line is A = ππ 2 and is constant. This is better depicted in the diagram below: 1 Area of triangle = × πππ π × βπππβπ‘ 2 ∴ πππ π = π πππ βπππβπ‘ = π ∴ ππππ ππ π‘πππππππ = π΄ = Fig 5.0 Diagram of straight line and shaded area under the line To simplify, we shall consider only that family of straight lines which form a triangle of a unit area with the positive X and Y axes. ππ 2 2 And π = π π΄=1= ∴ π₯ ππ¦ + =1 π 2 9 (1) ππ 2 Differentiating equation (1) with respect to π results in: − π₯ π¦ + =0 π2 2 ⇒ π₯ π¦ = 2 π 2 ⇒ 2π₯ = π2 π¦ (2) Equation of the envelope is then found after solving equation (1) and (2) simultaneously and 2π₯ eliminating π between the two equations in the process. ∴ putting a = √ π¦ ππ πππ’ππ‘πππ (1) 2π₯ π¦ π¦ + =1 2 2π₯ √ π¦ √ π₯ ⇒ √π₯π¦ √2 + √π₯π¦ √2 =1 1 ⇒ √π₯π¦ = √2 Which gives us an equation for the first quadrant as: π₯π¦ = . 1 2 Fig 6.0 The envelope of the family of straight lines, which make a triangle of unit area with the positive axes. 10 4.4 Example 2 To understand this better, I also tried to find the envelope of the family of all circles of unit radius whose centre lie on the line y=x. The standard equation that represents circles of unit radius (where π and π are the π and π coordinates of the centre of the circle respectively) can be written as: (π₯ − π)2 + (π¦ − π)2 = 1 Now, π and π are both parameters that define the family of curves and keep the centre of the circle on the line y=x. Hence, we shall consider only that family of circles which have the centre of the form (π, π). (π₯ − π)2 + (π¦ − π)2 = 1 (3) Differentiating equation (3) with respect to π results in, −2(π₯ − π) − 2(π¦ − π) = 0 ⇒ −(π₯ − π) = (π¦ − π) ⇒ 2π = π₯ + π¦ ⇒π= π₯+π¦ 2 (4) Equation of the envelope is then found after solving equation (3) and (4) simultaneously and eliminating π between the two equations in the process. This gives: ⇒ (π₯ − π₯+π¦ 2 π₯+π¦ 2 ) + (π¦ − ) =1 2 2 ⇒ (π₯ − π₯ π¦ 2 π₯ π¦ 2 − ) + (π¦ − − ) = 1 2 2 2 2 ⇒ 2(π¦ − π₯)2 =1 4 ⇒ (π¦ − π₯)2 = 2, ⇒ π¦ − π₯ = ±√2 ⇒ π¦ = π₯ ± √2. 11 The resulting solution is the required equation of the envelope. It consists of two straight lines: π¦ = π₯ − √2 and π¦ = π₯ + √2 Fig 7.0 The envelope of all circles of unit radius whose centre lies on the line y=x, Now, that we are well familiar with the steps to find the equation of an envelope, we can use this to model nephroids and cardioids. 5.0 Investigating the shapes illuminated by light at the bottom of a cup 5.1 Nephroid Using the equations found in the previous section, we can model the incoming light rays coming from a point source at infinity. But we need to find a way to model the reflected light beams as well to understand how the envelope forms to make a nephroid. Firstly, we will model the incoming light ray as a straight line coming from the right and striking the cup at a point A. The beam is at an angle θ to the normal of the surface, so using angle of incidence = angle of reflection we can deduce that it will reflect at the same angle shown in Fig 8.0. 12 Fig 8.0 Angle of reflection of the light rays. Μ the Furthermore, we can reason out that βπ΄π΅π should be an isosceles triangle. at angle πΈπ΄π΅ angle can be bisected at the normal and are therefore split into equal parts. And as alternating interior angles are equal, angle theta at O is equal to angle theta at A inside the triangle. Therefore, the two base angles of βπ΄π΅π are equal. As shown in Fig. 8.0, βπ΄π΅π is isosceles so that point A is at an angle π from the x-axis. Now, we can label the point as (−πππ π, π πππ) instead of (π₯, π¦) since the radius of the cup is 1. Hence, we are parametrizing the equations to introduce the additional independent variable of π in our equations. We can use right angled trigonometry to show this further: πππ π = πππ π₯ = =π₯ βπ¦π 1 ∴ −πππ π is labelled as the displacement in the x-axis on the left quadrant. And, π πππ = πππ π¦ = =π¦ βπ¦π 1 ∴ π πππ is labelled as the displacement in the y-axis. Μ = 180° − 2π, slope of the reflected line shall be given by: Also, since π΄π΅π m= −π‘ππ2π 13 Step-1: The equation for the ray reflected at the point (−πππ π, sin π) is, π¦ − π πππ = −π‘ππ2π π₯ + πππ π ⇒ π¦ − sin π = −π‘ππ2π (π₯ + πππ π) ⇒ π¦ − π πππ = −π ππ2π (π₯ + πππ π) πππ 2π ⇒ π¦πππ 2π − π ππππππ 2π = −π₯π ππ2π − π ππ2ππππ π ⇒ π₯π ππ2π + π¦πππ 2π = π ππππππ 2π − π ππ2ππππ π ⇒ π₯π ππ2π + π¦πππ 2π = π πππ(2πππ 2 π − 1) − 2π ππππππ 2 π (β΅ π ππ2π = 2π ππππππ π πππ πππ 2π = 2πππ 2 π − 1) ⇒ π₯π ππ2π + π¦πππ 2π = 2π ππππππ 2 π − 2π ππππππ 2 π − π πππ ⇒ π₯π ππ2π + π¦πππ 2π = −π πππ (5) Step 2: Differentiating equation (5) with respect to θ gives: 2π₯πππ 2π − 2π¦π ππ2π = −πππ π Using chain rule, π (π πππ₯(2π)) = ππ ππ πππ’ ππ’ ππ’ ππ πππ (π’)(π€βπππ π’ = 2π) π Similarly, 2π₯πππ 2π ππ π¦πππ 2π = −2π¦π ππ2π π And ππ − π πππ = πππ π = 2π₯πππ 2π − 2π¦π ππ2π = −πππ π (6) If we plot these curves by putting in different values of π, the reflected rays of light will appear where the points of intersection look almost like the envelope of the nephroid. Fig. 9.0 The envelope calculated from equation (4) is shown in a plot. The x and y axis represent the point where the light rays strike the cup. 14 Step 3: Now we would need to eliminate π to get an equation in terms of x and y. But it would be easier to express equation (4) and (5) in matrix form to solve for x and y. To convert into matrix form, first we make two matrices A and B, where A includes all variables in the LHS of equations 4 and 5, and B includes all variables in the RHS of equations 4 and 5. Therefore: π΄= [ π₯π ππ2π 2π₯πππ 2π π΅= [ π¦πππ 2π ] −2π¦π ππ 2π − sin π ] −πππ π π₯ π=[ ] π¦ π₯ πππ 2π −π πππ ] [π¦] = [ ] −2π ππ2π −πππ π π ππ2π ∴[ 2πππ 2π ∴ π΄×π = π΅ ∴ π = π΄−1 × π΅ π΄−1 = 1 πππ‘π΄ ( π −π −π ) π€βπππ π΄ = (π π ) π π π πππ‘π΄ = |π΄| = ππ − ππ = (π ππ2π × −2π ππ2π) − (πππ 2π × 2πππ 2π) = 2π ππ2 2π − 2πππ 2 2π = −2(π ππ2 2π + πππ 2 2π) = −2 1 −2π¦π ππ2π ∴ π΄−1 = − [ 2 −2π₯πππ 2π 1 −2π ππ2π ∴ π = − [ 2 −2πππ 2π 1 2π ππ2π −πππ 2π −π πππ ][ ]= − [ π ππ2π −πππ π 2 2πππ 2π 1 −4π ππ2ππ πππ = ( )[ 4 −4πππ 2ππ πππ 1 −4π ππ2ππ πππ = (− ) [ 4 −4πππ 2ππ πππ 1 −π¦πππ 2π ] π₯π ππ2π = (− 4) [ −2π ππ2ππ πππ −2πππ 2ππ πππ 1 −2πππ π = ( )[ 2π πππ 4 − + 2πππ 2ππππ π ] 2π ππ2ππππ π − 2πππ 2ππππ π ] + 2π ππ2ππππ π − + 2(πππ (2π − π)) ] 2(π ππ(2π − π)) − (πππ π − πππ 3π) ] − (π ππ3π − π πππ) π₯ 1 πππ 3π − 3πππ π ∴[ ]= [ ] π¦ 4 3π πππ − π ππ3π 15 + − πππ 2ππππ π ] π ππ2ππππ π If we graph the points, we get the envelope of the nephroid. A nephroid is like a cardioid but with an extra cusp. A cusp is a point where two branches of a curve, which are in opposite direction, meet (Glen). Since all values of theta are considered, an extra cusp is present in the nephroid. A cardioid is almost like a nephroid but with only 1 cusp. 5.2 Cardioid Cardioid is another caustic we can observe in a cup if we change the setup slightly. The method of modelling the equation is the same as we did for modelling the nephroid, only the location of the point source is different. Since the light reflects off the rim of the cup to form the cardioid, we can assume the rim to be the point source of the light instead of having a point source at infinity as we did for the nephroid. As the edges of the cup will stop nearly half of the light, it makes sense to see only half of the nephroid in our cup to form a cardioid. Below is a diagram that shows the angle of the incoming and outgoing rays. Fig. 10.0 Setting up a point on a rim. The angles of incidence and reflection have been defined differently to maintain the parameterisation from the last case. 16 Step-1: Writing in parametric form, we get the family of curves of light rays reflecting from the rim of the cup as, π¦(1 + πππ 3π) + π₯π ππ3π = π πππ − π ππ2π Step-2: Differentiating the previous equation gives us, −3π¦π ππ3π + 3π₯πππ 3π = πππ π − 2πππ 2π Step-3: Making π₯π¦ the subject gives us the equation of the envelope as, π₯ 1 πππ 2π − 2πππ π [ ]= [ ] π¦ 3 2π πππ − π ππ2π And finally, we get a cardioid! Fig.11 The final cardioid. The x and y axis represent the point where x and y point of the cardioid lies. 6.0 Conclusion This math project was a modest step toward understanding caustics. The aim was to model the nephroid, and cardioid shapes formed by light reflection in the mug. The final finding a was a method to find the envelope of a nephroid and a cardioid, which finally resulted in the equation: π₯ 1 πππ 2π − 2πππ π [ ]= [ ] π¦ 3 2π πππ − π ππ2π 17 Though, a few assumptions were made to construct the model of these caustics. To model a nephroid, the light source was assumed to be infinite, whereas to model a cardioid, the light source was assumed to be at the cup's rim. The assumptions employed to construct the caustics equations, however, do not hold true in reality. The nephroid in a cup is unlikely to be an exact replica of the nephroid's modelled equation. The point source for nephroids was assumed to be at infinity, but the caustics show that the light source is not too far away. Furthermore, when modelling a cardioid, the point source was assumed to be at the cup's rim, when in fact it isn't. So, we can safely assume the light source is nearby, like our light bulb. Additionally, the cup is assumed to be a twodimensional circle, though the cup is 3D. However, the same principles apply to 3D since we assumed the edges of the circle to be reflecting off the light it just reflects on the bottom of the cup as a 2D image. Overall, this study only looks at the mathematical model of a nephroid and a cardioid, but caustic engineering is a huge field of study. Using new milling techniques on glass and plexiglass, this study shows how to create windows that project holographic images from natural light. Controlled caustics, an optical phenomenon that appears chaotic at first, allows this (Manaugh). 18 References Glen, Stephanie. Cusps in Graphs & Corners in Graphs. n.d. <https://www.calculushowto.com/cusps-in-graphs-corners/>. Hayes, Andy, Hobart Pao and Andrew Ellinor. Polar Curve. n.d. Website. 22 March 2022. <https://brilliant.org/wiki/polar-curves/#polar-equations>. Manaugh, Geoff. Caustic Engineering. 6 February 2013. <https://bldgblog.com/2013/02/caustic-engineering/ >. ProofWiki. Equation of Cardioid/ Polar. 29 September 2020. <https://proofwiki.org/wiki/Equation_of_Cardioid/Polar>. Vasilkova, Dominika. Cardioids in Coffee Cups. 18 October 2017. 19 November 2021. <https://chalkdustmagazine.com/features/cardioids-coffee-cups/>. Weisstein, Eric W. Cirlce Catacaustic. n.d. <https://mathworld.wolfram.com/CircleCatacaustic.html>. —. Family of Curves. n.d. <https://mathworld.wolfram.com/FamilyofCurves.html>. 19