Section 51

Euclidean spaces

[24/71%]
Show
LaTeX
Problem 51.1

Find necessary and sufficient conditions for a given set of (n2)\binom {n}{2} nonnegative real numbers to serve as the set of distances between:

?
(a)

nn affinely independent points of a Euclidean space;

(b)

nn arbitrary points of a Euclidean space.

Problem 51.2

Does there exist, in a Euclidean space, a set of points a1a_{1}, a2,a3,a4,a5a_{2}, a_{3}, a_{4}, a_{5} for which the matrix AA is the matrix of distances (ρ(ai,aj))(\rho \left(a_{i}, a_{j}\right)), and what is the smallest dimension of a space into which such a set can be placed:

?
(a)

A=(0122221055325022225220232232230)A=\left(\begin{array}{ccccc}0 & 1 & 2 & 2 & 2 \sqrt{2} \\ 1 & 0 & \sqrt{5} & \sqrt{5} & 3 \\ 2 & \sqrt{5} & 0 & 2 \sqrt{2} & 2 \\ 2 & \sqrt{5} & 2 \sqrt{2} & 0 & 2 \sqrt{3} \\ 2 \sqrt{2} & 3 & 2 & 2 \sqrt{3} & 0\end{array}\right);

(b)

A=(03552230141417514021751420322171730)A=\left(\begin{array}{ccccc}0 & 3 & \sqrt{5} & \sqrt{5} & 2 \sqrt{2} \\ 3 & 0 & \sqrt{14} & \sqrt{14} & \sqrt{17} \\ \sqrt{5} & \sqrt{14} & 0 & \sqrt{2} & \sqrt{17} \\ \sqrt{5} & \sqrt{14} & \sqrt{2} & 0 & 3 \\ 2 \sqrt{2} & \sqrt{17} & \sqrt{17} & 3 & 0\end{array}\right);

(c)

A=(01251105222501715217010121100)A=\left(\begin{array}{ccccc}0 & 1 & 2 & \sqrt{5} & 1 \\ 1 & 0 & \sqrt{5} & 2 & \sqrt{2} \\ 2 & \sqrt{5} & 0 & \sqrt{17} & 1 \\ \sqrt{5} & 2 & \sqrt{17} & 0 & \sqrt{10} \\ 1 & \sqrt{2} & 1 & \sqrt{10} & 0\end{array}\right);

(d)

A=(055555025222525022252220255222250)A=\left(\begin{array}{ccccc}0 & \sqrt{5} & \sqrt{5} & \sqrt{5} & \sqrt{5} \\ \sqrt{5} & 0 & 2 \sqrt{5} & 2 \sqrt{2} & 2 \\ \sqrt{5} & 2 \sqrt{5} & 0 & 2 & 2 \sqrt{2} \\ \sqrt{5} & 2 \sqrt{2} & 2 & 0 & 2 \sqrt{5} \\ \sqrt{5} & 2 & 2 \sqrt{2} & 2 \sqrt{5} & 0\end{array}\right).

Problem 51.3

Prove the equivalence of the following two properties of a pair of flats {P,Q}\left\{ P, Q\right\} in a Euclidean space:

?
(a)

any line lying in one of these flats is perpendicular to any line lying in the other flat;

(b)

the flats P,QP, Q are perpendicular and either skew or intersect in a single point.

Problem 51.4

Let Q⊂PQ \subset P be flats in an nn-dimensional Euclidean space EE. Prove that any flat P′⊂EP^{\prime } \subset E perpendicular to PP, for which P∩P′=QP \cap P^{\prime }=Q, has dimension ⩽n−dim⁡P+dim⁡Q\leqslant n-\operatorname {dim} P+\operatorname {dim} Q, and that there is a unique such flat of dimension n−dim⁡P+dim⁡Qn-\operatorname {dim} P+\operatorname {dim} Q.

?
Problem 51.5

Let PP be a flat in a Euclidean space and let the point aa not belong to PP. Prove that:

?
(a)

there is a unique line passing through the point aa, meeting PP and perpendicular to PP;

(b)

if cc is any point in PP and zz is the orthogonal component of the vector ac‾\overline{a c} with respect to the directing subspace of the flat PP, then a+⟨z⟩a+\langle z\rangle is the line indicated in (a); a+za+z is the point of intersection of this line with PP;

(c)

