Intereting Posts

A number when successively divided by $9$, $11$ and $13$ leaves remainders $8$, $9$ and $8$ respectively
Not a small, not a big set
Bounds for Waring's Problem
What is the purpose of the $\mp$ symbol in mathematical usage?
Suppose $1\le p < r < q < \infty$. Prove that $L^p\cap L^q \subset L^r$.
Wave Operators: Reducibility
Area of the field that the cow can graze.
Analog of Cramer's conjecture for primes in a residue class
Step Function and Simple Functions
Presentation for hand calculation
Maximum of $\frac{\sin z}{z}$ in the closed unit disc.
Finding the derivatives of inverse functions at given point of c
Prove that $f(x)\in \mathbb{Z}$ such that $f(0)$ and $f(1)$ are odd has no integer roots
Local vs global truncation error
Continuous bijections from the open unit disc to itself – existence of fixed points

Let $\mathbf{u}$ and $\mathbf{v}$ be two 3D unit vectors. The transform that performs reflection in the plane normal to $\mathbf{u}$ is given by

$$

T_{\mathbf{u}}(\mathbf{x}) = \mathbf{x} – 2(\mathbf{x} \cdot \mathbf{u})\mathbf{u}

$$

and similarly, reflection in the plane normal to $\mathbf{v}$ is performed by

$$

T_{\mathbf{v}}(\mathbf{x}) = \mathbf{x} – 2(\mathbf{x} \cdot \mathbf{v})\mathbf{v}

$$

Let $\theta$ be the angle between $\mathbf{u}$ and $\mathbf{v}$, and let $\mathbf{n}$ be the unit vector in the direction of $\mathbf{u} \times \mathbf{v}$. So, then we know that $\cos\theta = \mathbf{u} \cdot \mathbf{v}$, and $\mathbf{u} \times \mathbf{v} = (\sin\theta)\mathbf{n}$.

The composition of these two reflections is a rotation around $\mathbf{n}$ by an angle of $2\theta$ (I believe), and that rotation is given by Rodrigues’ formula:

$$

R(\mathbf{x}) = (\cos2\theta)\mathbf{x} +

(1 – \cos2\theta)(\mathbf{x} \cdot \mathbf{n})\mathbf{n} +

(\sin 2\theta)(\mathbf{x} \times \mathbf{n})

$$

It seems to me that we ought to be able to prove from first principles that

$$

T_{\mathbf{u}}\big( T_{\mathbf{v}}(\mathbf{x}) \big) = R(\mathbf{x})

$$

I’ve slogged through pages of vector algebra for a few hours, but to no avail. It’s depressing — I used to be good at this stuff, but apparently not any more. I’d like a proof that uses nothing but elementary vector arithmetic, and I’d like it to be coordinate-free, please.

**Edit**

- How to create circles and or sections of a circle when the centre is inaccessible
- Simple proof that equilateral triangles have maximum area
- Polynomial passing through two points with specific tangents
- Representing rational quadratic Bezier with non-rational cubic
- Prove by elementary methods: the plane cannot be covered by countably many copies of the letter “Y”
- I want to study mathematics ahead of high school, but I found that I'm rusty on the elementary stuff

As a couple of people have mentioned, it seems sensible to work in the $\mathbf{u}\text{-}\mathbf{v}\text{-}\mathbf{n}$ coordinate system. This doesn’t violate my “coordinate free” requirement as long as we don’t start writing out explicit coordinates for $\mathbf{u}$, $\mathbf{v}$ and $\mathbf{n}$. The vector $R(\mathbf{x}) – \mathbf{x}$ should be entirely in the

$\mathbf{u}\text{-}\mathbf{v}$ plane, so all of its $\mathbf{n}$ terms must vanish, and we should be left with an expression that involves only $\mathbf{u}$ and $\mathbf{v}$, which (I hope) will give us the link to the reflections. The algebraic grunt-work involved is what’s giving me trouble.

- Why does volume go to zero?
- How unique (on non-unique) are U and V in Singular Value Decomposition (SVD)?
- If $\alpha_{1},\ldots,\alpha_{m}$ are vectors different from zero vector, then there is a linear functional $f$ such that $f(\alpha_{i})\neq 0$
- Could Euclid have proven that multiplication of real numbers distributes over addition?
- Geometric intuition of adjoint
- Normal Operators: Polar Decomposition (Rudin)
- Necessary condition of a vector space having only one basis?
- Counting number of sequences under cyclic permutation
- Average Degree of a Random Geometric Graph
- What is the equation for a 3D line?

Write $c := \cos\theta$, $s := \sin\theta$, $\mathbf{w} := \mathbf{u}\times\mathbf{v} = s\mathbf{n}$, and $T := T_\mathbf{u}\left(T_\mathbf{v}\right)$, so that we have …

$$\begin{align}

T(\mathbf{x}) &=\mathbf{x}-2(\mathbf{x}\cdot\mathbf{u})\mathbf{u}-2(\mathbf{x}\cdot\mathbf{v})\mathbf{v} + 4c(\mathbf{x}\cdot\mathbf{v})\mathbf{u}\\

R(\mathbf{x}) &= (2c^2-1)\mathbf{x} + 2 s^2 (\mathbf{x}\cdot\mathbf{n}) \mathbf{n} + 2 s c (\mathbf{x}\times\mathbf{n}) \\

&= (2c^2-1)\mathbf{x} + 2 (\mathbf{x}\cdot\mathbf{w})\mathbf{w} + 2 c (\mathbf{x}\times\mathbf{w}) \\

