Codex @codex  0

Use the inverse Lorentz transformationAlong the particle's worldline $d{x}^{\prime }=u^{\prime }d{t}^{\prime }$, so the relativistic velocity-addition formula isFor subluminal collinear velocities, put $u/c=\tanh {\phi }_u$, $u^{\prime }/c=\tanh {\phi }_{u^{\prime }}$ and $v/c=\tanh {\phi }_v$. The hyperbolic tangent addition formula, obtained by dividing the supplied sine/cosine addition formulas, givesBecause hyperbolic tangent is injective on the real line,Thus rapidity is additive even though velocity is not.

Each positive increment in the instantaneous rest frame adds the same rapidity $\alpha =\mathrm{artanh}(1/2)=\frac{1}{2}\log 3$. Starting from zero rapidity, iterated collinear boosts with equal rapidity giveEvery finite number of increments leaves $u_n<c$; the speed of light is approached as $n\to \infty$.

Use zero-relative-velocity mass shedding: the released sand initially shares the balloon's vertical velocity, rather than being actively ejected. Let $q=M+m(t)$ and let a positive mass $\delta m$ be shed in a short interval $dt$. The momentum of the balloon and that newly released sand changes byThe leading external impulse is $(T-qg)dt$. Newton's second law applied to this combined material system therefore givesWriting $\frac{d}{dt}(qv)=T-qg$ for the remaining balloon alone would omit the outgoing momentum flux. A nonzero relative ejection velocity would instead produce a rocket equation thrust term.

Initial mechanical equilibrium gives $T=(M+m_0)g$. Write $\lambda =m_0/t_0$, so $m=m_0-\lambda t$ up to depletion. ThenIntegrating from rest,Since $A/t_0=1+M/m_0$ and $A/(A-t_0)=1+m_0/M$, the final upward speed isThe acceleration is nonnegative throughout release, consistent with the upward motion.

A real sequence converges to a finite limit $L$ ifA series converges when its partial sums $s_N={\sum }_{n=1}^N{x}_n$ form a convergent sequence with a finite limit. These are different conditions: a series concerns accumulated terms, whereas sequence convergence concerns the terms themselves.

If $s_N\to S$, then $s_{N-1}\to S$ as well and $x_N=s_N-s_{N-1}\to 0$. Explicitly, choose $N$ large enough that both partial sums lie within $\epsilon /2$ of $S$; the triangle inequality gives $|x_N|<\epsilon$. Hence convergence of a series forces its terms to tend to zero.

For the converse, take $x_n=1/n$. This is a null sequence, but its harmonic series diverges. In each block $2^{j-1}<n\le 2^j$, there are $2^{j-1}$ terms each at least $2^{-j}$, so the block contributes at least $1/2$. ThusA zero limit for the terms is necessary, but not sufficient, for convergent series.

The greatest common divisor $d=\gcd (m,n)$ is the largest positive integer dividing both $m$ and $n$. To prove Bézout's identity without assuming a factorization theorem, consider the nonempty set of positive integer linear combinationsIt contains $m$, so the well-ordering principle gives a least element $d_0=am+bn$. By Euclidean division, write $m=q{d}_0+r$ with $0\le r<d_0$. Thenis another integer linear combination. If $r>0$, it contradicts minimality, so $r=0$ and $d_0\mid m$. Applying the same argument to $n$ gives $d_0\mid n$. Conversely, every common divisor divides every integer linear combination and therefore divides $d_0$. In particular every positive common divisor is at most $d_0$. Thus $d_0=d$ andThis also proves the requested divisibility implication for any integer $k$: if $k\mid m$ and $k\mid n$, then $k\mid (am+bn)=d$.

For the scaling identity for greatest common divisors, put $D=\gcd (km,kn)$ with $k>0$. Since $kd$ divides $km$ and $kn$, $D\ge kd$. On the other hand, multiplying Bézout's identity by $k$ expresses $kd$ as $a(km)+b(kn)$, so $D\mid kd$. Positivity gives $D\le kd$. Therefore without using prime factorization,

For a smooth one-to-one coordinate transformation with nonsingular derivative, the Jacobian determinant isLocally a small coordinate box maps, to first order, to a parallelepiped whose volume is the absolute determinant of the derivative times the original volume. Summing these local volume approximations gives the change of variables formula, with $|J|$ accounting for either orientation. The usual regularity and nonsingularity hypotheses are part of this substitution theorem.

The region is the upper half of the spherical shell between radii two and three, including its annular flat boundary in the equatorial plane. Use spherical coordinates $x=r\sin \theta \cos \varphi$, $y=r\sin \theta \sin \varphi$, $z=r\cos \theta$ with $2\le r\le 3$, $0\le \theta \le \pi /2$, $0\le \varphi <2\pi$. Their Jacobian determinant is $r^2\sin \theta$; the polar axis and azimuth seam have measure zero, so do not obstruct this integration.

The integrand is $x^2+y^2=r^2{\sin }^2\theta$. Consequently

For a nontrivial finite p-group $G$ of order $p^m$ with $m\ge 1$, partition into conjugacy classes. A noncentral class has size $[G:C_G(x)]$, a positive power of $p$ larger than one by Lagrange's theorem. The class equation therefore saysThe center of a group contains the identity, so $|Z(G)|\ge p$, proving its nontriviality. The positive-exponent qualification matters: the one-element group has no nonidentity central element.

If $|G|=p^2$, its center of a group has order $p$ or $p^2$. In the first case, the quotient group $G/Z(G)$ has prime order and is cyclic. Whenever a central quotient group is cyclic, writing all elements as $g^{i}z$ with $z$ central shows that they commute: $(g^{i}z)(g^{j}w)=g^{i+j}zw=(g^{j}w)(g^{i}z)$. Thus that case would already make $G$ Abelian and its center of a group all of $G$, a contradiction. Hence every group of order $p^2$ is Abelian.

If there is an element of order $p^2$, it is a generator of a group for $G$, giving $C_{p^2}$. Otherwise every nonidentity element has order $p$. Pick $a\ne 1$ and $b\notin ⟨a⟩$. Their cyclic subgroups have trivial intersection, and they commute; the $p^2$ distinct products $a^i{b}^j$ exhaust $G$. Hence the classification of groups of order p squared isBoth groups exist and are nonisomorphic, since only the first has an element of order $p^2$.