66 votos

Destruyendo el Mosquito — ridículamente complicado formas para lograr resultados muy simples

Aquí está una rebajado el ejemplo de lo que estoy buscando:

La integración mediante la resolución de la incógnita integral de $f(x)=x$:

$$\int x \, dx=x^2-\int x \, dx$$

$$2\int x \, dx=x^2$$

$$\int x \, dx=\frac{x^2}{2}$$

¿Alguien puede pensar en más ejemplos?

P. S. Esta pregunta fue inspirado por una pregunta sobre MathOverflow que encontré aquí. Esta pregunta está destinada a ser más general, aceptando las cosas como resolver integrales y el uso de los números complejos para evaluar problemas sencillos.

53voto

Echan Puntos 529

A continuación es un extracto de la integración de una escalera helicoidal que he presentado como una solución en un vector de la clase de cálculo de años atrás, en abril de Tontos cuando yo todavía era una estudiante universitaria. Tengo todos los puntos y no se arrepiente.

...por lo tanto, nuestra integral es \begin{align*} &a\int^{2\pi}_{0}\int^{1}_{0} \sqrt{a^{2}u^{2}+b^{2}} \, dudv\\ &= 2\pi a \int_{0}^{1} \sqrt{a^{2}u^{2}+b^{2}} \, du. \qquad (1) \end{align*}

