Section 6.3

Orthogonal Invariants of Second-Order Curves

[15/73%]
Show
LaTeX
Problem 542

Set up the canonical equations of the curves, if their invariants are given:

?
(1)

I1=0,I2=−25,I3=125I_{1} = 0, I_{2} = -25, I_{3} = 125

(2)

I1=2,I2=−15,I3=−30I_{1} = 2, I_{2} = -15, I_{3} = -30;

(3)

I1=7,I2=10,I3=−20I_{1} = 7, I_{2} = 10, I_{3} = -20;

(4)

I1=5,I2=0,I3=−50I_{1} = 5, I_{2} = 0, I_{3} = -50;

(5)

I1=0,I2=−9,I3=0I_{1} = 0, I_{2} = -9, I_{3} = 0;

(6)

I1=9,I2=18,I3=36I_{1} = 9, I_{2} = 18, I_{3} = 36;

(7)

I1=3,I2=3,I3=3I_{1} = 3, I_{2} = 3, I_{3} = 3;

(8)

I1=1,I2=0,I3=1I_{1} = 1, I_{2} = 0, I_{3} = 1.

Problem 543

Prove that the conditions I12=4I2,I1I3<0I_{1}^{2} = 4 I_{2}, I_{1} I_{3} < 0 are necessary and sufficient for the equation of a second-order curve to define a real circle.

?
Problem 544

Express, in terms of the invariants I1,I2,I3I_{1}, I_{2}, I_{3}, the conditions necessary and sufficient for the second-order equation F(x,y)=0F(x, y) = 0 to define a real ellipse. Express, in terms of I1,I2,I3I_{1}, I_{2}, I_{3}, the lengths aa and bb of the semi-axes of the ellipse, and find its area SS.

?
Problem 545

Using invariants, express the necessary and sufficient conditions for the equation F(x,y)=0F(x, y) = 0 to define a hyperbola lying in the acute angle formed by its asymptotes.

?
Problem 546

Express, in terms of the invariants I1,I2,I3I_{1}, I_{2}, I_{3}, the conditions necessary and sufficient for the quadric F(x,y)=0F(x, y) = 0 to split into a pair of perpendicular lines.

?
Problem 547

Prove that the equation F(x,y)=0F(x, y) = 0 defines a rectangular (equilateral) hyperbola if and only if I1=0I_{1} = 0 and I3≠0I_{3} \neq 0.

?
Problem 548

The equation F(x,y)=0F(x, y) = 0 defines a hyperbola. Using orthogonal invariants, write the equation of the pair of its asymptotes.

?
Problem 549

Express, in terms of the invariants I1,I2,I3I_{1}, I_{2}, I_{3}, the necessary and sufficient conditions for the curve F(x,y)=0F(x, y) = 0 to be a parabola. Express, in terms of I1,I2,I3I_{1}, I_{2}, I_{3}, its focal parameter pp.

?
Problem 550

The equation F(x,y)=0F(x, y) = 0 defines a pair of intersecting lines. Express, in terms of orthogonal invariants, the angle between them.

?
Problem 551

(Semi-invariant.) Prove that the quantity

I2∗=∣a22a2a2a∣+∣a11a1a1a∣ I_{2}^{*} =\left|\begin{smallmatrix} a_{22} & a_{2} \\ a_{2} & a \end{smallmatrix}\right|+\left|\begin{smallmatrix} a_{11} & a_{1} \\ a_{1} & a \end{smallmatrix}\right|

is an invariant of equation (6.1) under homogeneous orthogonal transformations (i.e., those under which the origin does not change).

Prove that if I2=I3=0I_{2} = I_{3} = 0, then I2∗I_{2}^{*} is preserved under any orthogonal transformations.

?
Problem 552

A second-order equation F(x,y)=0F(x, y) = 0 defines two parallel lines. Express the distance dd between them in terms of the invariants and the semi-invariant of the polynomial F(x,y)F(x, y).

?
Problem 553

A second-order curve, given by the equation F(x,y)=0F(x, y) = 0, splits into a pair of intersecting, not mutually perpendicular lines. Find the necessary and sufficient condition for a given point M0(x0,y0)M_{0}\left(x_{0}, y_{0}\right) to lie in the acute angle formed by these lines.

?
Problem 554

A second-order curve, given by the equation F(x,y)=0F(x, y) = 0, splits into a pair of parallel lines. Under what necessary and sufficient condition does a given point M0(x0,y0)M_{0}\left(x_{0}, y_{0}\right) lie between them?

?
Problem 555

The equation a11x2+2a12xy+a22y2=0a_{11} x^{2}+2 a_{12} x y+a_{22} y^{2} = 0 defines a pair of intersecting lines (a11a22−a122<0)(a_{11} a_{22}-a_{12}^{2} < 0). Prove that if the coordinate system is rectangular, then the pair of bisectors between these lines can be given by the equation

∣a11x+a12ya12x+a22yxy∣=0 \left|\begin{smallmatrix} a_{11} x+a_{12} y & a_{12} x+a_{22} y \\ x & y \end{smallmatrix}\right| = 0
?
Problem 556

The equations of two hyperbolas have the form

a11x2+2a12xy+a22y2+2a1x+2a2y+a=0a11x2+2a12xy+a22y2+2a1x+2a2y+b=0 \begin{aligned} & a_{11} x^{2}+2 a_{12} x y+a_{22} y^{2}+2 a_{1} x+2 a_{2} y+a = 0 \\ & a_{11} x^{2}+2 a_{12} x y+a_{22} y^{2}+2 a_{1} x+2 a_{2} y+b = 0 \end{aligned}

Under what necessary and sufficient condition will they lie in different vertical angles formed by their common asymptotes?

?