Constant Magnitude
Since
\[|\mathbf a|^2=\mathbf a\cdot\mathbf a,\]
differentiation gives
\[\frac{d}{dt}|\mathbf a|^2=2\mathbf a\cdot\frac{d\mathbf a}{dt}.\]
Therefore, constant magnitude is connected with a zero dot product.
Necessary and Sufficient Conditions for Vector Functions
Constant magnitude and direction are developed through three IOE past-paper proofs. Separate the necessary and sufficient conditions and complete both directions of each result.
Since
\[|\mathbf a|^2=\mathbf a\cdot\mathbf a,\]
differentiation gives
\[\frac{d}{dt}|\mathbf a|^2=2\mathbf a\cdot\frac{d\mathbf a}{dt}.\]
Therefore, constant magnitude is connected with a zero dot product.
For \(\mathbf a\ne\mathbf0\), the unit vector in its direction is
\[\widehat{\mathbf a}=\frac{\mathbf a}{|\mathbf a|}.\]
The direction is constant when
\[\frac{d\widehat{\mathbf a}}{dt}=\mathbf0.\]
If
\[\mathbf a\times\frac{d\mathbf a}{dt}=\mathbf0,\]
then \(d\mathbf a/dt\) is parallel to \(\mathbf a\). Hence, only the magnitude changes and the direction remains fixed.
Prove both directions separately:
Note: Write both parts. One direction alone is not a complete proof.
Prove that the necessary and sufficient condition for a vector function \(\mathbf a\) of a scalar variable \(t\) to have constant magnitude is
Result #1
If \(\vec a\) is a vector function of \(t\), then
Proof of Result #1
Since the dot product is commutative,
Therefore,
We have to prove that
Necessary condition
Assume that the vector function \(\vec a\) has constant magnitude. Therefore, \(|\vec a|\) is a constant.
Hence,
\[|\vec a|^2=c,\qquad c\ \mathrm{is\ a\ constant}.\]Since \(\vec a\cdot\vec a=|\vec a|^2\),
\[\vec a\cdot\vec a=c.\]Differentiating with respect to \(t\),
By Result #1,
\[2\left[\vec a\cdot\frac{d\vec a}{dt}\right]=0.\]Therefore,
\[\vec a\cdot\frac{d\vec a}{dt}=0.\]Sufficient condition
Assume that
\[\vec a\cdot\frac{d\vec a}{dt}=0.\]We have
\[\vec a\cdot\vec a=|\vec a|^2.\]Differentiating both sides with respect to \(t\),
By Result #1,
Therefore,
\[|\vec a|\frac{d|\vec a|}{dt}=\vec a\cdot\frac{d\vec a}{dt}.\]By the assumption in the sufficient condition,
\[|\vec a|\frac{d|\vec a|}{dt}=0.\]Therefore,
If \(|\vec a|=0\), then \(\vec a=0\), the zero vector, which is the trivial case. Hence, for a non-zero vector function,
\[\frac{d|\vec a|}{dt}=0.\]Therefore,
\[|\vec a|\ \mathrm{is\ a\ constant}.\]i.e., \(\vec a\) has constant magnitude.
Prove that the necessary and sufficient condition for a vector function \(\mathbf a\) of a scalar variable \(t\) to have constant direction is
Result #2
If \(\vec a\) is a vector function of \(t\), then
Proof of Result #2
The unit vector along \(\vec a\) is
\[\hat a=\frac{\vec a}{|\vec a|}.\]Therefore,
\[\vec a=|\vec a|\hat a.\tag{1}\]Here, \(|\vec a|\) is a scalar function and \(\hat a\) is a vector function.
For a scalar function \(u\) and a vector function \(\vec v\),
Differentiating (1),
Using the product rule,
Taking the cross product with \(\vec a\),
Distributing the cross product,
Substituting \(\vec a=|\vec a|\hat a\) from (1),
Taking the scalar factors outside,
Since \(\hat a\times\hat a=0\),
Therefore,
We have to prove that
Necessary condition
Assume that the vector function \(\vec a\) has fixed direction.
Therefore, \(\hat a\) has fixed direction.
Also,
\[|\hat a|=1,\]i.e., \(\hat a\) has constant magnitude.
Therefore, \(\hat a\) has constant magnitude and fixed direction.
Hence, \(\hat a\) is a constant vector.
Therefore,
\[\frac{d\hat a}{dt}=0.\tag{1}\]By Result #2,
Using (1),
\[\vec a\times\frac{d\vec a}{dt}=0.\]Sufficient condition
Assume that
\[\vec a\times\frac{d\vec a}{dt}=0.\]By Result #2,
\[|\vec a|^2\left(\hat a\times\frac{d\hat a}{dt}\right)=0.\]Therefore,
If \(|\vec a|^2=0\), then \(\vec a=0\), the zero vector, which is the trivial case. Hence, for a non-zero vector function,
\[\hat a\times\frac{d\hat a}{dt}=0.\tag{2}\]Now,
\[|\hat a|=1.\]i.e., \(\hat a\) has constant magnitude.
By Theorem #1,
\[\hat a\cdot\frac{d\hat a}{dt}=0.\tag{3}\]From (2), \(d\hat a/dt\) is parallel to \(\hat a\).
From (3), \(d\hat a/dt\) is perpendicular to \(\hat a\).
Equations (2) and (3) are possible simultaneously only if
\[\frac{d\hat a}{dt}=0.\]Therefore, \(\hat a\) is a constant vector.
Hence, \(\hat a\) has fixed direction.
Therefore, \(\vec a\) has fixed direction.
Prove that the necessary and sufficient condition for a vector function \(\mathbf a\) of a scalar variable \(t\) to have constant direction is
Result #2
If \(\vec a\) is a vector function of \(t\), then
Proof of Result #2
The unit vector along \(\vec a\) is
\[\hat a=\frac{\vec a}{|\vec a|}.\]Therefore,
\[\vec a=|\vec a|\hat a.\tag{1}\]Here, \(|\vec a|\) is a scalar function and \(\hat a\) is a vector function.
For a scalar function \(u\) and a vector function \(\vec v\),
Differentiating (1),
Using the product rule,
Taking the cross product with \(\vec a\),
Distributing the cross product,
Substituting \(\vec a=|\vec a|\hat a\) from (1),
Taking the scalar factors outside,
Since \(\hat a\times\hat a=0\),
Therefore,
We have to prove that
Necessary condition
Assume that the vector function \(\vec a\) has fixed direction.
Therefore, \(\hat a\) has fixed direction.
Also,
\[|\hat a|=1,\]i.e., \(\hat a\) has constant magnitude.
Therefore, \(\hat a\) has constant magnitude and fixed direction.
Hence, \(\hat a\) is a constant vector.
Therefore,
\[\frac{d\hat a}{dt}=0.\tag{1}\]By Result #2,
Using (1),
\[\vec a\times\frac{d\vec a}{dt}=0.\]Sufficient condition
Assume that
\[\vec a\times\frac{d\vec a}{dt}=0.\]By Result #2,
\[|\vec a|^2\left(\hat a\times\frac{d\hat a}{dt}\right)=0.\]Therefore,
If \(|\vec a|^2=0\), then \(\vec a=0\), the zero vector, which is the trivial case. Hence, for a non-zero vector function,
\[\hat a\times\frac{d\hat a}{dt}=0.\tag{2}\]Now,
\[|\hat a|=1.\]i.e., \(\hat a\) has constant magnitude.
By Theorem #1,
\[\hat a\cdot\frac{d\hat a}{dt}=0.\tag{3}\]From (2), \(d\hat a/dt\) is parallel to \(\hat a\).
From (3), \(d\hat a/dt\) is perpendicular to \(\hat a\).
Equations (2) and (3) are possible simultaneously only if
\[\frac{d\hat a}{dt}=0.\]Therefore, \(\hat a\) is a constant vector.
Hence, \(\hat a\) has fixed direction.
Therefore, \(\vec a\) has fixed direction.