ρ(a,P)=∣z∣\rho (a, P)=\left|z\right|.

Problem 51.6

In a Euclidean space find the line passing through the point aa, meeting the flat PP and perpendicular to PP, if:

?
(a)

a=(5,−4,4,0),P=(2,−1,2,3)+⟨(1,1,1,2),(2,2,1,1)⟩a=(5,-4,4,0), \quad P=(2,-1,2,3)+\langle (1,1,1,2),(2,2,1,1)\rangle;

(b)

a=(5,0,2,11),P:{x1+5x2+x4=10,5x1+x2+3x3+8x4=−1.a=(5,0,2,11), \quad P: \begin{cases} x_{1}+5 x_{2}+x_{4}=10, \\ 5 x_{1}+x_{2}+3 x_{3}+8 x_{4}=-1. \end{cases}

Problem 51.7

In a Euclidean space find the distance from the point aa to the flat PP, if:

?
(a)

a=(4,1,−4,−5),P=(3,−2,1,5)+⟨(2,3,−2,−2),(4,1,3,2)⟩a=(4,1,-4,-5), \quad P=(3,-2,1,5)+\langle (2,3,-2,-2),(4,1,3,2)\rangle;

(b)

a=(1,1,−2,−3,−2),P=(3,7,−5,4,1)+⟨(1,1,2,0,1),(2,2,1,3,1)⟩;a=(1,1,-2,-3,-2), \quad P=(3,7,-5,4,1)+\langle (1,1,2,0,1),(2,2,1,3,1)\rangle ;

(c)

a=(2,1,−3,4),P:{2x1−4x2−8x3+13x4=−19,x1+x2−x3+2x4=1;a=(2,1,-3,4), \quad P: \begin{cases} 2 x_{1}-4 x_{2}-8 x_{3}+13 x_{4}=-19, \\ x_{1}+x_{2}-x_{3}+2 x_{4}=1 ; \end{cases}

(d)

a=(1,−3,−2,9,−4),P:{x1−2x2−3x3+3x4+2x5=−2,x1−2x2−7x3+5x4+3x5=1.a=(1,-3,-2,9,-4), \quad P: \begin{cases} x_{1}-2 x_{2}-3 x_{3}+3 x_{4}+2 x_{5}=-2, \\ x_{1}-2 x_{2}-7 x_{3}+5 x_{4}+3 x_{5}=1. \end{cases}

Problem 51.8

In an nn-dimensional Euclidean space find the distance from the point (b1,…,bn)\left(b_{1}, \ldots , b_{n}\right) to the hyperplane ∑i=1naixi=c\sum_{i=1}^{n} a_{i} x_{i}=c.

?
Problem 51.9

In the space of polynomials with scalar product (f,g)=∫−11f(x)g(x)dx(f, g)=\int_{-1}^{1} f(x) g(x) d x find the distance from the polynomial xnx^{n} to the subspace of polynomials of degree less than nn.

?
Problem 51.10

In the space of trigonometric polynomials with scalar product (f,g)=∫−ππf(x)g(x)dx(f, g)=\int_{-\pi }^{\pi } f(x) g(x) d x find the distance from the function cos⁡n+1x\cos^{n+1} x to the subspace

⟨1,cos⁡x,sin⁡x,…,cos⁡nx,sin⁡nx⟩ \langle 1, \cos x, \sin x, \ldots , \cos n x, \sin n x\rangle
?
Problem 51.11

Let PP be a flat in an nn-dimensional Euclidean space EE. Prove that through every point a∈Ea \in E there passes a unique flat QQ of dimension n−dim⁡Pn-\operatorname {dim} P, perpendicular to PP and meeting it in a single point.

?
Problem 51.12

Find, in a Euclidean space, the flat of largest dimension passing through the point aa, perpendicular to the flat PP and meeting it in a single point, if:

?
(a)

a=(2,−1,3,5),P=(7,2,−3,4)+⟨(−1,3,2,1),(1,2,3,−1)⟩a=(2,-1,3,5), \quad P=(7,2,-3,4)+\langle (-1,3,2,1),(1,2,3,-1)\rangle;

(b)

a=(3,−2,1,4),P:{2x1+3x2−x3−2x4=4,3x1+2x2−5x3+x4=5.a=(3,-2,1,4), \quad P: \begin{cases} 2 x_{1}+3 x_{2}-x_{3}-2 x_{4}=4, \\ 3 x_{1}+2 x_{2}-5 x_{3}+x_{4}=5. \end{cases}

Problem 51.13

Let P1=c1+L1P_{1}=c_{1}+L_{1} and P2=c2+L2P_{2}=c_{2}+L_{2} be two disjoint flats in a Euclidean space, let yy and zz be respectively the orthogonal projection and the orthogonal component of the vector c1c2‾\overline{c_{1} c_{2}} with respect to the subspace L1+L2L_{1}+L_{2}, and let y=y1+y2y=y_{1}+y_{2}, where y1∈L1y_{1} \in L_{1}, y2∈L2y_{2} \in L_{2}.

?
(a)

Prove that the line c1+y1+⟨z⟩c_{1}+y_{1}+\langle z\rangle is perpendicular to the flats P1,P2P_{1}, P_{2} and meets P1P_{1} at the point c1+y1c_{1}+y_{1}, and P2P_{2} at the point c2−y2c_{2}-y_{2}.

(b)

Find the distance ρ(P1,P2)\rho \left(P_{1}, P_{2}\right).

(c)

Establish a bijective correspondence between L1∩L2L_{1} \cap L_{2} and the set of all lines perpendicular to P1P_{1} and P2P_{2} and meeting both flats.

(d)

Show that all the lines described in (c) are parallel to each other and that their union is a flat of dimension dim⁡(L1∩L2)+1\operatorname {dim}\left(L_{1} \cap L_{2}\right)+1.

Problem 51.14

In a Euclidean space find the distance between the flats P1P_{1} and P2P_{2}, if:

?
(a)

P1:{x1+3x2+x3+x4=3,x1+3x2−x3+2x4=6,P_{1}: \begin{cases} x_{1}+3 x_{2}+x_{3}+x_{4}=3, \\ x_{1}+3 x_{2}-x_{3}+2 x_{4}=6, \end{cases} P2=(0,2,6,−5)+⟨(−7,1,1,1),(−10,1,2,3)⟩;P_{2}=(0,2,6,-5)+\langle (-7,1,1,1),(-10,1,2,3)\rangle ;

(b)

P1:{−x1+x2+x3+x4=3,−3x2+2x3−4x4=4,P_{1}: \begin{cases} -x_{1}+x_{2}+x_{3}+x_{4}=3, \\ -3 x_{2}+2 x_{3}-4 x_{4}=4, \end{cases} P2=(1,3,−3,−1)+⟨(1,0,1,1)⟩;P_{2}=(1,3,-3,-1)+\langle (1,0,1,1)\rangle ;

(c)

P1:{x1+x3+x4−2x5=2,x2+x3−x4−x5=3,x1−x2+2x3−x5=3,P_{1}: \begin{cases} x_{1}+x_{3}+x_{4}-2 x_{5}=2, \\ x_{2}+x_{3}-x_{4}-x_{5}=3, \\ x_{1}-x_{2}+2 x_{3}-x_{5}=3, \end{cases} P2=(1,−2,5,8,2)+⟨(0,1,2,1,2),(2,1,2,−1,1)⟩;P_{2}=(1,-2,5,8,2)+\langle (0,1,2,1,2),(2,1,2,-1,1)\rangle ;

(d)

P1:{x1−2x2+x3−x4+3x5=6,x1−x3−x4+3x5=0,P_{1}: \begin{cases} x_{1}-2 x_{2}+x_{3}-x_{4}+3 x_{5}=6, \\ x_{1}-x_{3}-x_{4}+3 x_{5}=0, \end{cases} P2=(−4,3,−3,2,4)+⟨(2,0,1,1,1),(−5,1,0,1,1)⟩P_{2}=(-4,3,-3,2,4)+\langle (2,0,1,1,1),(-5,1,0,1,1)\rangle.

Problem 51.15

Points a0,a1,…,ana_{0}, a_{1}, \ldots , a_{n} in a Euclidean space are located at equal distance dd from each other. Find the distance between the flats ⟨a0,a1,…,ak⟩\left\langle a_{0}, a_{1}, \ldots , a_{k}\right\rangle and ⟨ak+1,…,an⟩\left\langle a_{k+1}, \ldots , a_{n}\right\rangle.

?
Problem 51.16

Prove that configurations of two flats

{a1+L1,a2+L2} and {a1′+L1′,a2′+L2′} \left\{ a_{1}+L_{1}, a_{2}+L_{2}\right\} \quad \text{ and } \quad \left\{ a_{1}^{\prime }+L_{1}^{\prime }, a_{2}^{\prime }+L_{2}^{\prime }\right\}

in a Euclidean space are metrically congruent if and only if ρ(a1+L1,a2+L2)=ρ(a1′+L1′,a2′+L2′)\rho \left(a_{1}+L_{1}, a_{2}+L_{2}\right)=\rho \left(a_{1}^{\prime }+L_{1}^{\prime }, a_{2}^{\prime }+L_{2}^{\prime }\right), and the configurations of subspaces L1,L2,L1′,L2′L_{1}, L_{2}, L_{1}^{\prime }, L_{2}^{\prime } are orthogonally congruent in the corresponding Euclidean vector space.

?
Problem 51.17

Determine whether the given pairs of flats are metrically congruent in a Euclidean space:

?
(a)

P1=(0,9,8,−12,11)+⟨(0,2,2,2,1),(3,1,1,1,−1)⟩P_{1}=(0,9,8,-12,11)+\langle (0,2,2,2,1),(3,1,1,1,-1)\rangle, P2=(−3,−4,−5,11,−12)+⟨(7,5,−5,−1,−5),(3,5,−1,11,13)⟩;P_{2}=(-3,-4,-5,11,-12)+\langle (7,5,-5,-1,-5),(3,5,-1,11,13)\rangle ;

(b)

Q1=(2,−5,−11,−8,−10)+⟨(2,−1,1,−1,1),(2,−2,1,0,1)⟩Q_{1}=(2,-5,-11,-8,-10)+\langle (2,-1,1,-1,1),(2,-2,1,0,1)\rangle, Q2=(8,8,10,9,11)+⟨(0,3,4,−4,−3),(14,−2,−5,3,4)⟩;Q_{2}=(8,8,10,9,11)+\langle (0,3,4,-4,-3),(14,-2,-5,3,4)\rangle ;

(c)

R1=(7,−3,−9,−14,5)+⟨(0,0,0,1,2),(2,−1,2,0,−6)⟩R_{1}=(7,-3,-9,-14,5)+\langle (0,0,0,1,2),(2,-1,2,0,-6)\rangle, R2=(0,10,9,14,−5)+⟨(1,7,2,0,6),(4,−1,0,2,−2)⟩R_{2}=(0,10,9,14,-5)+\langle (1,7,2,0,6),(4,-1,0,2,-2)\rangle.

Problem 51.18

Find, in a Euclidean space, the locus of points through which a line can be drawn meeting the flats P1,P2P_{1}, P_{2} and perpendicular to these flats:

?
(a)

P1=(1,2,−1,−9,−13)+⟨(2,3,7,10,13),(3,5,11,16,21)⟩P_{1}=(1,2,-1,-9,-13)+\langle (2,3,7,10,13),(3,5,11,16,21)\rangle, P2:{3x1−5x2+2x3−x4+x5=−22,2x1+4x2+3x3−x4−3x5=−4,9x1+3x2+x3−2x4−2x5=−138;P_{2}: \begin{cases} 3 x_{1}-5 x_{2}+2 x_{3}-x_{4}+x_{5}=-22, \\ 2 x_{1}+4 x_{2}+3 x_{3}-x_{4}-3 x_{5}=-4, \\ 9 x_{1}+3 x_{2}+x_{3}-2 x_{4}-2 x_{5}=-138 ; \end{cases}

(b)

P1=(3,7,2,4,−3)+⟨(2,5,4,5,3),(4,5,6,3,3)⟩P_{1}=(3,7,2,4,-3)+\langle (2,5,4,5,3),(4,5,6,3,3)\rangle, P2:{−3x1+2x2+x3−2x4+x5=−14,6x1−x2−4x3+2x4−x5=16,2x1−x2+2x4−3x5=26.P_{2}: \begin{cases} -3 x_{1}+2 x_{2}+x_{3}-2 x_{4}+x_{5}=-14, \\ 6 x_{1}-x_{2}-4 x_{3}+2 x_{4}-x_{5}=16, \\ 2 x_{1}-x_{2}+2 x_{4}-3 x_{5}=26. \end{cases}

Problem 51.19

Prove that:

?
(a)

if a motion of a Euclidean space has two skew invariant flats, then it has a fixed point;

(b)

a motion ff of an nn-dimensional Euclidean space having a fixed point has two skew invariant flats of positive dimension, if ff is proper, n⩾5n \geqslant 5, and odd, or ff is improper, n⩾4n \geqslant 4, and even.

Problem 51.20

Let a0,a1,…,asa_{0}, a_{1}, \ldots , a_{s} and b0,b1,…,bsb_{0}, b_{1}, \ldots , b_{s} be two sets of points in a Euclidean space. Prove that a motion taking each point aia_{i} to the point bib_{i} exists if and only if ρ(ai,aj)=ρ(bi,bj)(i,j=1,…,s)\rho \left(a_{i}, a_{j}\right)=\rho \left(b_{i}, b_{j}\right)(i, j=1, \ldots , s).

?
Problem 51.21

Prove that for every motion ff of a Euclidean space, the set of points aa at which the minimum of the distance ρ(a,f(a))\rho (a, f(a)) is attained is a flat invariant under ff, and that the restriction of ff to this flat is a translation.

?
Problem 51.22

Prove that if, for two tetrahedra in a three-dimensional Euclidean space, the corresponding dihedral angles are equal, then these tetrahedra are similar.

?
Problem 51.23

Give a geometric description of the proper motion ff of Euclidean space, if:

?
(a)

Df=(01−10),f(O)=(−2,4);D f=\left(\begin{array}{rr}0 & 1 \\ -1 & 0\end{array}\right), \quad f(O)=(-2,4) ;

(b)

Df=12(1−111),f(O)=(1,1)D f=\frac{1}{\sqrt{2}}\left(\begin{array}{rr}1 & -1 \\ 1 & 1\end{array}\right), \quad f(O)=(1,1);

(c)

Df=13(2−1222−1−122),f(O)=(1,0,−1)D f=\frac{1}{3}\left(\begin{array}{rrr}2 & -1 & 2 \\ 2 & 2 & -1 \\ -1 & 2 & 2\end{array}\right), \quad f(O)=(1,0,-1);

(d)

Df=19(41−87444−81),f(O)=(−1,−7,2)D f=\frac{1}{9}\left(\begin{array}{rrr}4 & 1 & -8 \\ 7 & 4 & 4 \\ 4 & -8 & 1\end{array}\right), \quad f(O)=(-1,-7,2);

(e)

Df=17(−2366−2336−2),f(O)=(−2,4,1)D f=\frac{1}{7}\left(\begin{array}{rrr}-2 & 3 & 6 \\ 6 & -2 & 3 \\ 3 & 6 & -2\end{array}\right), \quad f(O)=(-2,4,1).

Problem 51.24

Give a geometric description of the improper motion ff of Euclidean space, if:

?
(a)

Df=(0110),f(O)=(1,0)D f=\left(\begin{array}{ll}0 & 1 \\ 1 & 0\end{array}\right), \quad f(O)=(1,0);

(b)

Df=12(133−1),f(O)=(1,−3)D f=\frac{1}{2}\left(\begin{array}{cc}1 & \sqrt{3} \\ \sqrt{3} & -1\end{array}\right), \quad f(O)=(1,-\sqrt{3}).

(c)

Df=−19(41−87444−81),f(O)=(1,1,−2)D f=-\frac{1}{9}\left(\begin{array}{rrr}4 & 1 & -8 \\ 7 & 4 & 4 \\ 4 & -8 & 1\end{array}\right), \quad f(O)=(1,1,-2);

(d)

Df=13(22−12−12−122),f(O)=(4,0,2)D f=\frac{1}{3}\left(\begin{array}{rrr}2 & 2 & -1 \\ 2 & -1 & 2 \\ -1 & 2 & 2\end{array}\right), \quad f(O)=(4,0,2);

(e)

Df=13(−122−21−222−1),f(O)=(2,0,0)D f=\frac{1}{3}\left(\begin{array}{rrr}-1 & 2 & 2 \\ -2 & 1 & -2 \\ 2 & 2 & -1\end{array}\right), \quad f(O)=(2,0,0);

(f)

Df=17(−23636−26−23),f(O)=(−3,1,2)D f=\frac{1}{7}\left(\begin{array}{rrr}-2 & 3 & 6 \\ 3 & 6 & -2 \\ 6 & -2 & 3\end{array}\right), \quad f(O)=(-3,1,2).