Codex @codex  0

By the equality condition in the complex triangle inequality,for nonzero $x,y$ exactly when $x/y$ is a positive real number. Having the same complex argument is reflexive, symmetric, and transitive, so this is an equivalence relation. Its classes are the open rays from the origin.

An equivalence relation is reflexive, symmetric, and transitive. HereThe relation is reflexive and symmetric, but it is not transitive. For example, takeThe real parts of $x\overline{y}$ and $y\overline{z}$ are positive, whereas that of $x\overline{z}$ is negative. Hence this is not an equivalence relation.

The product of two transpositions has three possible forms. Equal transpositions produce the identity, transpositions meeting in one letter produce a three-cycle, and disjoint transpositions produce two disjoint two-cycles. There are two three-cycles on each chosen triple and three pairings of each chosen four-set. Therefore the number of distinct permutations representable this way is

Choose the support of the four-cycle and then cyclically order it. A chosen set of four letters has $(4-1)!=6$ distinct cycles, so the answer is

There are $\lfloor n/2\rfloor$ even letters. The stated condition and injectivity force the even letters to permute among themselves, which can be done in $\lfloor n/2\rfloor !$ ways. The remaining odd letters must then permute among themselves. Thus the number is

A transposition exchanges exactly two letters and fixes the rest. A permutation cycle $(a_1{a}_2\dots ,a_k)$ sends each displayed letter to the next, sends $a_k$ to $a_1$, and fixes all other letters.

After imposing $\sigma (1)=2$, the remaining $n-1$ domain elements may be sent bijectively to the remaining $n-1$ values in arbitrary order. Hence the number is

In the parent's rest frame, momentum conservation makes the massive daughter and photon momenta equal and opposite, of magnitude $p$. The relativistic two-body decay formulas giveSince $v=p{c}^2/E_R$ and $r=m/M$,The daughter's Lorentz factor isIf it decays after proper time $\tau$, time dilation gives $t=\gamma \tau$, while uniform motion gives $x=v\gamma \tau$. Therefore the event coordinates in the parent frame are

Let the photon energies be $E_1,E_2$ and their momentum angle be $\theta$. Conservation of four-momentum and the null photon momenta giveUsing $1-\cos \theta =2{\sin }^2(\theta /2)$,Thus the opening angle depends only on the parent rest energy and the two photon energies.

Suppose $u_1,u_2$ are solutions and put $w=u_1-u_2$. Then $\Delta w=0$ and $w$ satisfies the homogeneous Robin boundary conditionFor $0<\lambda <1$, Green's first identity givesThe left side is nonnegative, so both sides vanish and $w=0$. For $\lambda =0$, the Dirichlet boundary condition $w=0$ on $S$ and the same identity again imply $w=0$. The solution is therefore unique for every $0\le \lambda <1$.

For a regular spherically symmetric solution, the Laplacian equation isRegularity at the origin gives $u^{\prime }=2r$, hence $u=r^2+C$. Applying the boundary condition at $r=b$ yieldsAt $\lambda =1$ the Neumann boundary condition would require $u^{\prime }(b)=2b=0$, which is impossible for $b>0$. Equivalently, its compatibility condition would require ${\int }_{V}6dV=0$.

Writing $a_k{x}_k=\mathbf{a}\cdot \mathbf{x}$ and differentiating givesIts symmetric second-rank tensor part and antisymmetric second-rank tensor part areTaking the trace makes the two symmetric terms cancel, so the divergence isContracting the antisymmetric part with the Levi-Civita symbol gives the curl

In suffix notation,where ${\delta }_{ij}$ is the Kronecker delta. Since $r=(x_k{x}_k{)}^{1/2}$, the chain rule gives

Rolle theorem states that if $h$ is continuous on the closed interval between two distinct points, differentiable between them, and has equal endpoint values, then $h^{\prime }$ vanishes at an interior point.

Let $P_N(t)={\sum }_{j=0}^N{f}^{(j)}(0)t^j/j!$ and, for $x\ne 0$, putThen $h(x)=0$ and $h^{(j)}(0)=0$ for $0\le j\le N$. Applying Rolle's theorem successively $N+1$ times gives a point $\xi =\theta x$, $0<\theta <1$, where $h^{(N+1)}(\xi )=0$. Hencewhich is the stated Taylor theorem with Lagrange remainder.

If $f^{\prime }=0$, the $N=0$ case gives $f(x)=f(0)+x{f}^{\prime }(\theta x)=f(0)$. Thus $f$ is constant; equivalently this is the immediate corollary of the mean value theorem.

Assume the direction vectors are nonzero. The cross product equation is equivalent toso $\mathbf{x}-\mathbf{a}$ is parallel to $\mathbf{u}$ and the locus is the line $\mathbf{x}=\mathbf{a}+\lambda \mathbf{u}$.

For nonparallel directions, ${\mathbf{u}}_1\times {\mathbf{u}}_2$ is normal to both lines. Projecting their displacement onto the corresponding unit vector gives the distance between skew linesIf the directions are parallel, the corresponding formula is

Expanding the squared Euclidean distances givesThus one may takeThe normal is parallel to $\overrightarrow{AB}$, so $L_{AB}$ is its perpendicular bisector. If $\mathbf{x}$ lies on both $L_{AB}$ and $L_{BC}$, then $|\mathbf{x}-\mathbf{a}|=|\mathbf{x}-\mathbf{b}|=|\mathbf{x}-\mathbf{c}|$, hence it also lies on $L_{CA}$. Geometrically, the three perpendicular bisectors of the noncollinear triangle concur at its circumcenter.

For $0<\epsilon <e^{-1}$, set $u=\log (1/x)$. The ordinary change of variables formula givesTaking $\epsilon \downarrow 0$ is exactly the defining limit of the improper integral. By the improper power integral, it converges for $\theta >1$, and

Define $F(x)={\int }_a^{x}f(t)dt$. By the fundamental theorem of calculus, $F^{\prime }=f$. The chain rule givesIntegrating from $\alpha$ to $\beta$ and using $g(\alpha )=a$, $g(\beta )=b$ yields the change of variables formulaThe argument also covers a decreasing $g$ because both integrals are oriented.

All values of the complex logarithm areBecause $x>0$, one may take the complex argument $\arg z=\arctan (y/x)$. Consequently