Let \(ABCD\) be a parallelogram. By using vectors, or otherwise, prove that:
\(AB^{2}+BC^{2}+CD^{2}+DA^{2}=AC^{2}+BD^{2}\);
\(|AC^{2}-BD^{2}|\) is 4 times the area of the rectangle whose sides are any side of the parallelogram and the projection of an adjacent side on that side.
State and prove a result like \((ii)\) about \(|AB^{2}-AD^{2}|\) and the diagonals.
Show Solution
Set up coordinates such that \(A\) at the origin and \(\vec{AB} = \mathbf{x}\) and \(\vec{AD} = \mathbf{y}\) and so \(\vec{AC} = \mathbf{x}+\mathbf{y}\)
\begin{align*}
AC^2 -BD^2 &= (\mathbf{x}+\mathbf{y})\cdot (\mathbf{x}+\mathbf{y}) - (\mathbf{y}-\mathbf{x})\cdot(\mathbf{y}-\mathbf{x}) \\
&= 4 \mathbf{x}\cdot \mathbf{y}
\end{align*}
\(\mathbf{x}\cdot\mathbf{y} = |\mathbf{x}||\mathbf{y}|\cos \theta\) which is exactly the lenth of one side mutliplied by the length of the projection to that same side.
\begin{align*}
AB^2 - AD^2 &= \mathbf{x}\cdot\mathbf{x} - \mathbf{y}\cdot \mathbf{y} \\
&= (\mathbf{x}+\mathbf{y})\cdot(\mathbf{x}-\mathbf{y}) \\
&= AC \cdot BD
\end{align*}
So this is the area of the rectangle formed by the length of one diagonal and the projection of the other diagonal onto it.
The distinct points \(O\,(0,0,0),\) \(A\,(a^{3},a^{2},a),\) \(B\,(b^{3},b^{2},b)\) and \(C\,(c^{3},c^{2},c)\) lie in 3-dimensional space.
Prove that the lines \(OA\) and \(BC\) do not intersect.
Given that \(a\) and \(b\) can vary with \(ab=1,\) show that \(\angle AOB\) can take any value in the interval \(0<\angle AOB<\frac{1}{2}\pi\), but no others.
In the triangle \(OAB,\) \(\overrightarrow{OA}=\mathbf{a},\) \(\overrightarrow{OB}=\mathbf{b}\)
and \(OA=OB=1\). Points \(C\) and \(D\) trisect \(AB\) (i.e. \(AC=CD=DB=\frac{1}{3}AB\)).
\(X\) and \(Y\) lie on the line-segments \(OA\) and \(OB\) respectively, in such a way that \(CY\) and \(DX\) are perpendicular, and \(OX+OY=1\).
Denoting \(OX\) by \(x\), obtain a condition relating \(x\) and \(\mathbf{a\cdot b}\), and prove that
\[
\frac{8}{17}\leqslant\mathbf{a\cdot b}\leqslant1.
\]
If the angle \(AOB\) is as large as possible, determine the distance \(OE,\) where \(E\) is the point of intersection of \(CY\) and \(DX\).
\(ABCD\) is a skew (non-planar) quadrilateral, and its pairs of opposite sides are equal, i.e. \(AB=CD\) and \(BC=AD\). Prove that the line joining the midpoints of the diagonals \(AC\) and \(BD\) is perpendicular to
each diagonal.
Let \(\mathbf{a}\) denote the vector position of \(A\) and similarly for \(B, C, D\). Then we know that \((\mathbf{b}-\mathbf{a})\cdot(\mathbf{b}-\mathbf{a})=(\mathbf{c}-\mathbf{d})\cdot(\mathbf{c}-\mathbf{d})\) and \((\mathbf{b}-\mathbf{c})\cdot(\mathbf{b}-\mathbf{c})=(\mathbf{a}-\mathbf{d})\cdot(\mathbf{a}-\mathbf{d})\).
Subtracting these two equations we see that \(|\mathbf{a}|^2 -2\mathbf{a}\cdot\mathbf{b}+2\mathbf{c}\cdot\mathbf{b} - |\mathbf{c}|^2 = |\mathbf{c}|^2-2\mathbf{c}\cdot\mathbf{d}+2\mathbf{a}\cdot\mathbf{d}-|\mathbf{a}|^2\) or
\(2|\mathbf{a}|^2 -2\mathbf{a}\cdot\mathbf{b}+2\mathbf{c}\cdot\mathbf{b} - 2|\mathbf{c}|^2 +2\mathbf{c}\cdot\mathbf{d}-2\mathbf{a}\cdot\mathbf{d}=0\)
The midpoints of the diagonals \(AC\) and \(BD\) are \(\frac{\mathbf{a}+\mathbf{c}}{2}\) and \(\frac{\mathbf{b}+\mathbf{d}}{2}\), so the line is parallel to: \(\mathbf{a}-\mathbf{b}+\mathbf{c}-\mathbf{d}\). The diagonals are parallel to \(\mathbf{a}-\mathbf{c}\) and \(\mathbf{b}-\mathbf{d}\).
So it suffices to prove that \((\mathbf{a}-\mathbf{b}+\mathbf{c}-\mathbf{d}) \cdot (\mathbf{a}-\mathbf{c}) = 0\) (since the other will follow by symmetry,
\begin{align*}
(\mathbf{a}-\mathbf{b}+\mathbf{c}-\mathbf{d}) \cdot (\mathbf{a}-\mathbf{c}) &= |\mathbf{a}|^2-\mathbf{a}\cdot\mathbf{b}-\mathbf{a}\cdot \mathbf{d}+\mathbf{b}\cdot \mathbf{c}-|\mathbf{c}|^2+\mathbf{c}\cdot \mathbf{d} \\
\end{align*}
But this is exactly half the equation we determined earlier, so we are done.
\(ABC\) is a triangle whose vertices have position vectors \(\mathbf{a,b,c}\)brespectively, relative to an origin in the plane \(ABC\). Show that an arbitrary point \(P\) on the segment \(AB\) has position vector
\[
\rho\mathbf{a}+\sigma\mathbf{b},
\]
where \(\rho\geqslant0\), \(\sigma\geqslant0\) and \(\rho+\sigma=1\).
Give a similar expression for an arbitrary point on the segment \(PC\), and deduce that any point inside \(ABC\) has position vector
\[
\lambda\mathbf{a}+\mu\mathbf{b}+\nu\mathbf{c},
\]
where \(\lambda\geqslant0\), \(\mu\geqslant0\), \(\nu\geqslant0\) and
\(\lambda+\mu+\nu=1\).
Sketch the region of the plane in which the point \(\lambda\mathbf{a}+\mu\mathbf{b}+\nu\mathbf{c}\)
lies in each of the following cases:
Suppose \(P\) is a fraction \(0 \leq k\leq 1\) along \(AB\), then \(\overrightarrow{OP} = \overrightarrow{OA} +\overrightarrow{AP} = \overrightarrow{OA} +k\overrightarrow{AB} = \mathbf{a} + k(\mathbf{b} - \mathbf{a}) = \lambda \mathbf{b} + (1-k) \mathbf{a}\), ie an arbitrary point on \(AB\) has the position vector where \((1-k) = \rho \geq 0\) and \(k= \sigma \geq 0\) and \((1-\lambda) + \lambda = 1\).
Any point on the segment \(PC\) will be of the form \(l\mathbf{c} + (1-l) (k \mathbf{b} + (1-k) \mathbf{a})\) which has the form \(\lambda \mathbf{a} + \mu \mathbf{b} + \nu \mathbf{c}\) where \(\lambda + \mu + \nu = (1-l)(1-k) + (1-l)k + l = 1\) and all coefficients are positive.
This is equivalent to the area inside the triangle where every point (\(\mathbf{a}, \mathbf{b}, \mathbf{c}\)) has been send to it's negative (\(-\mathbf{a}, -\mathbf{b}, -\mathbf{c}\)),
ie
Writing points as:
\begin{align*}
\lambda\mathbf{a}+\mu\mathbf{b}+\nu\mathbf{c} &= (1-\mu - \nu)\mathbf{a}+\mu\mathbf{b}+\nu\mathbf{c} \\
&= \mathbf{a} + (-\mu)(\mathbf{a}-\mathbf{b}) + (-\nu)(\mathbf{a} - \mathbf{c}) \\
&= \mathbf{a} + (-\mu)(\mathbf{a}-\mathbf{b}) + (-\nu)(\mathbf{a} - \mathbf{c}) + (1+\mu+\nu)\mathbf{0}\\
\end{align*}
So this is a translation of \(\mathbf{a}\) of the triangle with vertices at \(\mathbf{0}, \mathbf{a-b}, \mathbf{a-c}\), or a triangle with vertices \(\mathbf{a}, 2\mathbf{a-b}, 2\mathbf{a-c}\).
Let \(\mathbf{r}\) be the position vector of a point in three-dimensional space. Describe fully the locus of the point whose position vector is \(\mathbf{r}\) in each of the following four cases:
Prove algebraically that the equations \((i)\) and \((ii)\) together are equivalent to \((iii)\) and \((iv)\) together.
Explain carefully the geometrical meaning of this equivalence.
Show Solution
\(\mathbf{n} \cdot \mathbf{r} = 0\) is the equation of a plane with normal \(\mathbf{n}\).
\(\mathbf{n} \cdot (\mathbf{r}-\mathbf{a}) = 0\) is the equation of a plane through \(\mathbf{a}\) with normal \(\mathbf{n}\).
Our expression is:
\begin{align*}
&& \left(\mathbf{a-b}\right) \cdot \mathbf{r}&=\frac{1}{2}(\left|\mathbf{a}\right|^{2}-\left|\mathbf{b}\right|^{2}) \\
&&&=\frac{1}{2}(\mathbf{a}-\mathbf{b})\cdot(\mathbf{a}+\mathbf{b}) \\
\Leftrightarrow && \left(\mathbf{a-b}\right) \cdot \left ( \mathbf{r} - \frac12 (\mathbf{a}+\mathbf{b}) \right) &= 0
\end{align*}
So this is a plane through \(\frac12 (\mathbf{a}+\mathbf{b})\) perpendicular to \(\mathbf{a}-\mathbf{b}\). ie the plane halfway between \(\mathbf{a}\) and \(\mathbf{b}\) perpendicular to the line between them.
This is a sphere centre \(\mathbf{a}\) radius \(\frac1{\sqrt{2}} \left|\mathbf{a-b}\right|\)
This is a sphere centre \(\mathbf{b}\) radius \(\frac1{\sqrt{2}} \left|\mathbf{a-b}\right|\)
Suppose the first two cases are true, then by symmetry it suffices to show that we can prove either of the second cases are true. (Since everything is symmetric in \(\mathbf{a}\) and \(\mathbf{b}\)).
It's useful to note that \(\mathbf{r}\cdot \mathbf{r} = \mathbf{r}\cdot \mathbf{b} + \mathbf{r}\cdot \mathbf{a} -\mathbf{a}\cdot\mathbf{b}\) from the second condition.
\begin{align*}
\left|\mathbf{r-a}\right|^{2} &= \mathbf{r} \cdot \mathbf{r}-2\mathbf{a}\cdot \mathbf{r} + \mathbf{a}\cdot \mathbf{a} \\
&= \mathbf{r}\cdot \mathbf{b} + \mathbf{r}\cdot \mathbf{a} -\mathbf{a}\cdot\mathbf{b} - 2\mathbf{a}\cdot \mathbf{r} + \mathbf{a}\cdot \mathbf{a} \\
&= \mathbf{r} \cdot ( \mathbf{b} - \mathbf{a}) + \mathbf{a} \cdot (\mathbf{a}-\mathbf{b}) \\
&= -\frac{1}{2}(\left|\mathbf{a}\right|^{2}-\left|\mathbf{b}\right|^{2}) + |\mathbf{a}|^2- \mathbf{a}\cdot\mathbf{b} \\
&= \frac{1}{2} |\mathbf{a}-\mathbf{b}|^2
\end{align*}
as required.
To show the other direction, consider
Geometrically, these cases are equivalent, because together they both describe a circle of radius \(\left |\frac12 \left ( \mathbf{a} - \mathbf{b}\right) \right|\) in the plane halfway between \(\mathbf{a}\) and \(\mathbf{b}\)