Ahora claramente, debemos utilizar la sustitución de $au = b\tan{\theta}$, pero ya hemos demostrado cómo integrar la $\sec^{3}\theta$ en la Asignación de 8, $\S 15.3$ Pregunta 6. Así que en lugar, supongamos que nos limitamos a no trigonométricas sustitución. Entonces en vez de eso debemos dejar que $\sqrt{a^{2}u^{2}+ b^{2}} = t - ua$. Entonces el cuadrado ambos lados da $$a^{2}u^{2}+b^{2} = t^{2} - 2uat + u^{2}a^{2}$$ y resolver para u da $$\frac{t^{2}-b^{2}}{2at} = u.$$ La diferenciación de ambos lados da $$du = \frac{4at^{2} - 2at^{2} + 2ab^{2}}{4a^{2}t^{2}} dt.$$ Sustituyendo esto en tenemos $(1)$ igual a \begin{align*} &2\pi a\int_{t(0)}^{t(1)} \left(t - \frac{a(t^{2}-b^{2})}{2at}\right) \left(\frac{4at^{2} - 2at^{2} + 2ab^{2}}{4a^{2}t^{2}}\right) dt\\ &=2\pi a \int_{t(0)}^{t(1)} \left(t - \frac{t^{2}-b^{2}}{2t}\right) \left(\frac{1}{a} -\left(\frac{1}{2a}\right) +\frac{b^{2}}{2at^{2}}\right)dt\\ &= 2\pi \int_{t(0)}^{t(1)} \left(\frac{2t^{2} - t^{2}+b^{2}}{2t}\right)\left(\left(\frac{1}{2}\right) +\frac{b^{2}}{2t^{2}}\right)dt\\ &= 2\pi\int_{t(0)}^{t(1)} \left(\frac{t^{2} + b^{2}}{2t}\right) \left(\frac{t^{2}+b^{2}}{2t^{2}}\right)\, dt\\ &= 2\pi\int_{t(0)}^{t(1)} \frac{t^{4} + t^{2}b^{2} + b^{2}t^{2} + b^{4}}{4t^{3}} dt\\ &= \pi \int_{t(0)}^{t(1)} \frac{t^{4} + t^{2}b^{2} + b^{2}t^{2} + b^{4}}{2t^{3}} dt\\ &= \pi \int_{t(0)}^{t(1)} \frac{t}{2} + \frac{b^{2}}{2t} + \frac{b^{2}}{2t} + \frac{b^{4}}{2t^{3}} dt\\ &= \pi \int_{t(0)}^{t(1)} \frac{t}{2} + \frac{b^{2}}{t} + \frac{b^{4}}{2t^{3}} \, dt\\ &= \pi \left( \frac{t^{2}}{4} + b^{2}\ln |t| - \frac{b^{4}}{4t^{2}}\right) \bigg|_{t(0)}^{t(1)}. \qquad (2) \end{align*} Ahora, cuando $u = 1$, $t = \sqrt{a^{2}+b^{2}}+a$ e al $u = 0$ tenemos $t = b$. Enchufar estos, contamos $(2)$ igual a \begin{align*} &\pi \left(\frac{(\sqrt{a^{2}+b^{2}}+a)^{2}}{4} + b^{2}\ln \left| \sqrt{a^{2}+b^{2}}+a\right| - \left(\frac{b^{4}}{4(\sqrt{a^{2}+b^{2}}+a)^{2}}\right) - \frac{b^{2}}{4} - b^{2}\ln\left|b\right| + \frac{b^{4}}{4b^{2}}\right)\\ &= \pi \left( \frac{(\sqrt{a^{2}+b^{2}}+a)^{2}}{4} - \left(\frac{b^{4}}{4(\sqrt{a^{2}+b^{2}}+a)^{2}}\right) + b^{2}\ln\left(\frac{\sqrt{a^{2}+b^{2}}+a}{b}\right) \right). \qquad (3) \end{align*} Ahora darse cuenta de la similitud de los dos primeros términos, nuestra intuición sugiere que este es fácilmente simplificado, así que traer esto bajo el común denominador tenemos $(3)$ igual a \begin{align*} &\pi\left( \frac{(\sqrt{a^{2}+b^{2}} + a)^{4} - b^{4}}{4(\sqrt{a^{2}+b^{2}} + a)^{2}} + b^{2}\ln\left(\frac{\sqrt{a^{2}+b^{2}}+a}{b}\right) \right)\\ &= \pi \left(\frac{\left(2a^{2} + 2a\sqrt{a^{2}+b^{2}} + b^{2}\right)^{2} -b^{4}}{4(\sqrt{a^{2}+b^{2}} + a)^{2}} + b^{2}\ln\left(\frac{\sqrt{a^{2}+b^{2}}+a}{b}\right) \right). \end{align*} La expansión de nuevo tenemos \begin{align*} &\pi \left(\frac{4a^{4} + 4a^{3}\sqrt{a^{2}+b^{2}} + 2a^{2}b^{2} + 4a^{3}\sqrt{a^{2}+b^{2}}+4a^{2}(a^{2}+b^{2}) + 2ab^{2}\sqrt{a^{2}+b^{2}}}{4\left(\sqrt{a^{2}+b^{2}}+a\right)^{2}}\right. \dots\\ &\left.\dots +\frac{2a^{2}b^{2} + 2ab^{2}\sqrt{a^{2}+b^{2}} + b^{4} - b^{4}}{4\left(\sqrt{a^{2}+b^{2}}+a\right)^{2}} +b^{2}\ln\left(\frac{\sqrt{a^{2}+b^{2}}+a}{b}\right)\right)\\ &= \pi \left( \frac{8a^{4} + 8a^{2}b^{2} + 8a^{3}\sqrt{a^{2}+b^{2}}+4ab^{2}\sqrt{a^{2}+b^{2}}}{4(\sqrt{a^{2}+b^{2}}+a)^{2}} + b^{2}\ln\left(\frac{\sqrt{a^{2}+b^{2}}+a}{b}\right)\right)\\ &= \pi \left(\frac{2a^{4}+2a^{2}b^{2}+2a^{3}\sqrt{a^{2}+b^{2}}+ab^{2}\sqrt{a^{2}+b^{2}}}{(\sqrt{a^{2}+b^{2}}+a)^{2}} + b^{2}\ln \left(\frac{\sqrt{a^{2}+b^{2}}+a}{b}\right)\right). \qquad (4) \end{align*} El uso de nuestra intuición sabemos que el único término que fue cancelada después de la expansión se $b^{4}$, por lo que debemos examinar los poderes de $(\sqrt{a^{2}+b^{2}}+a$ antes de usar otros métodos más complejos. Sabemos que desde antes de que $(\sqrt{a^{2}+b^{2}} + a)^{2} = 2a^{2} + 2a\sqrt{a^{2}+b^{2}} + b^{2}$ y examinando el numerador de la primera legislatura de $(4)$, podemos ver que $2a^{2}$, $2a\sqrt{a^{2}+b^{2}}$ y $b^{2}$ todos comparten el factor común de $a\sqrt{a^{2}+b^{2}}$. Por lo tanto, $a\sqrt{a^{2}+b^{2}}(\sqrt{a^{2}+b^{2}}+a)^{2}$ es razonable candidato para el correcto factorización del numerador. Una comprobación rápida para confirmar la cruz-concordancia de los términos de muestra que \begin{align*} a\sqrt{a^{2}+b^{2}}(\sqrt{a^{2}+b^{2}}+a)^{2} &= a\sqrt{a^{2}+b^{2}} (2a^{2} + 2a\sqrt{a^{2}+b^{2}} + b^{2})\\ &= 2a^{3}\sqrt{a^{2}+b^{2}} + 2a^{2}(a^{2}+b^{2}) + ab^{2}\sqrt{a^{2}+b^{2}}\\ &= 2a^{3}\sqrt{a^{2}+b^{2}} + 2a^{4} + 2a^{2}b^{2} + ab^{2}\sqrt{a^{2}+b^{2}}\\ &= 2a^{4} + 2a^{2}b^{2} + 2a^{3}\sqrt{a^{2}+b^{2}} +ab^{2}\sqrt{a^{2}+b^{2}}. \qquad (5) \end{align*} Así que, ahora que hemos comprobado que la cruz de concordancia de los términos podemos usar $(5)$ y por lo tanto tienen $(4)$ igual a \begin{align*} \pi\left(\frac{a\sqrt{a^{2}+b^{2}}(\sqrt{a^{2}+b^{2}}+a)^{2}}{(\sqrt{a^{2}+b^{2}}+a)^{2}} + b^{2}\ln(\phi)\right) &= a\pi\sqrt{a^{2}+b^{2}} + \pi b^{2}\ln\left(\frac{\sqrt{a^{2}+b^{2}}+a}{b}\right) \end{align*} que era lo que iba a ser mostrado.

46voto

Tutul Puntos 652

Inspirado por su (demasiado simple!) ejemplo en la pregunta.

Permítanos calcular $\int_0^1 x^2\,dx$. Empezamos con el obvio cambio de variables: $$ t = \frac{x}{1-x} \quad\Leftrightarrow\quad x = \frac{t}{1+t} $$ de la que podemos obtener $$ dx =\frac{dt}{(1+t)^2}. $$ y la integral se transforma en $$ \int_0^1 x^2\,dx = \int_0^\infty \frac{t^2}{(1+t)^4}\,dt $$ que pueden ser atacados por el uso de residuos de cálculo. Definir $$ f(z) = \frac{z^2\log z}{(1+z)^4} $$ donde $\log$ es elegido como el natural de la rama del logaritmo complejo e integrar a través de una cerradura de contorno: enter image description here

Estándar de las estimaciones sobre las diversas partes del contorno muestra que, en $C_R$: $$ \left| \frac{z^2\log z}{(1+z)^4} \right| \le \frac{R^2(\ln R + 2\pi}{R^4-1} $$ así $$ \left| \int_{C_R} f(z)\,dz \right| \le 2\pi R \cdot \frac{R^2(\ln R + 2\pi}{R^4-1} $$ que tiende a $0$$R \to \infty$. Del mismo modo, en $C_\varepsilon$: $$ \left| \frac{z^2\log z}{(1+z)^4} \right| \le \frac{\varepsilon^2(\ln \varepsilon + 2\pi)}{(1/2)^4} $$ (si $\varepsilon < 1/2$) por lo $$ \left| \int_{C_R} f(z)\,dz \right| \le 2\pi R \cdot 16 \varepsilon^2(\ln \varepsilon + 2\pi), $$ que tiende a $0$$\varepsilon \to 0^+$. Queda por investigar lo que sucede en $I^+$$I^-$. En $I^+$ tenemos $$ \int_{I^+} f(z)\,dz = \int_{\varepsilon}^R \frac{x^2\ln x}{(1+x)^4}\,dx $$ y en $I^-$: $$ \int_{I^+} f(z)\,dz = \int_R^{\varepsilon} \frac{x^2(\ln x+2\pi i}{(1+x)^4}\,dx. $$

Poner todo junto, utilizando el teorema de los residuos y dejar $R\to\infty$, $\varepsilon\to0^+$ (tenga en cuenta que las integrales que contengan $\ln x$ cancelar), llegamos a la $$ -2\pi i \int_0^\infty \frac{x^2}{(1+x)^4}\,dx = 2\pi i\operatorname{Res}\limits_{z=-1} \frac{z^2\log z}{(1+z)^4}. $$ Finalmente, $$ \operatorname{Res}\limits_{z=-1} \frac{z^2\log z}{(1+z)^4} = \frac1{3!} (z^2\log z)^{"'}\big|_{z=-1} = -\frac13 $$ (omitiendo tedioso álgebra), y llegamos a la increíble resultado $$ \int_0^1 x^2\,dx = \int_0^\infty \frac{t^2}{(1+t)^4}\,dt = -\operatorname{Res}\limits_{z=-1} \frac{z^2\log z}{(1+z)^4} = \frac13. $$

38voto

Eric Lippert Puntos 1561

la resolución de las integrales y el uso de los números complejos para evaluar problemas simples

Las integrales:

FoxTrot

Números complejos:

Calvin and Hobbes

Y, por supuesto, usted no puede ayudar pero complejo de uso de la aritmética para resolver el problema de "es numberwang?"

20voto

Cephalopod Puntos 270

Recuerdo a este de un real examen de matemáticas:

$ABCD$ es un cuadrado en un espacio tridimensional.
Los vectores $\overrightarrow{A}$, $\overrightarrow{AB}$, y $\overrightarrow{AD}$ se dan. Encontrar $\overrightarrow{C}$!

La mitad de los estudiantes no fueron capaces de resolverlo. La solución oficial era resolver un conjunto de ecuaciones, y utilizando el producto escalar. Fue algo así como $\overrightarrow{AB} + \overrightarrow{BC} = \overrightarrow{AD} + \overrightarrow{DC}$; $\overrightarrow{AB} \cdot \overrightarrow{BC} = 0$; y $\overrightarrow{AD} \cdot \overrightarrow{DC} = 0$.

El tema de que el examen fue en sistemas de ecuaciones, así que tiene sentido que una solución de este tipo se espera que todos los estudiantes, entre los que me incluyo, trató de resolver de esa manera. La tarea fue de un valor de 5 puntos, lo que significa que el promedio de los estudiantes se espera resolver en 5 minutos.

Pero, por supuesto, ya que estamos hablando de un cuadrado, sabemos que $\overrightarrow{BC} = \overrightarrow{AD}$. Por lo tanto, todo lo que hizo fue $\overrightarrow{C} = \overrightarrow{A} + \overrightarrow{AB} + \overrightarrow{AD}$, es decir, sólo tiene que añadir los tres vectores que se les daba.

17voto

jdiaz Puntos 2199

Aquí es una prueba de un básico de la combinatoria de identidad, el uso de topología algebraica.

Para$n \ge 0$, $n$- simplex $\Delta^n$ puede ser construido con $\binom{n+1}{k+1}$ de las células de la dimensión$k$$k=0,1,\dots,n$. (Hay $n+1$ vértices presente, y un $k$-cell $c$ se determina de forma única por una selección de $k+1$ de estos vértices para ser incidente en $c$.)

Por lo tanto, la característica de euler $\chi(\Delta^n)$ está dado por la alternancia de suma

$$\binom{n+1}{1} - \binom{n+1}{2} + \dots = \sum_{i=1}^n (-1)^{i+1}\binom{n+1}{i}.$$

Por otro lado, $\Delta^n$ es contráctiles, por lo $\chi(\Delta^n) = 1 = \binom{n+1}{0}$. Reordenando la ecuación

$$\binom{n+1}{0} = \sum_{i=1}^{n+1} (-1)^{i+1}\binom{n+1}{i}$$

los rendimientos de los familiares

$$\sum_{i=0}^{n+1} (-1)^i \binom{n+1}{i} = 0.$$

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X