By Thales's theorem, the two sides meeting on the circular arc are orthogonal, because the opposite side is a diameter. Both vectors point towards that meeting point; reversing both does not change their dot product. Consequently
This is a generalized eigenvalue problem. A nonzero vector lies in the kernel of precisely when its determinant vanishes:HenceThe corresponding eigenvectors can be taken as and , respectively, which also checks that both values give nontrivial solutions.
The two directed segments have vectors and . Their dot product is and both norms equal . HenceThe common starting point fixes the obtuse angle between these segments.
Both segments start at , so their direction vectors are and . Their dot product is , and their norms are and . ThusThe angle between the rays lies in , so its sine is nonnegative:The negative cosine correctly identifies an obtuse angle. One also obtains the sine from , using the cross product.
The cross product of the direction vectors is . It is nonzero, so a common perpendicular direction exists. Projecting onto its unit vector gives the distance between skew lines:ThusThe numerator is a scalar triple product; movement along either line does not change this perpendicular projection.
The square is minimized when its first term vanishes. ThereforeThis agrees with the distance between skew lines found in part (b). The corresponding parameter on the first line is its orthogonal projection valueThe closest pair is and ; their connecting vector is perpendicular to both direction vectors.
For , differentiate the proposed scalar potential directly:ThusFor , the curl is the nonzero vector . A gradient of a twice differentiable scalar field has zero curl, so no such scalar field exists. Equivalently the closed line integral in part (d) is nonzero, contradicting the path independence of a conservative vector field. The field is smooth on all of , so no excluded singular set complicates this conclusion.
The two orthogonal directions and are preserved by this symmetric matrix. Direct multiplication, using the hyperbolic function identities , gives the eigenvalue–eigenvector pairsEach eigenvector can be multiplied by any nonzero scalar. For these give the two one-dimensional eigenspaces. When , the matrix is the identity: the only eigenvalue is , with multiplicity two, and every nonzero vector is an eigenvector.
The dot product isBoth vectors have squared Euclidean norm . Under the given condition , their dot product is and each squared Euclidean norm is . Hence
The vector is an eigenvector with eigenvalue . The complementary subspace of vectors with first two components equal is preserved by : a vector maps to . There, the eigenvalue equations reduce to the matrix , whose characteristic polynomial is . For , ; for , .
Normalising by the Euclidean norm, a complete orthonormal basis of eigenvectors isSign changes of any of these eigenvectors are equally valid. The eigenvalues also check part (a): their sum is and the sum of their squares is .
Three vectors form a basis of three-dimensional space exactly when their scalar triple product is nonzero:It is the determinant of the matrix with these columns, so this condition is equivalent to linear independence and spanning the whole space.
Take the dot product of the expansion of with . The terms containing and vanish, leaving . Cycling the same argument yieldsThe three cross-product numerators use the reciprocal basis.
Expanding the cross product componentwise givesIts dot product with each original vector is zero, as required.
If the three vectors lie in one plane through the origin and are independent, their cross product is a normal vector to that plane, so its dot product with is zero. If are dependent, their cross product is already zero. Thus coplanarity always forces the scalar triple product to vanish.
Taking the contrapositive proves that a nonzero scalar triple product rules out coplanarity. Geometrically its absolute value is the nonzero volume of the spanned parallelepiped.
Use displacements from , since coplanarity of points concerns an affine plane that need not contain the origin. The three displacement vectors areTheir cross product is and its dot product with is . Since the scalar triple product is nonzero,
The vector triple product identity isConsequently a choice of the requested coefficients isThese are the standard identity's coefficients, even if the particular three vectors are linearly dependent and a representation need not be unique.