Since is a prime number, the Wilson theorem states that . But , so the modular inverse of , which is , gives
The Fermat little theorem states that when is prime and . Therefore , and
since . Combining these modular congruences,
This representative lies between and , so it is the least nonnegative residue.
At infinity the potential energy tends to zero, so the conserved mechanical energy is . The impact parameter is the perpendicular distance from the origin to the incoming asymptotic line. Conservation of angular momentum gives .
For , a turning point of the radial motion satisfies
Only the positive root is physical, giving
For this reduces to the straight-line closest distance .
For nonzero , put . If , the numerator is , so
If , rationalize the numerator instead:
Thus the requested leading distances are
Repulsion gives a finite barrier even for zero impact parameter; attraction allows much closer passage. At , the attractive formula has the limiting closest distance zero, corresponding to collision with the singular centre rather than a positive turning point.
The radial energy equation is , so motion requires . For and , the effective potential minimum and its limiting value zero at infinity imply
At the lower endpoint the particle stays at , giving a circular orbit. Strictly between that endpoint and zero, two positive turning points confine the radial motion. For below the minimum there is no allowed motion, while does not give a radially bounded orbit.
Write and . At each turning point , so
The smaller and larger roots give the periapsis distance and apoapsis distance:
They coincide for the circular orbit. Their sum and product are
The speed satisfies , which decreases strictly with because . Thus its maximum is at the periapsis and its minimum at the apoapsis. At either endpoint the radial velocity vanishes, so . Therefore the apsidal speed sum for an attractive inverse-square orbit is
Hence . Individually, and , also valid when the orbit is circular.
For , the inertia component is . Reflecting just one of these coordinates preserves the cylinder and its uniform density but changes the integrand's sign. Odd-integrand cancellation by reflection therefore makes every off-diagonal entry zero. Rotations about the axis also give .
Using cylindrical coordinates , , , with , the required integrals are
Thus the inertia tensor is
The mass is , so these entries are also , respectively.
Let be rotation about the third axis, so invariance means . At , its diagonal signs are ; each mixed entry changes sign and must vanish.
For the remaining planar block , the quarter-turn gives
Hence and . Writing the constants as gives
Conversely, commutes with every planar rotation, so every displayed matrix is invariant under every rotation about the axis. This is an oriented-axis invariant Cartesian tensor. Symmetry was not assumed, so the antisymmetric parameter need not vanish.
A Cartesian second-rank tensor has components in every orthonormal Cartesian frame that transform according to
when vector components transform as for an orthogonal matrix . Repeated indices are summed. If in one frame, their transformed difference is , so their equality holds in every such frame, at the same physical point.
Now impose the scalar contraction hypothesis on . For every tensor , invariance in the two frames says
At a fixed point, choose the components of to be each matrix unit in turn; each is an admissible tensor once its components in other frames are transformed. Thus every coefficient of agrees, yielding , or
Therefore is necessarily a Cartesian second-rank tensor. This is the scalar contraction test for a Cartesian tensor. Testing all tensors, rather than only symmetric tensors, is essential to the proof.
A subgroup is a normal subgroup if for every .
Place the cube with its opposite-face axes along the coordinate axes. Consider
The three nonidentity elements are the half-turns about those axes. Multiplying two different ones gives the third, and each squares to the identity, so this is a Klein four-group of order four.
Every cube rotation permutes the three pairs of opposite faces. The associated group homomorphism has exactly as its kernel: fixing all three face-axis pairs allows only independent sign changes of the three coordinate directions, with determinant one. Hence the kernel of the cube face-axis action is a normal subgroup, and
For a finite group action, the orbit-stabilizer theorem states
The bijection explains the formula by identifying cosets with the group orbit.
The cube rotation group acts transitively on its six faces. A rotation fixing one face fixes its center and its outward normal, so its axis is the line joining that center to the opposite face's center. The allowed rotations are the four multiples of about this axis. Thus the stabilizer subgroup is , and
The face-pair orbits of cube rotations are the ordered equal-face pairs, opposite-face pairs, and adjacent-face pairs. These relations are preserved by every cube rotation. The first two families are transitive because the face action is transitive and the opposite face is uniquely determined. For the third, first send the first face to a prescribed face, then use its four quarter-turns to send the neighboring second face to any chosen neighbor. Thus there are exactly three orbits, of sizes
Their sizes sum to .
For column vectors, the second transformation multiplies on the left of the first. Thus the required matrix is , not . Using the rotation matrix convention in part (i),
Indeed, a vector first becomes , and the orthogonal reflection then exchanges its first two entries.
The orthogonal reflection in exchanges the first two coordinates and leaves the third unchanged. Its fixed subspace is the plane, while its normal changes sign. Therefore
This reflection matrix has determinant , as expected.
Use column vectors in a right-handed frame, and interpret clockwise as viewed from the positive -axis towards the origin. The rotation matrix fixes and sends towards . With , its images of the basis vectors give
The transverse block is the planar rotation through . Viewing from the other end of the axis reverses the meaning of clockwise and replaces by ; the viewpoint is not specified in the paper.
Use the same first-sex conditioning as in part (b). The conditional variances are after a male first capture and after a female first capture. Thus
The conditional expected values are and , with probabilities . A variable taking two values with probabilities has variance , so
The law of total variance now gives
At this gives variance , consistent with being one plus a geometric waiting time of parameter .
This is the waiting time to observe both Bernoulli outcomes. Write , and let record the sex of the first captured animal. That first capture is always needed. If is male, every subsequent trial independently produces the required female with probability , so has a geometric distribution with parameter . If is female, has a geometric distribution with parameter . By the law of total expectation,
Since , this simplifies to , or
The expectation includes both the first capture and the final capture completing the pair.
A geometric distribution with parameter on has probability mass function
It counts the trial on which the first success occurs in independent trials with success probability . Its probability generating function is . Differentiating at gives
This support convention is important: a count of failures before the first success would start at zero.
Put and . The polynomial becomes
There are no terms of degree one or two, so the gradient and the entire Hessian matrix vanish at . It is a critical point with singular Hessian matrix. The lowest nontrivial approximation is
understood as the fourth-degree leading term rather than a uniform ratio asymptotic along its zero directions.
On the path the exact value is for . On the path it is for sufficiently small nonzero . Both paths approach the point, where . It is neither a local maximum nor a local minimum; it is a degenerate saddle point of a scalar function. The higher-order saddle test supplies the conclusion the singular Hessian matrix cannot supply.
The gradient components are
If or , their simultaneous zeros give . If , solving , gives . These are all the critical points. The Hessian matrix is
At each of its determinant is , so its two eigenvalues have opposite signs. All three are saddle points of a scalar function. At ,
This point is a strict local maximum, of value .
The zero level set is exactly
These three lines form a triangle containing the maximum. Inside it ; near the maximum positive level sets are nested closed curves, with their leading shapes elliptical because the Hessian matrix is negative definite. At each vertex the zero lines cross, separating alternating signs, and nearby nonzero level sets have hyperbolic branches. For example, the leading quadratic terms are at , for at , and for at .
Figure 1.
Contours of xy(1-x-y), showing three saddle points, the interior maximum, and the three zero lines
. Details.
At a critical point of a twice continuously differentiable function, the linear term in the Taylor expansion vanishes:
The real symmetric Hessian matrix has an orthonormal basis of eigenvectors. If all its eigenvalues are positive, its quadratic term is bounded below by a positive multiple of , giving a strict local minimum. If all are negative, it gives a strict local maximum. If positive and negative eigenvalues both occur, directions along their eigenvectors give values on both sides of , so the point is a saddle point of a scalar function. The non-singularity assumption excludes zero eigenvalues; with them the quadratic test may be inconclusive and higher-order terms are needed.
At the forcing vanishes and the forcing coefficient is . The initial vector decomposes as
Thus , , in part (b), and the requested solution is
Equivalently,
These expressions have the required initial values and solve all three linear ordinary differential equations.
The forcing vector has the eigenvector decomposition
There is no component in the zero eigenvalue direction. The scalar inhomogeneous linear differential equations in this basis are
For the first, a particular solution is . For the third, multiplying by the integrating factor gives . Consequently for every real
When , the resonant component vanishes and a particular solution is , of the stipulated constant-vector form. If , substituting would require . In the eigenbasis the left side has zero component, while the right side has component . This is impossible. The factor is therefore unavoidable: it is resonance in a differential equation.
Write the coefficient matrix as . Its characteristic polynomial is . Corresponding eigenvectors are
with eigenvalues respectively, as direct multiplication verifies. Distinct eigenvalues make these vectors a basis. Expanding a solution as decouples the linear ordinary differential equations into , , . Thus the general solution is

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