\end{align}$$

Decomposing $\mathbf{x}$ as $p\mathbf{u} + q\mathbf{v} + r \mathbf{w}$, we can get fairly directly …

$$\mathbf{x}\cdot\mathbf{u} = p + q c \qquad \mathbf{x}\cdot\mathbf{v}=pc+q \qquad \mathbf{x}\cdot\mathbf{w}=rs^2 \qquad (\star)$$

$$\mathbf{x}\times\mathbf{w} = \mathbf{x}\times \left(\mathbf{u}\times\mathbf{v}\right) = (\mathbf{x}\cdot\mathbf{v})\mathbf{u}-(\mathbf{x}\cdot\mathbf{u})\mathbf{v} \qquad (\star\star)$$

Then it’s straightforward to show that the difference of the transformations vanishes:

$$\begin{align}

T(\mathbf{x}) – R(\mathbf{x}) &=\mathbf{x}-2(p+qc)\mathbf{u}-2(pc+q)\mathbf{v} + 4c(pc+q)\mathbf{u}\\

&-\left( (2c^2-1)\mathbf{x} + 2 r s^2 \mathbf{w} + 2 c \left( (pc+q)\mathbf{u} – (p+qc)\mathbf{v} \right) \right) \\[6pt]

&= (2-2c^2)\;\mathbf{x} + 2 \left(-p-qc+2pc^2+2qc-pc^2-qc\right)\;\mathbf{u} \\

&+ 2\left(-pc-q+pc+qc^2\right)\mathbf{v} – 2 r s^2 \mathbf{w} \\[6pt]

&= 2 s^2 \left( \mathbf{x} – p\mathbf{u} – q \mathbf{v} – r\mathbf{w} \right) \\[6pt]

&= 0

\end{align}$$

and we conclude that the transformations are equivalent. $\square$

**Edit.** Without jumping immediately to the decomposition of $\mathbf{x}$, we can use the expansion in $(\star\star)$ to write

$$\begin{align}

\frac{T(\mathbf{x})-R(\mathbf{x})}{2s^2} \;\;&=\;\; \mathbf{x}

\;-\; \left( \; \frac{\mathbf{x}.( \mathbf{u} – c \mathbf{v} )}{s^2}\;\mathbf{u}

\;+\; \frac{\mathbf{x}.( \mathbf{v} – c \mathbf{u} )}{s^2}\;\mathbf{v}

\;+\; \frac{\mathbf{x}.\mathbf{w}}{s^2}\;\mathbf{w} \;\right)

\end{align}$$

If you can “see” that the coefficients of $\mathbf{u}$, $\mathbf{v}$, $\mathbf{w}$ are the components of $\mathbf{x}$ —which would be clear for orthogonal $\mathbf{u}$ and $\mathbf{v}$, for which $c=0$ and $s=1$— then you’re done. If not, note that you can arrive at this insight by solving the dot-product equations $(\star)$ for $p$, $q$, $r$.

As long as you are not obliged to use your formulae for $T_{\bf u}({\bf x})$ and so on, there is a very easy approach to this.

Any reflection in ${\Bbb R}^3$ is represented by an orthogonal matrix of determinant $-1$. Any rotation in ${\Bbb R}^3$ is represented by an orthogonal matrix of determinant $+1$. Multiply two of the former and you get one of the latter. . .

Not sure if that satisfies the requirements in your last sentence though.

Restricted to any plane perpendicular to the line of intersection of the reflection planes, the reflections are a pair of orientation reversing isometries fixing the same point. Their composition is thus an orientation preserving isometry fixing one point: a rotation. To see what the rotation angle must be, track the effect of each rotation on angles around the fixed point.

This argument works for pairs of orthogonal reflections across $(n-1)$ dimensional hyperplanes in $n$ dimensional Euclidean space, since the $(n-2)$ dimensions in the intersection of the planes are frozen out leaving a $2$-d problem.

Reflection operators $P$ and $Q$ on $\mathbb{R}^n$ satisfy

$\qquad P = P^T$

$\qquad Q = Q^T$

$\qquad P^2 = Q^2 = I$

$\Rightarrow$

$\qquad (PQ)^T PQ = Q^T P^T PQ = Q^T(P^T P)Q = Q^TQ = I$

i.e. $PQ$ is orthogonal. It also has determinant 1, so is a

rotation .

(By the way, “*Every* rotation is the result of … an even number of reflections”

— reflection .)

- Characterization of positive definite matrix with principal minors
- Good description of orbits of upper half plane under $SL_2 (Z)$
- Convergence or divergence of $\sum_{k=1}^{\infty} \left(1-\cos\frac{1}{k}\right)$
- Common misconceptions about math
- The complement of a torus is a torus.
- How to show $\gamma$ aka Euler's constant is convergent?
- Understanding vector projection
- Delta-Epsilon Proofs
- Topologically distinguishing Mobius Strips based on the number of half-twists
- Frobenius coin problem
- Bounding error of Padé approximation
- Calculate the area of the ellipsoid obtained from ellipse $\frac {x^{2}}{2}+y^{2} = 1$ rotated around the $x$-axis
- Compute this integral
- $\angle ABD=38°, \angle DBC=46°, \angle BCA=22°, \angle ACD=48°,$ then find $\angle BDA$
- Differentiate $\sin \sqrt{x^2+1} $with respect to $x$?