For a diagonal matrix, each diagonal entry separately obeys . Hence all four possibilities are
For the second form, gives
Because are linearly independent and , the coefficient forces ; the coefficient then gives . Thus
Both constants are nonzero, as required.
A plane through the three points also contains the origin exactly when their position vectors are linearly dependent. The scalar triple product is
Thus . The resulting plane is , which contains all three points and the origin. The points are not collinear: the differences and cannot be proportional, since their last two components would require . Therefore the plane used in the argument is well defined.
Rearrange as and put . The resulting linear differential equation is , so
The initial condition gives . Its graph is a Gaussian function above the horizontal asymptote , symmetric about , with its maximum there. It rises for and falls for , since .
Choose the cylinder centre's initial position as the coordinate origin, with downhill motion to the right and . For rolling without slipping, the clockwise angular speed is . A point initially vertically above the axis therefore has
A different origin adds constant coordinates without changing the following velocity test. Setting gives and .
For strictly upward motion, and . The first condition fixes ; choose the negative sine branch to maximize . Positivity then requires
At the relevant point is momentarily stationary, not moving upward. Thus a material point inside or on an ordinary cylinder cannot move exactly vertically upward in this motion. The mathematical extension describes the looping trochoid of a point beyond the rolling radius, illustrated in the figure.
Let , and . For distinct centres, the two spherical surfaces intersect exactly when
Strict inequalities give a nondegenerate circle; equality gives a single tangency point. If , equal radii give coincident spheres and unequal radii give no intersection, so the circle-centre formula below does not apply.
Subtracting the squared sphere equations gives the radical plane
The centre of the circle of intersection of two spheres is the projection of either sphere centre onto this plane. Write ; substitution gives and hence
The circle radius squared is , providing another check of the intersection conditions.
Its centre equals precisely when , or . For a positive first radius, the intersection is then a great circle of the first sphere. A triangle from its centre to an intersection point and then to the second centre is right-angled at , explaining the Pythagorean theorem relation geometrically.
Expanding the determinant along its first row gives
The required factorization is
Each factor is a symmetric polynomial. The second is , making its permutation symmetry especially transparent. This factorization holds over both real and complex coefficients.
Let have columns and let have columns . The cross-product formulas defining the reciprocal basis give
provided the original scalar triple product is nonzero. Taking determinants yields the reciprocal basis involution identity
When , the displayed reciprocal vectors are undefined, so there is no additional zero-denominator case to evaluate.

There are unlisted articles, also show them or only show them.