Methane in R 4 \mathbb{R}^4 , Part 2

Geometry Level 5

If any two of four nonzero vectors in R 4 \mathbb{R}^4 enclose the same angle θ \theta , find the interval of possible values of cos θ \cos\theta .

Bonus Question : If any two of four nonzero vectors in R n \mathbb{R}^n (where n > 4 n>4 ) enclose the same angle θ \theta , find the interval of possible values of cos θ \cos\theta .

Challenge : Let's write a solution that does not use matrix techniques, to make it accessible to more members.


Part 1

None of the others [ 1 4 , 1 ] \left[-\frac{1}{4},1\right] [ 1 2 , 1 ] \left[-\frac{1}{2},1\right] [ 1 3 , 1 ] \left[-\frac{1}{3},1\right] [ 1 , 1 ] \left [-1,1\right]

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

1 solution

Otto Bretscher
Mar 18, 2016

I will write a solution without using matrices, which will make my work quite a bit longer. I hope the solution will be accessible to those who have not studied Linear Algebra yet.

In what follows, it helps to remember that the angle θ \theta between two non-zero vectors v i v_i and v j v_j in R n \mathbb{R}^n is defined by cos ( θ ) = v i v j v i v j \cos(\theta)=\frac{v_i\cdot v_j}{||v_i||\enspace||v_j||} ; in the numerator we take the dot product of v i v_i and v j v_j .

Let v 1 , . . . , v 4 v_1,...,v_4 be four unit vectors in R n \mathbb{R}^n such that any two of them enclose an angle θ \theta , meaning that v i v j = cos ( θ ) v_i \cdot v_j=\cos(\theta) for i j i \neq j . Then ( v 1 + v 2 + v 3 + v 4 ) ( v 1 + v 2 + v 3 + v 4 ) = 4 + 12 cos ( θ ) 0 (v_1+v_2+v_3+v_4)\cdot (v_1+v_2+v_3+v_4)=4+12\cos(\theta)\geq 0 , so that cos ( θ ) 1 3 \cos(\theta)\geq -\frac{1}{3} .

Converely, for every k k with 1 3 k 1 -\frac{1}{3}\leq k \leq 1 we will show that there exist four nonzero vectors v 1 , . . , v 4 v_1,..,v_4 in R 4 \mathbb{R}^4 such that any two of them enclose an angle θ \theta with cos ( θ ) = k \cos(\theta)=k . Start with four unit vectors w 1 , . . , w 4 w_1,..,w_4 in R 3 \mathbb{R}^3 such that w i w j = 1 3 w_i \cdot w_j=-\frac{1}{3} when i j i\neq j . (You can take the normalized position vectors of the H atoms relative to C in a methane molecule.) Now imbed these vectors into R 4 \mathbb{R}^4 and choose a vector w w orthogonal to the w i w_i with w 2 = a 0 ||w||^2=a\geq 0 . Let v i = w i + w v_i=w_i+w . If θ \theta is the angle between v i v_i and v j v_j , then cos ( θ ) = v i v j v i v j \cos(\theta)=\frac{v_i\cdot v_j}{||v_i||\enspace||v_j||} = a 1 3 a + 1 =\frac{a-\frac{1}{3}}{a+1} , which attains all values on the interval [ 1 3 , 1 ) [-\frac{1}{3},1) as we let a a go from 0 to infinity. If we choose four identical non-zero vectors v i v_i , then cos ( θ ) = 1 \cos(\theta)=1 , of course, showing that the answer is [ 1 3 , 1 ] \boxed{[-\frac{1}{3},1]}

Bonus: The answer and the solution are the same for n > 4 n>4 : The four vectors we found in R 4 \mathbb{R}^4 can be imbedded in R n \mathbb{R}^n for n > 4 n>4 .

Moderator note:

Great answer that relies (mostly) only on an understanding of vectors.

What is meant by imbedding? (Sorry if this is trivial, but I don't know much about n t h n^{th} dimensional Eucledian spaces where n > 3 n>3 )

A Former Brilliant Member - 5 years, 2 months ago

Log in to reply

This is indeed a fancy term for something trivial: You could imbed R 2 \mathbb{R}^2 into R 3 \mathbb{R}^3 for example by mapping ( x , y ) (x,y) to ( x , y , 0 ) (x,y,0) . More generally, you can use any linear transformation that preserves length.

Otto Bretscher - 5 years, 2 months ago

Log in to reply

Thanks. I got it now.

A Former Brilliant Member - 5 years, 2 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...