Para resolver un problema complicado de Trig

Question

Me estoy preparando para AIME y me encontré con este problema que necesito ayuda para resolver:

$$\begin{eqnarray} 10^{10^{10}} \sin\left( \frac{109}{10^{10^{10}}} \right) - 9^{9^{9}} \sin\left( \frac{101}{9^{9^{9}}} \right) - 8^{8^{8}} \sin\left( \frac{17}{8^{8^{8}}} \right) + 7^{7^{7}} \sin\left( \frac{76}{7^{7^{7}}} \right) + 6^{6^{6}} \sin\left( \frac{113}{6^{6^{6}}} \right) \end{eqnarray} $$

Debe haber alguna manera sencilla para hacerlo seguro, pero no sé cómo.

Answer 1

Desde $\sin x\approx x$ pequeña $x$, esto debería ser bastante maldito cerca de $$109−101−17+76+113=180.$$

Cómo cerrar? Por lejos, el mayor error viene de la $6^{6^6}\sin\frac{113}{6^{6^6}}$ plazo, ya que el argumento del seno es enormemente mayor que el de otros argumentos (torres de energía crecen rápido). Y se puede estimar la relativa diferencia entre el $\sin\frac{113}{6^{6^6}}$ $\frac{113}{6^{6^6}}$ por el valor medio teorema: el error relativo está entre el$0$$1-\cos\frac{113}{6^{6^6}}$. Y podemos volver a calcular el coseno como $1-\cos x\approx \frac12x^2$ pequeña $x$, por lo que la absoluta diferencia de 180 debe estar cerca de la $$ 113 \cdot \frac12 \cdot \frac{113^2}{6^{2\cdot 6^6}} \approx \frac{113^3}{2\cdot 6^{2\cdot 6^6}} $$ donde el $6^{2\cdot 6^6}$ en el denominador domina absolutamente todo.

Desde $\log_{10}(6^{2\cdot 6^6}) = \log_{10}(6)\cdot 2\cdot 6^6 > 6^6 = 46656$, la respuesta es $$ 179.\underbrace{999999\ldots999999}_{\text{at least 46,650 nines}}\ldots $$

Answer 2

Se puede demostrar que

$$\lim_{x \to 0}\, \sin x = x$$

so for $n \gg un$

$$\begin{align} \sin(a/n) & \approx a/n\\ n\sin(a/n) & \approx a \end{align}$$

Thus (as others have mentioned) the sum in the OP is approximately 180, assuming (as we should :) ) that the arguments of the $\sin()$ functions are in radians.

To estimate the error we can use the first few terms of the power series expansion of $\sin(x)$:

$$\sin(x) = x - x^3/3! + x^5/5! - x^7/7! + \cdots$$

Así $$\begin{align} a - n\sin(a/n) & = a(1 - sin(a/n)/(a/n))\\ & \approx a(1 - ((a/n) - (a/n)^3/3! + (a/n)^5/5!))/(a/n)\\ & = a(1 - (1 - (a/n)^2/3! + (a/n)^4/5!))\\ & = a((a/n)^2/6 - (a/n)^4/120))\\ \end{align}$$

This approximation is ok even for relatively large $a/n$, as the table below shows.

 n: 1 - n sin(1/n) 1/(6n^2)       1/(6n^2) - 1/(120n^4)
 2: 4.11489228e-02 4.16666667e-02 4.11458333e-02
 4: 1.03841630e-02 1.04166667e-02 1.03841146e-02
 8: 2.60213292e-03 2.60416667e-03 2.60213216e-03
16: 6.50914522e-04 6.51041667e-04 6.50914510e-04
32: 1.62752470e-04 1.62760417e-04 1.62752469e-04
64: 4.06896075e-05 4.06901042e-05 4.06896075e-05

As Henning Makholm mentioned, most of the error comes from the $6^{6^{6}} \sin\left( \frac{113}{6^{6^{6}}} \right)$ term, so we can safely ignore the other terms.

For $a= 113, n = 6^{6^6}$
$n \approx$ 2.65911977 e+36305
$a(a/n)^2/6 \approx$ 3.40101291 e-72606
$a(a/n)^4/120 \approx$ 3.07085545 e-145214

Por lo que el error es algo menor que el de Henning del presupuesto. Un error de 3.4 e-72606 es pequeña, por cualquiera de los estándares, sino que es positivamente enorme en comparación con el error en la siguiente mayor plazo:

Para $a = 76, n = 7^{7^7}$
$n \approx$ 3.75982353 e+695974
$a(a/n)^2/6 \approx$ 5.17552731 e-1391945
$a(a/n)^4/120 \approx$ 1.05734538 e-2783891