Most materials do not provide a detailed explanation of how the elliptic integral of the second kind is derived. Even if they do, many are incorrect1 so I wrote the ‘accurate’ and ‘detailed’ content myself. For reference, the content in Boas’ Mathematical Methods in the Physical Sciences, 3rd edition, is also incorrect.
Formula
The perimeter of an ellipse with semi-major axis a, semi-minor axis b, and eccentricity k2 is calculated as follows.
E=4a∫02π1−k2cos2θdθ,k2=a2a2−b2
Derivation
First, let’s express a point P=(x,y) on the ellipse through an angle. However, this angle is not the angle formed by P, origin O, and axis x. It’s the angle formed by the origin O and the x axis when a perpendicular (horizontal) line drawn from P intersects the circle x2+y2=a2(x2+y2=b2). Refer to the diagram below. Ellipse a2x2+b2y2=1(a>b>0) and two circles x2+y2=a2, x2+y2=b2 are drawn.
From the diagram above, it is clear that x=acosθ. Substituting this into the equation of the ellipse gives the following.
⟹a2a2cos2θ+b2y2cos2θ+b2y2=1=1
Therefore, y=bsinθ. Then, the perimeter of the ellipse E can be calculated as follows.
Here, a2a2−b2(b<a) represents the eccentricity of the ellipse, denoted as ϵ or k. By calculating the perimeter of the first quadrant and multiplying by 4, the final perimeter of the ellipse is as follows.
E=4a∫02π1−k2cos2θdθ,k2=a2a2−b2
If the ellipse is longer towards the y axis, such that the condition is b>a>0, the diagram is as below.
This integral is specifically called the Elliptic Integral of the Second Kind, or the Complete Elliptic Integral of the Second Kind, and is denoted as follows.
E(k)=∫02π1−k2sin2θdθ
Calculation
This elliptic integral cannot be represented by elementary functions and can only be calculated numerically. The value of the integral depending on k is as follows.
If b=1.1547 and a=1, then k=0.5. Since E(0.5)=1.351, the perimeter of the ellipse x2+1.15472y2=1 is as follows.
4bE(k)=4×1.1547×1.351=6.239
Wikipedia lacks the derivation process, and Namuwiki is incorrect. ↩︎