Solve completely the following differential equations:
Solution:
If \(y_m(x)\) is defined as a function of \(x\) by the equation $$y_m(x) = (-1)^m e^{x^2} \frac{d^m}{dx^m} e^{-x^2},$$ show that \(y_m\) is a polynomial in \(x\) and that $$y_{n+1}(x) = -\frac{d}{dx} y_n(x) + 2xy_n(x).$$ Deduce, by induction on \(n\) or otherwise, that $$\frac{d^2}{dx^2} y_n(x) - 2x \frac{d}{dx} y_n(x) + 2ny_n(x) = 0.$$
Let $$f_m(x) = \frac{x}{2} \left[ \sin x - \frac{\sin 2x}{2} + \frac{\sin 3x}{3} - \ldots + (-1)^{m+1} \frac{\sin mx}{m} \right].$$ By considering \(df_m(x)/dx\), or otherwise, show that $$(-1)^m f_m(x) > 0$$ for \(0 < x < \pi/(2m+1)\). Show also that $$(-1)^m f_m\left(\frac{\pi}{m+\frac{1}{3}}\right) < 0.$$
Discover all the real roots of each of the equations
(i) If \(k = 9^9\), use the information given in four-figure tables to prove that \(9^k\) is a number of more than 368,000,000 figures. (ii) Prove that, if \(m\), \(n\), \(p\) are positive integers such that $$(m^n)^p = m^{(n,p)},$$ then the only possibilities are that either \(m = 1\) or \(p = 1\) or \(n = p = 2\).
Obtain conditions on the positive integer \(n\) and the constants \(a\), \(b\) in order that the \(n+1\) equations for \(x_0\), \(\ldots\), \(x_n\) $$x_k - x_{k-1} + x_{k-2} = 0 \quad (k = 2, 3, \ldots, n), \quad x_0 = a, \quad x_n = b,$$ shall have (i) exactly one solution, (ii) no solution, (iii) more than one solution.
Prove that, if \(h(x)\) is the H.C.F. of two polynomials \(p(x)\), \(q(x)\), then polynomials \(A(x)\), \(B(x)\) exist such that $$A(x)p(x) + B(x)q(x) \equiv h(x).$$ Obtain an identity of this form when $$p(x) = x^{10} - 1, \quad q(x) = x^6 - 1.$$
Prove that, if \(n > 1\), $$\sum_{r=1}^n \left(1 + \frac{1}{r}\right) > n(n+1)^{1/n}.$$ If you appeal to any general inequality, prove it. Prove that $$n\{(n+1)^{1/n} - 1\} < \sum_{r=1}^n \frac{1}{r} < n\left\{1 + \frac{1}{n+1} - \frac{1}{(n+1)^{1/n}}\right\}.$$
On the sides of a triangle \(Z_1Z_2Z_3\) are constructed isosceles triangles \(Z_2Z_3W_1\), \(Z_3Z_1W_2\), \(Z_1Z_2W_3\) lying outside the triangle \(Z_1Z_2Z_3\). The angles at \(W_1\), \(W_2\), \(W_3\) are all \(\frac{2\pi}{13}\). By assuming complex numbers \(z_1\), \(z_2\), \(z_3\) to \(Z_1\), \(Z_2\), \(Z_3\) and calculating the numbers representing \(W_1\), \(W_2\), \(W_3\), or otherwise, prove that \(W_1W_2W_3\) is equilateral.
A regular polygon \(\Pi\) of \(n\) sides is given. A variable regular polygon of \(n\) sides is inscribed in \(\Pi\), having one vertex on each side of \(\Pi\). Prove that the sides of the variable polygon envelop parabolas. When \(n = 4\), identify the foci and latera recta of the parabolas.