For fixed , set
At , . Applying the Fibonacci recurrence to every term and cancelling gives . Induction therefore proves
Applying this identity to the relevant pairs of indices and using gives
and
Thus, for ,
and
For ,
If , then the recurrence gives
Induction yields the Fibonacci determinant identity known as Cassini's identity:
Let
By Fermat's little theorem, . If the digit count is a multiple of , then . The cyclic decimal divisibility relation gives
and hence also modulo . Since is coprime to , every is a unit modulo . Therefore
for every . Since , this proves the required equivalence.
As printed, the claim is false: is 7-cyclic-divisible because its rotations are and , but its digits are not all equal to and its length is not a multiple of .
The standard rotation argument proves the likely intended statement. If an -digit integer and all its rotations are divisible by , then for each leading digit ,
is divisible by . The multiplicative order of modulo is . If , then , forcing every digit to be divisible by , hence to be either or . Thus the valid conclusion is:
The counterexample shows why “all its digits are equal to 7” cannot replace the first alternative.
Divisibility by or depends only on the final digit. As the digits are cyclically rotated, every digit appears in the final position. Thus every rotation is divisible by exactly when every digit is divisible by .
A decimal integer is congruent modulo to its digit sum. Cyclic permutation does not change that sum. Hence every rotation of a multiple of is again divisible by .
Again set and write
A boost of velocity gives
Define
The hypothesis says . Put and . Causality gives , while , and , . Therefore
But
Hence at least one of is positive. By continuity, for some physical velocity sufficiently close to that endpoint. In the corresponding inertial frame,
as required.
For a lamina in the -plane,
so the perpendicular axis theorem is immediately
For the uniform ellipse, put , , where . Symmetry of the unit disk gives
and the same for . Hence
The parallel axis theorem says that for an axis through , parallel to the centre-of-mass axis in direction ,
Let
Moments about the axis through add, so
Using and solving gives
when the denominator is nonzero. In the degenerate equal-distance case, this inertia equation alone does not determine ; the centre-of-mass equation supplies the remaining information.
This relation is reflexive and transitive, but not symmetric: whereas . It is therefore not an equivalence relation.
This is an equivalence relation: ; if , then ; and integer differences add. Its classes are
the cosets of in .
The relation is reflexive and symmetric, but not transitive. For example,
while . Hence it is not an equivalence relation.
This is not an equivalence relation because it is not reflexive: , since .
Momentum conservation is . The diagonal bilinears are . The six off-diagonal ones are
and
These express every bilinear invariant through the Mandelstam variables and masses. Expanding and using momentum conservation cancels all mixed products, leaving

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