Exercises
Multiply in
Z
/
(
5
)
[
x
,
y
]
{\displaystyle {}\mathbb {Z} /(5)[x,y]}
the two polynomials
x
4
+
2
x
2
y
2
−
x
y
3
+
2
y
3
and
x
4
y
+
4
x
2
y
+
3
x
y
2
−
x
2
y
2
+
2
y
2
.
{\displaystyle x^{4}+2x^{2}y^{2}-xy^{3}+2y^{3}{\text{ and }}x^{4}y+4x^{2}y+3xy^{2}-x^{2}y^{2}+2y^{2}.}
Multiply in
Q
[
x
,
y
,
z
]
{\displaystyle {}\mathbb {Q} [x,y,z]}
the two polynomials
x
5
+
3
x
2
y
2
−
x
y
z
3
and
2
x
3
y
z
+
z
2
+
5
x
y
2
z
−
x
2
y
.
{\displaystyle x^{5}+3x^{2}y^{2}-xyz^{3}{\text{ and }}2x^{3}yz+z^{2}+5xy^{2}z-x^{2}y.}
Show that the
ideal
(
X
,
Y
)
{\displaystyle {}(X,Y)}
in the
polynomial ring
K
[
X
,
Y
]
{\displaystyle {}K[X,Y]}
over a
field
K
{\displaystyle {}K}
is not a
principal ideal .
Sketch in
R
2
{\displaystyle {}\mathbb {R} ^{2}}
the solution set of the following equations.
x
2
−
y
2
−
1
=
0
{\displaystyle {}x^{2}-y^{2}-1=0}
,
x
2
+
x
y
+
y
2
=
0
{\displaystyle {}x^{2}+xy+y^{2}=0}
,
x
2
+
y
2
+
1
=
0
{\displaystyle {}x^{2}+y^{2}+1=0}
,
x
2
+
y
2
=
0
{\displaystyle {}x^{2}+y^{2}=0}
,
x
2
+
y
3
=
0
{\displaystyle {}x^{2}+y^{3}=0}
,
x
3
−
y
5
=
0
{\displaystyle {}x^{3}-y^{5}=0}
,
x
2
−
x
3
=
0
{\displaystyle {}x^{2}-x^{3}=0}
,
x
3
+
y
3
=
1
{\displaystyle {}x^{3}+y^{3}=1}
,
x
4
+
y
4
=
1
{\displaystyle {}x^{4}+y^{4}=1}
,
−
5
+
3
x
+
4
x
2
+
x
3
−
y
2
=
1
{\displaystyle {}-5+3x+4x^{2}+x^{3}-y^{2}=1}
.
Which of the quadrics on the right can be described
(in what sense)
with less than three variables?
Determine which quadric from
Example 43.9
can be described as a
graph ,
and which can be described as a
surface of revolution.
In the following exercises, we understand standard form in the sense of
Theorem 43.10
.
Bring the real pure-quadratic polynomial
3
X
2
−
5
Y
2
+
8
X
Y
{\displaystyle 3X^{2}-5Y^{2}+8XY}
into
standard form.
Bring the real pure-quadratic polynomial
2
X
2
−
Y
2
+
3
Z
2
+
4
Y
Z
{\displaystyle 2X^{2}-Y^{2}+3Z^{2}+4YZ}
into
standard form.
In the following exercises, we understand standard form in the sense of
Theorem 43.13
.
We are looking for the new basis, the transformation of the variables
(coordinate transformation),
and the simplified quadratic polynomial.
We consider the real quadratic polynomial
F
=
X
2
−
4
Y
2
+
6
X
Y
−
3
X
+
Y
+
2
{\displaystyle {}F=X^{2}-4Y^{2}+6XY-3X+Y+2\,}
with the pure-quadratic part
G
=
X
2
−
4
Y
2
+
6
X
Y
.
{\displaystyle {}G=X^{2}-4Y^{2}+6XY\,.}
a) Determine the
standard form
of
G
{\displaystyle {}G}
.
b) Determine an orthonormal basis such that
G
{\displaystyle {}G}
is in standard form with respect to the new basis. Express the variables
X
,
Y
{\displaystyle {}X,Y}
with the new variables.
c) Express
F
{\displaystyle {}F}
in the variables of the new orthonormal basis.
d) Determine the
standard form
of
F
{\displaystyle {}F}
.
Bring the real quadratic polynomial
5
X
2
−
2
Y
2
−
6
X
Y
−
5
X
−
3
Y
−
7
{\displaystyle 5X^{2}-2Y^{2}-6XY-5X-3Y-7}
into
standard form .
In the following exercise, we are dealing with two definitions of an ellipse.
Let
Q
1
,
Q
2
∈
R
2
{\displaystyle {}Q_{1},Q_{2}\in \mathbb {R} ^{2}}
be two points,
c
>
0
{\displaystyle {}c>0}
,
and set
E
=
{
P
∈
R
2
∣
d
(
P
,
Q
1
)
+
d
(
P
,
Q
2
)
=
c
}
.
{\displaystyle {}E={\left\{P\in \mathbb {R} ^{2}\mid d(P,Q_{1})+d(P,Q_{2})=c\right\}}\,.}
Show that
E
{\displaystyle {}E}
is the zero set of a quadratic polynomial in two variables. How does the standard form look like? What are the principal axes?
By saying normalized standard form, we mean a quadratic form where the coefficients have the value
0
,
1
,
−
1
{\displaystyle {}0,1,-1}
. This can be achieved by allowing distortion
(orthogonality might get lost).
Determine the
normalized standard form
of the real
quadric
7
x
2
−
11
y
2
+
15
x
y
.
{\displaystyle 7x^{2}-11y^{2}+15xy.}
Determine the
normalized standard form
of the real
quadric
3
x
2
+
2
y
2
+
2
x
y
−
2
y
z
.
{\displaystyle 3x^{2}+2y^{2}+2xy-2yz.}
Determine the
normalized standard form
of the real
quadric
x
2
+
y
2
−
2
z
2
−
4
x
y
+
6
x
y
−
2
y
z
.
{\displaystyle x^{2}+y^{2}-2z^{2}-4xy+6xy-2yz.}
Let
V
{\displaystyle {}V}
be a
Minkowski space
of dimension
n
{\displaystyle {}n}
. We consider the set
T
=
{
v
∈
V
∣
⟨
v
,
v
⟩
=
1
}
.
{\displaystyle {}T={\left\{v\in V\mid \left\langle v,v\right\rangle =1\right\}}\,.}
For what
n
{\displaystyle {}n}
is
T
{\displaystyle {}T}
path-connected,
for what
n
{\displaystyle {}n}
does it fall into several components?
Let
V
{\displaystyle {}V}
be a
Minkowski space
of dimension
n
{\displaystyle {}n}
. We consider the set
T
=
{
v
∈
V
∣
⟨
v
,
v
⟩
=
1
}
.
{\displaystyle {}T={\left\{v\in V\mid \left\langle v,v\right\rangle =1\right\}}\,.}
Let
w
{\displaystyle {}w}
be the
observer vector
of an observer
B
{\displaystyle {}B}
, and let
V
B
{\displaystyle {}V_{B}}
denote his space component. What is the shape of
T
∩
V
B
{\displaystyle {}T\cap V_{B}}
?
Let
K
{\displaystyle {}K}
be a
field .
The
image
of the curve defined by
K
⟶
K
2
,
t
⟼
(
t
2
,
t
3
)
,
{\displaystyle K\longrightarrow K^{2},t\longmapsto \left(t^{2},\,t^{3}\right),}
is called semicubical parabola . Show that a point
(
x
,
y
)
∈
K
2
{\displaystyle {}(x,y)\in K^{2}}
belongs to this image if and only if it satisfies the equation
x
3
=
y
2
{\displaystyle {}x^{3}=y^{2}}
.
Let
f
:
R
⟶
R
2
,
t
⟼
(
t
2
,
t
3
)
.
{\displaystyle f\colon \mathbb {R} \longrightarrow \mathbb {R} ^{2},t\longmapsto \left(t^{2},\,t^{3}\right).}
Determine the points
t
0
∈
R
{\displaystyle {}t_{0}\in \mathbb {R} }
such that the distance between the corresponding curve point
f
(
t
)
=
(
t
2
,
t
3
)
{\displaystyle {}f(t)=\left(t^{2},\,t^{3}\right)}
and the point
(
1
,
0
)
{\displaystyle {}(1,0)}
becomes minimal.
We consider the curve
R
⟶
R
2
,
t
⟼
(
t
2
−
1
,
t
3
−
t
)
.
{\displaystyle \mathbb {R} \longrightarrow \mathbb {R} ^{2},t\longmapsto (t^{2}-1,t^{3}-t).}
a) Show that the
image points
(
x
,
y
)
{\displaystyle {}(x,y)}
of the curve satisfy the equation
y
2
=
x
2
+
x
3
.
{\displaystyle {}y^{2}=x^{2}+x^{3}\,.}
b) Show that every point
(
x
,
y
)
∈
R
2
{\displaystyle {}(x,y)\in \mathbb {R} ^{2}}
satisfying
y
2
=
x
2
+
x
3
{\displaystyle {}y^{2}=x^{2}+x^{3}}
belongs to the image of the curve.
c) Show that there exist exactly two points
t
1
{\displaystyle {}t_{1}}
and
t
2
{\displaystyle {}t_{2}}
with the same image point, and that the mapping is injective after removing these points.
Let
C
⊆
R
2
{\displaystyle {}C\subseteq \mathbb {R} ^{2}}
be the
image
under the polynomial mapping
R
⟶
R
2
,
t
⟼
(
t
3
−
1
,
t
2
−
1
)
.
{\displaystyle \mathbb {R} \longrightarrow \mathbb {R} ^{2},t\longmapsto \left(t^{3}-1,\,t^{2}-1\right).}
Determine a polynomial
F
≠
0
{\displaystyle {}F\neq 0}
in two variables such that
C
{\displaystyle {}C}
lies on the zero locus of
F
{\displaystyle {}F}
.
Let
T
{\displaystyle {}T}
be the
graph
of the standard parabola
y
=
x
2
,
{\displaystyle {}y=x^{2}\,,}
and let
M
⊆
R
3
{\displaystyle {}M\subseteq \mathbb {R} ^{3}}
be the
surface of revolution
of
T
{\displaystyle {}T}
around the
x
{\displaystyle {}x}
-axis.
a) Show that
M
{\displaystyle {}M}
can not be described by a
quadric .
b) Show that
M
{\displaystyle {}M}
is the
zero set
of a polynomial in three variables.
Hand-in-exercises
How many monomials of
degree
d
{\displaystyle {}d}
do exist in the polynomial ring in one, in two, and in three variables?
Determine all solutions of the circle equation
x
2
+
y
2
=
1
{\displaystyle {}x^{2}+y^{2}=1\,}
for the
fields
K
=
Z
/
(
2
)
{\displaystyle {}K=\mathbb {Z} /(2)}
,
Z
/
(
3
)
{\displaystyle {}\mathbb {Z} /(3)}
,
Z
/
(
5
)
{\displaystyle {}\mathbb {Z} /(5)}
, and
Z
/
(
7
)
{\displaystyle {}\mathbb {Z} /(7)}
.
We consider the real quadratic polynomial
F
=
3
X
2
−
5
Y
2
+
7
X
Y
+
4
X
−
2
Y
+
5
{\displaystyle {}F=3X^{2}-5Y^{2}+7XY+4X-2Y+5\,}
with the pure-quadratic part
G
=
3
X
2
−
5
Y
2
+
7
X
Y
.
{\displaystyle {}G=3X^{2}-5Y^{2}+7XY\,.}
a) Determine the
standard form
of
G
{\displaystyle {}G}
.
b) Determine an orthonormal basis such that
G
{\displaystyle {}G}
is in standard form with respect to the new basis. Express the variables
X
,
Y
{\displaystyle {}X,Y}
with the new variables.
c) Express
F
{\displaystyle {}F}
in the variables of the new orthonormal basis.
d) Determine the
standard form
of
F
{\displaystyle {}F}
.
We consider the cone
K
=
{
(
x
,
y
,
z
)
∈
R
2
∣
x
2
+
y
2
=
z
2
}
⊆
R
3
,
{\displaystyle {}K={\left\{(x,y,z)\in \mathbb {R} ^{2}\mid x^{2}+y^{2}=z^{2}\right\}}\subseteq \mathbb {R} ^{3}\,,}
and let
E
⊆
R
3
{\displaystyle {}E\subseteq \mathbb {R} ^{3}}
denote an
affine plane.
The intersection
K
∩
E
{\displaystyle {}K\cap E}
is called a conic section .
a) Show that every conic section
K
∩
E
⊆
E
≅
R
2
{\displaystyle {}K\cap E\subseteq E\cong \mathbb {R} ^{2}\,}
is, in suitable coordinates
u
,
v
{\displaystyle {}u,v}
of the
R
2
{\displaystyle {}\mathbb {R} ^{2}}
, the
zero set
of a quadratic polynomial in
u
,
v
{\displaystyle {}u,v}
.
b) Determine which quadrics from
Example 43.8
can be realized as a conic section.
Determine the
normalized standard form
of the real
quadric
5
x
2
−
4
y
2
+
z
2
−
x
y
+
3
x
z
.
{\displaystyle 5x^{2}-4y^{2}+z^{2}-xy+3xz.}