If were rational, squaring would make rational, a contradiction. Also
so it is irrational but algebraic, satisfying .
For lattice vertices , the triangle area is
a half-integer. Triangulating a convex lattice polygon from one vertex makes its area rational.
A regular octagon of side length has area . Lattice endpoints make a positive integer, so this area would be irrational, contradicting the preceding result. Hence no such octagon exists.
Put , , and . At impact the unit vector from A to B is . The impulse is normal, so tangential velocity is unchanged, while the normal components undergo a one-dimensional elastic collision. Therefore
Newton's equation and its energy integral are
Thus
Let . Near the maximum,
and the nearby turning point has distance from . The singular part of the period is an integral:
Hence
Physically, the limiting orbit approaches the unstable equilibrium at the barrier top with vanishing speed and spends arbitrarily long there.
The series converges when its partial sums tend to a finite real limit. Put . Then
by strict concavity of the square root. Taylor expansion at gives
so . Limit comparison with proves convergence.
With ,
Differentiation with respect to proper time gives
Orthogonality implies that in the instantaneous rest frame . For collinear motion a Lorentz boost gives
For constant positive proper acceleration ,
This hyperbola has future null asymptote . A right-moving signal emitted from at follows ; if , it lies beyond that acceleration horizon and never intersects the worldline.
For axis unit vector ,
For a body, replace the sum by .
For the hollow ball,
Energy conservation and give
The factor increases with , so if , ball B accelerates more and arrives first. Moving the cavity off centre removes material with a larger lever arm and lowers the moment of inertia about the centre of mass; despite the resulting wobble, ball C therefore rolls down faster than A.
Binet's equation gives
Consequently

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