Professional Documents
Culture Documents
2
In Qn 1– Qn 5, V is a (real) vector space with inner product ⟨∗, ∗⟩, and ∥a∥ = ⟨a, a⟩1/2 for all a ∈ V .
*Qn 1. Suppose a1 , . . . , ak ∈ V are orthogonal vectors: ⟨ai , aj ⟩ = 0 for all i ̸= j . Prove by induction,
or otherwise, that Pythagoras’ Theorem generalises as follows:
∥a1 + · · · + ak ∥2 = ∥a1 ∥2 + · · · + ∥ak ∥2 .
*Qn 2. Show that the converse to Pythagoras’ Theorem holds; ie. if a, b ∈ V are vectors satisfying
∥a + b∥2 = ∥a∥2 + ∥b∥2 then a is orthogonal to b; ie. ⟨a, b⟩ = 0.
*Qn 6. Let A, B, C ∈ Rn be the points with coordinates (1, . . . , 1), (2, 1, . . . , 1), (2, . . . , 2) respectively.
i) Calculate the Euclidean lengths |AB|, |AC|, |BC| of the edges of the triangle △ABC .
ii) Calculate the cosines of the angles ∡ABC, ∡CAB, ∡BCA at the vertices of △ABC . Verify that the
triangle is right-angled, and that Pythagoras’ Theorem holds.
iii) Give the edges and angles of △ABC when n = 2. What happens to the angles as the dimension n
increases?
iv) Use the following formula for the area of the triangle whose vertices have position vectors 0, a, b:
1( )1/2
area = ∥a∥2 ∥b∥2 − (a • b)2
2
to compute the area of △ABC . Does the answer agree with what we would expect from Euclid’s
formula for the area of a triangle?
Qn 10. Let E(n) be the set of Euclidean transformations F : Rn → Rn , defined F (x) = φ(x) + c where
φ ∈ O(n) (the orthogonal part of F ) and c ∈ Rn .
i) Show that every Euclidean transformation is an isometry; ie. E(n) ⊆ Isom(E n ).
ii) Show that E(n) is a subgroup of Isom(E n ); ie. E(n) ≤ Isom(E n ). Hint: orthogonal transformations
are linear, and O(n) is a subgroup of Isom(E n ).
Qn 13. Recall (group theory) that if G is a group and N ◁ G is a normal subgroup then the set G/N
of left cosets of N :
G/N = {gN : g ∈ G}
is a group under the binary operation (aN )(bN ) = abN for all a, b ∈ G (the quotient group), and the
quotient map ν : G → G/N defined ν(g) = gN is a group homomorphism.
Suppose that G = E(n) and N = T (n) (see Qn 11). Show that the restriction of ν to the subgroup
O(n) < E(n) is a group isomorphism.
Hint: you need to show that ν : O(n) → E(n)/T (n) is one-to-one and onto. Recall that a group
homomorphism is one-to-one if and only if its kernel contains only the identity element.