A strongly regular graph with parameters is -regular, with every adjacent pair having common neighbours and every distinct nonadjacent pair having common neighbours. Its adjacency matrix satisfies
On the orthogonal complement of the all-one vector, the two possible eigenvalues are
Using and gives exactly the two displayed expressions for . They are eigenspace dimensions and hence integers, proving the rationality condition.
The Petersen graph has parameters , so its spectrum is
If three Petersen graphs partitioned , their adjacency matrices would satisfy . The five-dimensional eigenvalue-one spaces of and inside the nine-dimensional space intersect nontrivially. For a nonzero common vector , and therefore
contradicting the Petersen spectrum. No such partition exists.
The left side in part (c) is a polynomial in of degree at most . If is even, is a half-integer, so
is not a polynomial and cannot agree with the left side on an interval. This contradiction shows that an everywhere nonzero tangent unit vector field cannot exist on an even-dimensional sphere.
For times , the vector is a linear transformation of the independent Gaussian increments
so Brownian motion is a Gaussian process. Its mean is zero, and for ,
The subdifferential is
If , this inequality says , so minimizes . Conversely, the zero vector satisfies the subgradient inequality at any global minimizer.
Along a periodic orbit the vector field is tangent and makes one full turn, so its index around the orbit is . If the enclosed region contained no fixed point, the normalized vector field would extend continuously across the disc and its boundary map would have degree zero. This contradicts the index . Thus every planar periodic orbit encloses a fixed point.
On , ; on , . On , the identity gives a negative outward component because . On , one has . Finally, the sloping edge has outward normal proportional to , and there
Thus the vector field points inward or is tangent on every edge, so trajectories cannot leave the closed polygon .
The power method starts from and iterates
If the eigenvalue of largest modulus is separated by a spectral gap and the initial vector is nonorthogonal to a corresponding eigenvector, the iterates converge in direction to that eigenvector.
Inverse iteration with shift instead solves
It applies the power method to and therefore finds an eigenvector whose eigenvalue is closest to .
Let and be the first and last columns of . Since is upper triangular,
Thus is the normalized th power method iterate starting from .
Taking the transpose of and using symmetry gives . Therefore
So the last column is the normalized th inverse iteration iterate with shift zero and starting vector .
Taking the parallelogram spanned by as base gives base area and height . A tetrahedron has one third of the corresponding pyramid volume and the triangle has half the parallelogram base, hence
The reciprocal vectors are
which directly satisfy .
The distinguished unit vector is . Comparing diagonal, symmetric off-diagonal, and antisymmetric parts gives
so .
An eigenvalue is a scalar for which contains a nonzero vector; that kernel is its eigenspace. The characteristic polynomial has degree , so the fundamental theorem of algebra supplies at least one complex root and hence an eigenvalue. Its eigenspace dimension can be any integer from to .
The eigenvalue equation is , so
This is a nonzero square-summable vector exactly when and . Hence every point of the open unit disc is an eigenvalue, with the displayed one-dimensional eigenspace.
The vectors are eigenvectors of with eigenvalues . Applying the exponential to these eigenspaces gives
The Wronskian is . Abel's identity gives
If , the two column vectors in the displayed representation form a basis of at each . Differentiating the first component and comparing it with the second gives
Substitution in the differential equation gives
Solving this two-by-two system yields
Invertible matrices are closed under multiplication, contain , have associative multiplication, and have inverses by the adjugate formula over the field . The first column can be any nonzero vector and the second any vector outside its span, so
For , the matrix has order three. There is no element of order six: , whose element orders are .
For , is a proper normal subgroup. For , the order-three subgroup in the copy of is proper and normal.
In , take
where is the subgroup of order five. This semidirect product has order and is nonabelian because a nontrivial diagonal element does not commute with translations.
The top and bottom fluxes cancel because is independent of . Parametrise the side by ; its outward vector area is
The term involving integrates to zero, and the remaining integral is
confirming part (a).
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.
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