arxiv: v1 [math.ho] 27 May 2017

Transcription

1 arxiv: v1 [math.ho] 7 May 017 The foci and rotation angle of an ellipse, E 0, as a function of the coefficients of an equation of E 0 Alan Horwitz 5/7/17 Abstract First, we give a formula for the foci of an ellipse, E 0, as a function of the coefficients of an equation of E 0(see Theorem. To prove Theorem, we use two interesting formulas proven in [1] and in [3]. Our second result(see Theorem 3, is a more precise formula for the rotation angle, θ, of E 0, as a function of the coefficients of an equation of E 0. 1 Introduction The purpose of this note is two fold. First, we give a formula for the foci of an ellipse, E 0, as a function of the coefficients of an equation of E 0 (see Theorem ; To prove Theorem, we use two interesting formulas proven in [1] and in [3]. The main result in [1] expresses the foci of an ellipse, E 0, as a function of the coefficients of an equation of E 0, but also requires knowing the length of the major axis of E 0 ; We expand on that formula a little and give the proof here(see Theorem 1. A formula in [3] yields the length of the major axis of E 0 as a function of the coefficients(see Lemma 1. Theorem 1 and Lemma 1 then yield Theorem. There are various ways to define the rotation angle, θ, of a non circular ellipse, E 0 ; elow we define θ to be the counterclockwise angle of rotation to the major axis of E 0 from the line thru the center of E 0 and parallel to the x axis, with 0 θ < π; No matter how one defines θ, it is always true that cot(θ = A C ; ut what about a formula for θ itself? Our second result(see Theorem 3, is a more precise formula for the rotation angle, θ, of E 0, as a function of the coefficients of an equation of E 0. The latter formula was submitted as a correction for the previous formula for the rotation angle given in []. The formula given here now appears in [] in a slightly different form. The proof of Theorem 3 then follows easily from the proof of Theorem 1. While the formulas given in this note are undoubedtly known, and there are other ways of proving them, we found it interesting to use and highlight the results in [1] and in [3]. 1

2 Foci as a Function of the Coefficients Throughout, for a given ellipse, E 0, which is not a circle, we let θ denote the counterclockwise angle of rotation to the major axis of E 0 from the line thru the center of E 0 and parallel to the x axis, with 0 θ < π; We let (x 0,y 0 = center of E 0,a = length of semi majorand b = length of semi minor axes of E 0, respectively. Finally, we let F = (x c,y c denote the rightmost focus of E 0 (if θ = π, we let F denote the uppermost focus. Knowing F easily yields the other focus, F 1 = (x 0 x c,y 0 y c ; We now state an extension, and give a detailed proof, of the result in [1]. (i gives the equation of an ellipse, E 0, given the foci of E 0, while (ii gives the foci of E 0 given the equation of E 0. In each case, one must also know the length of the semi major axis of E 0. Theorem 1 Let E 0 be an ellipse which is not a circle, let F = (x c,y c be the rightmost focus of E 0, and let (x 0,y 0 be the center of E 0. (i Then the equation of E 0 can be written in the form A(x x 0 +(x x 0 (y y 0 + C(y y 0 a b = 0, where A = a (x c x 0, = (x c x 0 (y c y 0, and C = a (y c y 0. (ii If the equation of E 0 is written in the form A(x x 0 +(x x 0 (y y 0 + C(y y 0 a b = 0, where A,C > 0, then x c = x 0 + a A, (1 y c = y 0 (sgn a C if 0. In addition, if 0 θ < π, then < 0, while if π < θ < π, then > 0. Finally, x c = x (1 sgn(a C a A, ( y c = y (1+sgn(A C a C if = 0. Proof. It is clear that we may assume that x 0 = y 0 = 0, so that the equation of E 0 has the form Ax +xy +Cy +G = 0. (3 The implicit assumption in [1] is that 0 θ < π ; We outline the proof in the case when π θ < π as well. If 0 θ < π, then F lies in quadrant 1, while if π θ < π, then F lies in quadrant 4; Letting c = a b, we then have x c = ccosθ,y c = csinθ if 0 θ π x c = ccosθ,y c = csinθ if π < θ < π. (4

3 Recall that if θ = π, then F is the uppermost focus. Proceedingas in [1](we include the details here for completeness, we have: (x xc +(y y c + (x+x c +(y +y c = a, which implies that (x+x c +(y+y c = 4a 4a (x x c +(y y c +(x x c +(y y c, and so a ((x x c +(y y c = a 4 a (xx c +yy c +(xx c +yy c ; Some simplification yields (a x cx x c y c xy+(a y cy +a (c a = 0, and using b = a c gives (a x c x x c y c xy +(a y c y a b = 0. (5 Matching (3 with (5 yields A = a x c, = x cy c,c = a y c, (6 and G = a b, which proves (i. To prove (ii: Note that x c = a A and y c = a C. Case 1: 0 Then x c 0 y c by (6, which implies that 0 θ π by (4; If 0 < θ < π, then x c > 0 and y c > 0 by (4, which implies that < 0,x c = a A, and y c = a C; If π < θ < π, then x c > 0 and y c < 0 by (4, which implies that > 0,x c = a A, and y c = a C; That proves (1. Case : = 0 Then x c = 0 or y c = 0 by (6; If A < C, then by (6 again, a x c < a y c, which implies that y c < x c, and so y c = 0; Thus θ = 0, which implies that x c = c > 0 by (4 and so x c = a A; If A > C, then a x c > a y c, which implies that y c > x c, and so x c = 0; Thus θ = π, which implies thaty c = c > 0 by (4 and so y c = a C; That proves (. For the following two lemmas, we let = 4AC and δ = CD +AE DE F. The following result can be found in [3]. Lemma 1 Suppose that E 0 is an ellipse with equation Ax +xy+cy +Dx+ Ey+F = 0; Let a and b denote the lengths of the semi major and semi minor axes, respectively, of E 0, and let µ = 4δ. Then a = µ A+C + (A C + b = µ A+C (A C +. We state the following useful general lemma about equations of ellipses. The second condition ensures that the conic is non degenerate, while the first condition ensures that the conic is an ellipse. (7 3

4 Lemma The equation Ax +xy+cy +Dx+Ey+F = 0, with A,C > 0, is the equation of an ellipse if and only if > 0 and δ > 0. Using Lemma 1, we are now able to give a formula for the foci of E 0, given an equation of E 0, without knowing the length of the semi major axis of E 0, as with Theorem 1. Theorem Let E 0 be an ellipse which is not a circle, and let r = (A C + ; Let F = (x c,y c be the rightmost focus of E 0 and let (x 0,y 0 be the center of E 0. If the equation of E 0 is written in the form A(x x 0 +(x x 0 (y y 0 + C(y y 0 a b = 0, where A,C > 0, then x c = x 0 + (r +C A/, y c = y 0 (sgn (r +A C/ if 0, x c = x (1 sgn(a C (r +C A/, y c = y (1+sgn(A C (r +A C/ if = 0. Remark 1 To use Theorem, one must first rewrite the equation of E 0 so that it has the form given in Theorem. First one writes the equation of E 0 in the form A(x x 0 + (x x 0 (y y 0 + C(y y 0 + F = 0 using the formula x 0 = E CD, y 0 = D AE ; One can then obtain a b without needing to know a or b since it follows easily by Lemma 1 that a b = δ = 4AC CD +AE DE F(4AC, where Ax +xy+cy +Dx+Ey+F = 0 is any given equation of E 0. Multiplying thru by a b form. F then yields the proper Proof. Asin the proofoftheorem1, wemayassume, without lossofgenerality, that x 0 = y 0 = 0, so that the equation of E 0 has the form Ax +xy +Cy a b = 0. y Lemma, 0, and by Lemma 1, with D = E = 0 and F = a b, we have δ = a b, which implies that µ = 4a b = 4a b ( ; 4δ Also by Lemma 1, a b = µ 4 ((A+C (A C = 4 = 4δ 3 ; Thus δ = a b = 4δ 3, and so δ = 1 4 ; Hence µ = 4δ = 1, which implies, by Lemma 1, that a A+C +r =. Substituting a r +C A A = and a C = r+a C into Theorem 1 yields Theorem. 4

5 3 Rotation Angle elow we give a formula for the rotation angle, θ, of a non circular ellipse, E 0, as a function of the coefficients of an equation of E 0. We also give a simple formula for tanθ. Here we are assuming that 0 cot 1 x < π. Theorem 3 Let E 0 be an ellipse with equation Ax +xy+cy +Dx+Ey+F = 0, with A,C > 0; Let θ denote the counterclockwise angle of rotation tothe major axis of E 0 from the line thru the center of E 0 and parallel to the x axis, with 0 θ < π;let r = (A C +. (1+sgn π (i θ = ( A C cot 1 if 0 (1+sgn(A C π and if = 0 4 (ii tanθ = if 0 or = 0 and A < C. A C r Remark Note that if A = C and = 0, we have a circle and hence no rotation angle. Proof. Again, we assume that x 0 = y 0 = 0, where E 0 has center = (x 0,y 0 ; y (6 and (4, A C = yc x c = c sin θ c cos θ = (a b (sin θ cos θ = (b a cos(θ, and = x c y c = c cosθsinθ = (b a sin(θ for any 0 θ π; We use the well known formula cot(θ = A C, which implies that θ = 1 ( A C cot 1 or θ = π + 1 ( A C cot 1, depending upon whether θ lies in quadrant 1 or quadrant. Note that b a < 0; Case 1: 0 If < 0, then(b a sin(θ < 0,whichimpliesthatsin(θ > 0andso0 < θ < π ; Thus θ = 1 cot 1 ( A C ; If > 0, then (b a sin(θ > 0, which. implies that sin(θ < 0 and so π < θ < π; Thus θ = π + 1 ( A C cot 1 Case : = 0 Then sin(θ = 0, which implies that θ = 0 or θ = π ; If A > C, then A C = (b a cos(θ > 0, which implies that cos(θ < 0 and so θ = π ; If A < C, then A C = (b a cos(θ < 0, which implies that cos(θ > 0 and so θ = 0. That proves (i. While one could use the fact that cot(θ = A C, we find it easier to proceed as follows to prove (ii. Now by (4, tanθ = y c x c Case 1: 0 ThenbyTheorem,x c = (r +C A/andy c = (sgn (r+a C/, which implies that 5

6 tanθ = (sgn (r +A C/ r+a C r +A C = (sgn ; Now (r +C A/ r+c A r +C A simplifies to (r (A C, and r (A C = (A C + (A C > 0 using the inequality x +y x > 0 for any x; Thus tanθ = (sgn (r (A C = (sgn r (A C = r (A C = A C r ; Case : = 0 IfA < C, thenbytheorem,x c = (r +C A/andy c = (r+a C/, and the rest follows as above. 4 Example Consider the ellipse with equation 4x +xy+6y 6x+10y = 1; Using A = 4, =, C = 6, D = 6, and E = 10, one has = 4(4(6 = 9 and δ = 88; Using Remark 1 yields a b = 4δ 3 = 81 3 and x 0 = 1, y 0 = 1; Rewriting the equation gives 4(x 1 +(x 1(y +1 +6(y +1 9 = 0; Multiplying thru by a b = 9 36 yields (x (x 1(y (y = 0; Now we have A = 3 3, = 18 3, C = 54 3, and r = 18 ( 3 ; y Theorem, F = , 1 3+3, ( 3 3 which implies that F 1 = , ; y 3 3 Theorem 3, θ = (1+sgn π ( A C cot 1 = 7π ; One can verify that 8 tanθ = A C r = 1 ; References [1] C. ond, A New Algorithm for Scan Conversion of a General Ellipse, alg.pdf [] [3] Mohamed Ali Said, Calibration of an Ellipse s Algebraic Equation and Direct Determination of its Parameters, Acta Mathematica Academiae Paedagogicae Ny regyh aziensis Vol.19, No. (003,