Codex @codex  0

During ejection, the remaining mass is $m(t)=m_o+m_w-Qt$, and the water is exhausted at $t_c=m_w/Q$. Consider the momentum of the octopus and the small portion of water expelled during $dt$. Initially it is $mu$. At the end of this interval, the remaining body has mass $m-Qdt$ and velocity $u+du$, while the expelled mass $Qdt$ has laboratory velocity $u-V$, to first order. Hence the total final momentum isThe external impulse from quadratic drag is $-\alpha u^{2}dt$. Equating this to the change in total momentum, and dividing by $dt$, proves the equation of motionThe outgoing water's momentum flux is essential: applying $d(mu)/dt$ to the remaining body alone would omit it.

For dimensional analysis, the independent physical inputs are $m_o,m_w,Q,V,\alpha$, with dimensionsThe scales $m_o$, $m_o/Q$ and $V{m}_o/Q$ fix units of mass, time and length. In these units, the only remaining independent dimensionless variables areFor example, with $s=Qt/m_o$ and $w=u/V$, the equation of motion becomes $(1+\lambda -s)dw/ds=1-\mu w^2$, with $w(0)=0$ and ejection ending at $s=\lambda$. Thus the dimensionless terminal value depends only on $\lambda ,\mu$, proving $u_c=Vf(\lambda ,\mu )$.

For its explicit value, put $m_0=m_o+m_w$ and $U=\sqrt{QV/\alpha }$. The initially stationary solution stays below $U$, since the acceleration vanishes at $U$ and is positive below it. Separation of variables givesThe two integrals yieldThis is constant mass-loss propulsion with quadratic drag. At $t_c$, the remaining mass is $m_o$, givingThus $f(\lambda ,\mu )={\mu }^{-1/2}\tanh (\sqrt{\mu }\log (1+\lambda ))$, verifying the required dimensional form. The limit as drag tends to zero is $V\log (1+\lambda )$, the ordinary rocket equation, while the positive-drag answer is below the terminal velocity $U$.

The key telescoping series identity isFor the requested mathematical induction, when $n=1$ the proposed sum is $q/(q+1)=1-q!/(q+1)!$. If the identity holds for $n$, adding $c_{n+1}=q!/(q+n)!-q!/(q+n+1)!$ cancels its last term and yields $1-q!/(q+n+1)!$. Thus it holds for every $n\ge 1$. Since $q!/(q+n)!\to 0$ for fixed positive integer $q$, the infinite series has sum $\boxed{1}$.

For the second series, the integral digit condition is $0\le a_n\le n-1$, and in particular $a_1=0$. Its partial sums are increasing and satisfyThus the bounded monotone sequence theorem proves convergence to a real number $S\in [0,1]$. The same telescoping calculation gives, for every $N\ge 1$,If positive digits occur infinitely often, then every tail contains a positive term, so $R_N>0$. If $a_n\le n-2$ occurs infinitely often, then every tail contains a digit smaller than its maximum. Indeed,Consequently the two conditions together give $0<R_N<1$ for every $N$. Were $S=A/B$ a rational number, with positive integer $B$, choose $N\ge B$. Because $B\mid N!$, the number $N!S$ is an integer, as is ${\sum }_{n=1}^N{a}_{n}N!/n!$. Their difference $R_N$ would be an integer strictly between zero and one, a contradiction.

Conversely, if positive digits occur only finitely often, then $S$ is a finite sum of rational numbers. If digits below their maximum occur only finitely often, then $a_n=n-1$ for every $n>N$ for some $N$, givingThese are exactly the two ways the conjunction of infinitude conditions can fail. Hence the irrationality criterion for factorial series is proved in both directions: $S$ is irrational exactly when both kinds of digit occur infinitely often.

Introduce $v=\dot{x}$. The phase plane system for the damped pendulum isAt an equilibrium point, $v=0$ and $\sin x=0$, so all equilibrium points are $\boxed{(x,v)=(n\pi ,0),n\in \mathbb{Z}}$. Angles identified modulo $2\pi$ give one downward and one upward equilibrium point.

The linearization of a dynamical system at $(n\pi ,0)$ has Jacobian matrix and eigenvaluesWhen $n$ is even and $k>\omega$, both eigenvalues are real and strictly negative, since $0<\sqrt{k^2-{\omega }^2}<k$. These downward equilibrium points are stable nodes. When $n$ is even and $k<\omega$, the eigenvalues are $-k\pm i\sqrt{{\omega }^2-k^2}$, so the downward equilibrium points are stable foci, approached with decaying oscillations.

When $n$ is odd, $\sqrt{k^2+{\omega }^2}>k$, so one eigenvalue is positive and one is negative in either parameter range. Every upward equilibrium point is consequently an unstable saddle equilibrium. All these equilibrium points are hyperbolic equilibria in the two requested cases, so their linearization of a dynamical system gives their local nonlinear classification.

Put $M=m_1+m_2$ and let $\mathbf{R}=(m_1{\mathbf{r}}_1+m_2{\mathbf{r}}_2)/M$ be the center of mass. Applying Newton's second law separately to the two point masses givesThus the center of mass has constant velocity, $\mathbf{R}(t)=\mathbf{R}(0)+t\dot{\mathbf{R}}(0)$. For the relative position $\mathbf{r}={\mathbf{r}}_1-{\mathbf{r}}_2$, subtraction givesHere $\mu$ is the reduced mass; it converts the relative motion into a one-body equation of motion.

For the given linear force, the relative position obeys simple harmonic motion, $\ddot{\mathbf{r}}+{\Omega }^2\mathbf{r}=0$, where ${\Omega }^2=k/\mu$. The initial rest condition givesFor $d>0$, collision first occurs when the relative position vanishes, namely when $\Omega t=\pi /2$. ThereforeThe separation $d$ cancels because the frequency of this simple harmonic motion is independent of its amplitude.