The integrand is even and decays at both infinity and zero, since . On set , a strictly increasing bijection onto the whole real line. Then
Using evenness for the negative half-axis gives
The second summand is an integrable odd function, so its integral vanishes. The remaining Gaussian integral gives
For the second integral use separately on each half-axis. The factor becomes , and reversing the transformed limits yields . Thus
These identities are instances of the Gaussian integral with an inverse-square term. Splitting at zero before either change of variables avoids treating a discontinuous transformation as a single bijection.
Write . At an intersection, , so its scalar triple product with vanishes. The expression in the question is exactly
Under a shift of origin by , the direction vectors stay fixed, while both change by . Thus and the condition are invariant. For nonparallel lines this is also sufficient for intersection; for parallel lines it only asserts coplanarity and need not imply intersection.
Put and . Then and . Bilinearity of the cross product gives
The tetrahedron volume is one sixth of the absolute value of this triple product. Sliding either vertex pair along its line preserves or , because its separation is fixed and the direction vectors are fixed. Thus the volume is unchanged, including the zero-volume coplanar case. This is tetrahedron volume under sliding opposite edges.
Let be the top vertex, the center, and the two other points on the circle. The diameter bisects the angle at , so the two right triangles obtained by drawing the diameter to the opposite point show that have coordinates when and . The chord cuts off a lower circular segment of central angle . The triangle has area , while the segment has area , by subtracting the central triangle from its circular sector. Adding gives
with measured in radians. This is the unit-radius case of the area enclosed by two chords and a circular arc.
Evaluate the absolute values on the three intervals separated by one and two:
The strict inequality therefore holds precisely for
The point on the parabola is . Implicit differentiation gives , so the tangent line has slope one there. Its perpendicular normal line to a plane curve therefore has slope . The required line is
Substituting into gives . The intersection points are and . Their Euclidean distance is

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