Content deleted Content added
Undid revision 1303428927 by Beland (talk) there is no consensus for this. you should discuss instead of acting unilaterally |
TrailEdits (talk | contribs) Link suggestions feature: 3 links added. |
||
Line 387:
[[File:Lemniscate 15-gon.png|thumb|right|upright=1.5|A lemniscate divided into 15 sections of equal arclength (red curves). Because the prime factors of 15 (3 and 5) are both Fermat primes, this polygon (in black) is constructible using a straightedge and compass.]]
Later mathematicians generalized this result. Analogously to the [[constructible polygon]]s in the circle, the lemniscate can be divided into {{tmath|n}} sections of equal arc length using only [[straightedge and compass construction|straightedge and compass]] if and only if {{tmath|n}} is of the form <math>n = 2^kp_1p_2\cdots p_m</math> where {{tmath|k}} is a non-negative [[integer]] and each {{tmath|p_i}} (if any) is a distinct [[Fermat prime]].<ref>Such numbers are OEIS sequence [[oeis:A003401|A003401]].</ref> The "if" part of the theorem was proved by [[Niels Henrik Abel|Niels Abel]] in 1827–1828, and the "only if" part was proved by [[Michael Rosen (mathematician)|Michael Rosen]] in 1981.<ref>{{harvp|Abel|1827–1828}}; {{harvp|Rosen|1981}}; {{harvp|Prasolov|Solovyev|1997}}</ref> Equivalently, the lemniscate can be divided into {{tmath|n}} sections of equal arc length using only straightedge and compass if and only if <math>\varphi (n)</math> is a [[power of two]] (where <math>\varphi</math> is [[Euler's totient function]]). The lemniscate is ''not'' assumed to be already drawn, as that would go against the rules of straightedge and compass constructions; instead, it is assumed that we are given only two points by which the lemniscate is defined, such as its center and radial point (one of the two points on the lemniscate such that their distance from the center is maximal) or its two foci.
Let <math>r_j=\operatorname{sl}\dfrac{2j\varpi}{n}</math>. Then the {{tmath|n}}-division points for <math>\mathcal{L}</math> are the points
Line 896:
:<math>\text{ctlh}(u) = \frac{\text{cd}(u;\tfrac{1}{2}\sqrt{2})}{\sqrt[4]{\text{cd}(u;\tfrac{1}{2}\sqrt{2})^4 + \text{sn}(u;\tfrac{1}{2}\sqrt{2})^4}} </math>
When <math>u</math> is real, the derivative and [[quarter period]] integral of <math> \operatorname{tlh} </math> and <math> \operatorname{ctlh} </math> can be expressed in this way:
:{|class = "wikitable"
Line 930:
:<math>y(w) = \text{tlh}(w) </math>
The sketch also shows the fact that the derivation of the Areasinus hyperbolic lemniscatus function is equal to the reciprocal of the square root of the successor of the [[fourth power]] function.
==== First proof: comparison with the derivative of the arctangent ====
| |||