Math Analysis Homework - Week 9
Class 1
T1
{ f ( x ) ∈ C [ a , b ] , ∀ g ∈ C [ a , b ] , ∫ a b f ( x ) g ( x ) d x = 0 ⟹ f ( x ) = 0 \begin{gathered}
\begin{cases}
f(x)\in C[a,b], \\
\forall g\in C[a,b],\int_a^b f(x)g(x)dx=0
\end{cases} \\
\implies f(x)=0
\end{gathered} { f ( x ) ∈ C [ a , b ] , ∀ g ∈ C [ a , b ] , ∫ a b f ( x ) g ( x ) d x = 0 ⟹ f ( x ) = 0
反证,假设存在f ( x 0 ) ≠ 0 f(x_0)\ne 0 f ( x 0 ) = 0 ,不妨设是f ( x 0 ) > 0 f(x_0)>0 f ( x 0 ) > 0 ,则存在( x 0 − δ , x 0 + δ ) (x_0-\delta,x_0+\delta) ( x 0 − δ , x 0 + δ ) 使得∀ x ∈ ( x 0 − δ , x 0 + δ ) , f ( x ) > f ( x 0 ) 2 \forall x\in (x_0-\delta,x_0+\delta),f(x)>\dfrac{f(x_0)}2 ∀ x ∈ ( x 0 − δ , x 0 + δ ) , f ( x ) > 2 f ( x 0 ) .
取
g ( x ) = { 1 , ∣ x − x 0 ∣ < δ 2 ∣ x − x 0 − δ 2 ∣ , ∣ x − x 0 ∣ ∈ [ δ 2 , δ ) 0 , otherwise ⟹ ∫ f ( x ) g ( x ) d x ≥ f ( x 0 ) 2 δ > 0 \begin{gathered}
g(x)=\begin{cases}
1,\vert x-x_0 \vert <\dfrac{\delta}{2} \\
\vert x-x_0-\dfrac{\delta}{2} \vert,\vert x-x_0 \vert \in [\dfrac{\delta}{2},\delta) \\
0,\text{otherwise}
\end{cases} \\
\implies \int f(x)g(x)dx \ge \dfrac{f(x_0)}{2} \delta>0
\end{gathered} g ( x ) = ⎩ ⎨ ⎧ 1 , ∣ x − x 0 ∣ < 2 δ ∣ x − x 0 − 2 δ ∣ , ∣ x − x 0 ∣ ∈ [ 2 δ , δ ) 0 , otherwise ⟹ ∫ f ( x ) g ( x ) d x ≥ 2 f ( x 0 ) δ > 0
T2
{ a , b > 0 , f ( x ) ∈ C [ − a , b ] f ( x ) > 0 , ∫ − a b x f ( x ) d x = 0 ⟹ ∫ − a b x 2 f ( x ) d x ≤ a b ∫ − a b f ( x ) d x \begin{gathered}
\begin{cases}
a,b>0,f(x)\in C[-a,b] \\
f(x)>0,\int_{-a}^bxf(x)dx=0
\end{cases} \\
\implies \int_{-a}^b x^2f(x)dx\le ab\int_{-a}^b f(x)dx
\end{gathered} { a , b > 0 , f ( x ) ∈ C [ − a , b ] f ( x ) > 0 , ∫ − a b x f ( x ) d x = 0 ⟹ ∫ − a b x 2 f ( x ) d x ≤ ab ∫ − a b f ( x ) d x
Sol1:
∫ − a 0 x 2 f ( x ) d x ≤ ∫ − a 0 f ( x ) ( − x ) a d x = ∫ 0 b f ( x ) x a d x ≤ ∫ 0 b f ( x ) a b d x similarily, ∫ 0 b x 2 f ( x ) d x ≤ ∫ − a 0 f ( x ) a b d x ⟹ ∫ − a b x 2 f ( x ) d x ≤ ∫ − a 0 f ( x ) a b d x + ∫ 0 b f ( x ) a b d x = a b ∫ − a b f ( x ) d x \begin{gathered}
\int_{-a}^0x^2f(x)dx\le \int_{-a}^0 f(x)(-x)adx=\int_{0}^b f(x)xadx\le \int_0^b f(x)abdx \\
\text{similarily, }\int_{0}^b x^2f(x)dx\le \int_{-a}^0 f(x)abdx \\
\implies \int_{-a}^b x^2f(x)dx \\
\le \int_{-a}^0 f(x)abdx+\int_0^b f(x)abdx \\
=ab\int_{-a}^b f(x)dx \\
\end{gathered} ∫ − a 0 x 2 f ( x ) d x ≤ ∫ − a 0 f ( x ) ( − x ) a d x = ∫ 0 b f ( x ) x a d x ≤ ∫ 0 b f ( x ) ab d x similarily, ∫ 0 b x 2 f ( x ) d x ≤ ∫ − a 0 f ( x ) ab d x ⟹ ∫ − a b x 2 f ( x ) d x ≤ ∫ − a 0 f ( x ) ab d x + ∫ 0 b f ( x ) ab d x = ab ∫ − a b f ( x ) d x
Sol2:
∫ − a b ( x + a ) ( b − x ) f ( x ) d x ≥ 0 ⟹ ∫ − a b ( − x 2 + ( b − a ) x + a b ) f ( x ) d x ≥ 0 \begin{gathered}
\int_{-a}^b (x+a)(b-x)f(x)dx\ge 0 \\
\implies \int_{-a}^b (-x^2+(b-a)x+ab)f(x)dx\ge 0
\end{gathered} ∫ − a b ( x + a ) ( b − x ) f ( x ) d x ≥ 0 ⟹ ∫ − a b ( − x 2 + ( b − a ) x + ab ) f ( x ) d x ≥ 0
中间是0 0 0 ,就弄完了.
[think] 后面这个做法看起来已经称为一种套路了.就是对于∫ x k f ( x ) \int x^kf(x) ∫ x k f ( x ) 的形式能凑出来的最优情形.
T3
f ( x ) ∈ C [ 0 , 1 ] , f ( x ) > 0 ⟹ ∫ 0 1 f ( x ) d x ∫ 0 1 1 f ( x ) d x ≥ 1 \begin{gathered}
f(x)\in C[0,1],f(x)>0 \\
\implies \int_0^1 f(x)dx\int_0^1 \dfrac{1}{f(x)} dx\ge 1
\end{gathered} f ( x ) ∈ C [ 0 , 1 ] , f ( x ) > 0 ⟹ ∫ 0 1 f ( x ) d x ∫ 0 1 f ( x ) 1 d x ≥ 1
1 = ∫ 0 1 f ( x ) ⋅ 1 f ( x ) d x ≤ ( ∫ 0 1 f ( x ) 2 d x ) 1 2 ( ∫ 0 1 1 f ( x ) d x ) 1 2 ⟹ ∫ 0 1 f ( x ) d x ∫ 0 1 1 f ( x ) d x ≥ 1 \begin{gathered}
1=\int_0^1 \sqrt{f(x)}\cdot \dfrac{1}{\sqrt{f(x)}} dx\le (\int_0^1 \sqrt{f(x)}^2dx)^\frac12 (\int_0^1 \dfrac{1}{\sqrt{f(x)}} dx)^\frac12 \\
\implies \int_0^1 f(x)dx\int_0^1 \dfrac{1}{f(x)} dx\ge 1
\end{gathered} 1 = ∫ 0 1 f ( x ) ⋅ f ( x ) 1 d x ≤ ( ∫ 0 1 f ( x ) 2 d x ) 2 1 ( ∫ 0 1 f ( x ) 1 d x ) 2 1 ⟹ ∫ 0 1 f ( x ) d x ∫ 0 1 f ( x ) 1 d x ≥ 1
T4
{ f ( x ) ∈ C [ 0 , π ] ∫ 0 π f ( θ ) cos θ d θ = ∫ 0 π f ( θ ) sin θ d θ = 0 ⟹ ∃ x 1 , x 2 ∈ ( 0 , π ) , f ( x i ) = 0 \begin{gathered}
\begin{cases}
f(x) \in C[0,\pi] \\
\int_0^\pi f(\theta)\cos \theta d\theta = \int_0^\pi f(\theta)\sin \theta d\theta =0 \\
\end{cases} \\
\implies \exists x_1,x_2\in (0,\pi),f(x_i)=0
\end{gathered} { f ( x ) ∈ C [ 0 , π ] ∫ 0 π f ( θ ) cos θ d θ = ∫ 0 π f ( θ ) sin θ d θ = 0 ⟹ ∃ x 1 , x 2 ∈ ( 0 , π ) , f ( x i ) = 0
若f ( x ) f(x) f ( x ) 无零点,则f ( x ) sin ( x ) f(x)\sin (x) f ( x ) sin ( x ) 无变号零点,∫ 0 π f ( x ) sin x d x ≠ 0 \int_0^\pi f(x)\sin x dx\ne 0 ∫ 0 π f ( x ) sin x d x = 0 ,f f f 至少一个变号零点.
若f ( x ) f(x) f ( x ) 恰有一个零点x 1 x_1 x 1 .
考虑令∫ 0 π f ( x ) ( sin x cos φ + cos x sin φ ) d x = 0 = ∫ 0 π f ( x ) sin ( x + φ ) d x \int_0^\pi f(x)(\sin x\cos \varphi+\cos x\sin \varphi)dx=0=\int_0^\pi f(x)\sin(x+\varphi)dx ∫ 0 π f ( x ) ( sin x cos φ + cos x sin φ ) d x = 0 = ∫ 0 π f ( x ) sin ( x + φ ) d x ,于是令ϕ = − x 1 \phi=-x_1 ϕ = − x 1 ,则∫ f ( x ) sin ( x + φ ) d x \int f(x)\sin(x+\varphi)dx ∫ f ( x ) sin ( x + φ ) d x 不变号,不为0 0 0 ,矛盾,得证.
T5
{ f ∈ C [ a , b ] , f ( x ) ≥ 0 M = max f ( [ a , b ] ) ⟹ lim n → ∞ ( ∫ a b f n ( x ) d x ) 1 n = M \begin{gathered}
\begin{cases}
f\in C[a,b],f(x)\ge 0 \\
M=\max f([a,b])
\end{cases}\\
\implies \lim_{n \to \infty} (\int_a^b f^n(x)dx)^\frac1n=M
\end{gathered} { f ∈ C [ a , b ] , f ( x ) ≥ 0 M = max f ([ a , b ]) ⟹ n → ∞ lim ( ∫ a b f n ( x ) d x ) n 1 = M
∫ a b f n ( x ) ≤ ( b − a ) M n ⟹ lim n → ∞ ( ∫ a b f n ( x ) d x ) 1 n ≤ lim n → ∞ ( ( b − a ) M n ) 1 n = M let f ( x 0 ) = M f ( x ) ∈ C [ a , b ] ⟹ ∀ p < 1 , ∃ δ , s . t . ∀ x ∈ ( x 0 − δ , x 0 + δ ) ∩ [ a , b ] , f ( x ) > p M ⟹ ∫ a b f n ( x ) d x > 2 δ ( p M ) n ⟹ ∀ p ∈ ( 0 , 1 ) , lim n → ∞ ( ∫ a b f n ( x ) d x ) 1 n > lim n → ∞ ( 2 δ ( p M ) n ) 1 n = p M ⟹ lim n → ∞ ( ∫ a b f n ( x ) d x ) 1 n ≥ M ⟹ lim n → ∞ ( ∫ a b f n ( x ) d x ) 1 n = M \begin{gathered}
\int_a^b f^n(x)\le (b-a)M^n \\
\implies \lim_{n \to \infty} (\int_a^b f^n(x)dx)^\frac1n\le \lim_{n \to \infty} ((b-a)M^n)^\frac1n=M \\
\text{let } f(x_0)=M \\
f(x)\in C[a,b] \implies \forall p<1,\exists \delta,\ s.t.\ \\
\forall x \in (x_0-\delta,x_0+\delta)\cap [a,b],f(x)>pM \\
\implies \int_a^b f^n(x)dx>2\delta(pM)^n \\
\implies \forall p\in(0,1),
\lim_{n \to \infty} (\int_a^b f^n(x)dx)^\frac1n>\lim_{n \to \infty} (2\delta(pM)^n)^\frac1n=pM \\
\implies \lim_{n \to \infty} (\int_a^b f^n(x)dx)^\frac1n\ge M \\
\implies \lim_{n \to \infty} (\int_a^b f^n(x)dx)^\frac1n= M \\
\end{gathered} ∫ a b f n ( x ) ≤ ( b − a ) M n ⟹ n → ∞ lim ( ∫ a b f n ( x ) d x ) n 1 ≤ n → ∞ lim (( b − a ) M n ) n 1 = M let f ( x 0 ) = M f ( x ) ∈ C [ a , b ] ⟹ ∀ p < 1 , ∃ δ , s . t . ∀ x ∈ ( x 0 − δ , x 0 + δ ) ∩ [ a , b ] , f ( x ) > pM ⟹ ∫ a b f n ( x ) d x > 2 δ ( pM ) n ⟹ ∀ p ∈ ( 0 , 1 ) , n → ∞ lim ( ∫ a b f n ( x ) d x ) n 1 > n → ∞ lim ( 2 δ ( pM ) n ) n 1 = pM ⟹ n → ∞ lim ( ∫ a b f n ( x ) d x ) n 1 ≥ M ⟹ n → ∞ lim ( ∫ a b f n ( x ) d x ) n 1 = M
T6
{ f ∈ C [ a , b ] , f ( x ) ≥ 0 f ( x ) is strictly increasing ∀ p , ∃ x p ∈ [ a , b ] f p ( x p ) = 1 b − a ∫ a b f p ( t ) d t ⟹ lim p → + ∞ x p = b \begin{gathered}
\begin{cases}
f \in C[a,b],f(x)\ge 0 \\
f(x) \text{ is strictly increasing} \\
\forall p,\exists x_p\in [a,b] \\
f^p(x_p)=\dfrac{1}{b-a} \int_a^b f^p(t)dt
\end{cases} \\
\implies \lim_{p \to +\infty} x_p =b
\end{gathered} ⎩ ⎨ ⎧ f ∈ C [ a , b ] , f ( x ) ≥ 0 f ( x ) is strictly increasing ∀ p , ∃ x p ∈ [ a , b ] f p ( x p ) = b − a 1 ∫ a b f p ( t ) d t ⟹ p → + ∞ lim x p = b
f f f 严格单增且连续则f − 1 f^{-1} f − 1 存在且连续,故只需证
f ( b ) = lim p → + ∞ f ( x p ) = lim p → + ∞ ( 1 b − a ∫ a b f p ( t ) d t ) 1 p \begin{gathered}
f(b)=\lim_{p \to +\infty} f(x_p)=\lim_{p \to +\infty} (\dfrac{1}{b-a} \int_a^b f^p(t)dt)^\frac1p \\
\end{gathered} f ( b ) = p → + ∞ lim f ( x p ) = p → + ∞ lim ( b − a 1 ∫ a b f p ( t ) d t ) p 1
而
lim p → + ∞ ( 1 b − a ∫ a b f p ( t ) d t ) 1 p = lim p → + ∞ ( 1 b − a ) 1 p ( ∫ a b f p ( t ) d t ) 1 p = b y T 5 lim p → + ∞ ( 1 b − a ) 1 p M 1 p = M = f ( b ) \begin{gathered}
\lim_{p \to +\infty} (\dfrac{1}{b-a} \int_a^b f^p(t)dt)^\frac1p
=\lim_{p \to +\infty} (\dfrac{1}{b-a} )^\frac1p (\int_a^b f^p(t)dt)^\frac1p \\
\xlongequal{by T5}\lim_{p \to +\infty} (\dfrac{1}{b-a} )^\frac1p M^\frac1p \\
=M=f(b)
\end{gathered} p → + ∞ lim ( b − a 1 ∫ a b f p ( t ) d t ) p 1 = p → + ∞ lim ( b − a 1 ) p 1 ( ∫ a b f p ( t ) d t ) p 1 b y T 5 p → + ∞ lim ( b − a 1 ) p 1 M p 1 = M = f ( b )
T7
{ f ( x ) ∈ C [ 0 , 1 ] ∩ D ( 0 , 1 ) f ( 1 ) = 2 ∫ 0 1 2 x f ( x ) d x ⟹ ∃ ξ ∈ ( 0 , 1 ) f ( ξ ) + ξ f ′ ( ξ ) = 0 \begin{gathered}
\begin{cases}
f(x)\in C[0,1]\cap D(0,1) \\
f(1)=2\int_0^\frac12 xf(x)dx
\end{cases} \\
\implies \exists \xi\in (0,1) \\
f(\xi)+\xi f'(\xi)=0
\end{gathered} { f ( x ) ∈ C [ 0 , 1 ] ∩ D ( 0 , 1 ) f ( 1 ) = 2 ∫ 0 2 1 x f ( x ) d x ⟹ ∃ ξ ∈ ( 0 , 1 ) f ( ξ ) + ξ f ′ ( ξ ) = 0
let g ( x ) = x f ( x ) g ( 1 ) = 2 ∫ 0 1 2 g ( x ) d x = 2 × 1 2 g ( ξ ) , ξ ∈ ( 0 , 1 2 ) g ( 1 ) = g ( ξ ) ⇒ Rolle’s Theorem ∃ ξ ′ , g ′ ( ξ ′ ) = 0 = f ( ξ ) + ξ f ′ ( ξ ) \begin{gathered}
\text{let } g(x)=xf(x) \\
g(1)=2\int_0^\frac12 g(x)dx=2\times \dfrac{1}{2} g(\xi),\xi\in (0,\dfrac{1}{2} ) \\
g(1)=g(\xi) \xRightarrow{\text{Rolle's Theorem} }\exist \xi',g'(\xi')=0=f(\xi)+\xi f'(\xi)
\end{gathered} let g ( x ) = x f ( x ) g ( 1 ) = 2 ∫ 0 2 1 g ( x ) d x = 2 × 2 1 g ( ξ ) , ξ ∈ ( 0 , 2 1 ) g ( 1 ) = g ( ξ ) Rolle’s Theorem ∃ ξ ′ , g ′ ( ξ ′ ) = 0 = f ( ξ ) + ξ f ′ ( ξ )
T8
lim n → ∞ ∫ 0 π 2 sin n x d x \begin{gathered}
\lim_{n \to \infty} \int_0^{\frac\pi2}\sin^n xdx
\end{gathered} n → ∞ lim ∫ 0 2 π sin n x d x
= lim n → ∞ ∫ 0 π 2 − δ n sin n x d x + ∫ π 2 − δ n π 2 sin n x d x = lim n → ∞ ( π 2 − δ ) sin n ξ + δ n sin n ξ 2 ≤ lim n → ∞ π 2 cos n ( δ n ) + δ n let δ n = max v s . t . cos n ( v ) < 1 n ⟹ lim n → ∞ δ n = lim n → ∞ arccos ( ( 1 n ) 1 n ) = arccos ( 1 ) = 0 ⟹ A n s = lim n → ∞ π 2 cos n ( δ n ) + δ n = 0 \begin{gathered}
=\lim_{n \to \infty} \int_0^{\frac\pi2-\delta_n}\sin^n xdx+\int_{\frac\pi2-\delta_n}^{\frac\pi2}\sin^n xdx \\
=\lim_{n \to \infty} (\dfrac{\pi}{2} -\delta)\sin^n \xi+\delta_n\sin^n\xi_2 \\
\le \lim_{n \to \infty} \dfrac{\pi}{2}\cos^n(\delta_n)+\delta_n \\
\text{let }\delta_n=\text{max } v \\ s.t.\\
\cos^n(v)<\dfrac{1}{n} \\
\implies \lim_{n \to \infty} \delta_n=\lim_{n \to \infty} \arccos((\dfrac{1}{n} )^\frac1n)=\arccos(1)=0 \\
\implies Ans=\lim_{n \to \infty} \dfrac{\pi}{2} \cos^n(\delta_n)+\delta_n=0
\end{gathered} = n → ∞ lim ∫ 0 2 π − δ n sin n x d x + ∫ 2 π − δ n 2 π sin n x d x = n → ∞ lim ( 2 π − δ ) sin n ξ + δ n sin n ξ 2 ≤ n → ∞ lim 2 π cos n ( δ n ) + δ n let δ n = max v s . t . cos n ( v ) < n 1 ⟹ n → ∞ lim δ n = n → ∞ lim arccos (( n 1 ) n 1 ) = arccos ( 1 ) = 0 ⟹ A n s = n → ∞ lim 2 π cos n ( δ n ) + δ n = 0
T9
{ f ( x ) is integrable on any limited range lim x → + ∞ f ( x ) = l ⟹ lim x → + ∞ 1 x ∫ 0 x f ( t ) d t = l \begin{gathered}
\begin{cases}
f(x) \text{ is integrable on any limited range} \\
\lim_{x \to +\infty} f(x)=l
\end{cases}
\\
\implies \lim_{x \to +\infty} \dfrac{1}{x} \int_0^x f(t)dt=l
\end{gathered} { f ( x ) is integrable on any limited range lim x → + ∞ f ( x ) = l ⟹ x → + ∞ lim x 1 ∫ 0 x f ( t ) d t = l
∃ X , x > X ⟹ ∣ f ( x ) − l ∣ < ϵ lim x → + ∞ 1 x ∫ 0 x f ( t ) d t = lim x → + ∞ 1 x ( ∫ 0 X f ( t ) d t + ∫ X x f ( t ) d t ) = lim x → + ∞ 1 x ∫ X x f ( t ) d t ∈ ( lim x → + ∞ 1 x ( l − ϵ ) ( x − X ) , lim x → + ∞ ( l + ϵ ) ( x + X ) ) = ( l − ϵ , l + ϵ ) \begin{gathered}
\exists X,x>X \implies \vert f(x)-l \vert <\epsilon \\
\lim_{x \to +\infty} \dfrac{1}{x} \int_0^x f(t)dt \\
=\lim_{x \to +\infty} \dfrac{1}{x} (\int_0^X f(t)dt+\int_X^x f(t)dt) \\
=\lim_{x \to +\infty} \dfrac{1}{x} \int_X^xf(t)dt \\
\in(\lim_{x \to +\infty} \dfrac{1}{x} (l-\epsilon)(x-X),\lim_{x \to +\infty} (l+\epsilon)(x+X )) \\
=(l-\epsilon,l+\epsilon)
\end{gathered} ∃ X , x > X ⟹ ∣ f ( x ) − l ∣ < ϵ x → + ∞ lim x 1 ∫ 0 x f ( t ) d t = x → + ∞ lim x 1 ( ∫ 0 X f ( t ) d t + ∫ X x f ( t ) d t ) = x → + ∞ lim x 1 ∫ X x f ( t ) d t ∈ ( x → + ∞ lim x 1 ( l − ϵ ) ( x − X ) , x → + ∞ lim ( l + ϵ ) ( x + X )) = ( l − ϵ , l + ϵ )
因为对任意ϵ > 0 \epsilon>0 ϵ > 0 均成立,于是得证.
T10
f ( x ) is integrable on [ A , B ] ⟹ ∀ a < b ∈ ( A , B ) lim h → 0 ∫ a b ∣ f ( x + h ) − f ( x ) ∣ d x = 0 \begin{gathered}
f(x) \text{ is integrable on } [A,B] \\
\implies \forall a<b \in (A,B) \\
\lim_{h \to 0} \int_a^b \vert f(x+h)-f(x) \vert dx=0
\end{gathered} f ( x ) is integrable on [ A , B ] ⟹ ∀ a < b ∈ ( A , B ) h → 0 lim ∫ a b ∣ f ( x + h ) − f ( x ) ∣ d x = 0
∀ T = { a = t 0 < … < t n = b } lim ∣ ∣ T ∣ ∣ → 0 ∑ i = 1 n w i ( t i − t i − 1 ) = 0 ( w i = sup x , y ∈ [ t i − 1 , t i ] f ( x ) − f ( y ) ) \begin{gathered}
\forall T=\{ a=t_0<\ldots< t_n=b \} \\
\lim_{\vert\vert T \vert\vert \to 0} \sum _{i = 1} ^{n} w_i(t_i-t_{i-1})=0 \\(w_i=\sup_{x,y \in [t_{i-1},t_i]} f(x)-f(y))
\end{gathered} ∀ T = { a = t 0 < … < t n = b } ∣∣ T ∣∣ → 0 lim i = 1 ∑ n w i ( t i − t i − 1 ) = 0 ( w i = x , y ∈ [ t i − 1 , t i ] sup f ( x ) − f ( y ))
对一个h h h ,按长度h h h 分割得到∀ i < n , t i − t i − 1 = h \forall i<n,t_i-t_{i-1}=h ∀ i < n , t i − t i − 1 = h 的T T T ,则∀ x ∈ [ t i − 1 , t i ] \forall x\in [t_{i-1},t_i] ∀ x ∈ [ t i − 1 , t i ] ,∣ f ( x + h ) − f ( x ) ∣ ≤ w i + w i + 1 \vert f(x+h)-f(x)\vert\le w_i+w_{i+1} ∣ f ( x + h ) − f ( x ) ∣ ≤ w i + w i + 1 ,于是
lim h → 0 ∫ a b ∣ f ( x h ) − f ( x ) ∣ d x ≤ lim h → 0 ∑ i = 1 n − 1 ( t i − t i − 1 ) ( w i + w i + 1 ) + ( t n − t n − 1 ) w n ≤ lim h → 0 2 ∑ i = 1 n w i ( t i − t i − 1 ) = lim ∣ ∣ T ∣ ∣ → 0 2 w i ( t i − t i − 1 ) = 0 \begin{gathered}
\lim_{h \to 0} \int_a^b \vert f(x_h)-f(x) \vert dx\le \lim_{h \to 0} \sum_{i=1}^{n-1}(t_i-t_{i-1})(w_i+w_{i+1})+(t_n-t_{n-1})w_n \\
\le \lim_{h \to 0} 2 \sum _{i = 1} ^{n}w_i(t_i-t_{i-1}) \\
=\lim_{\vert\vert T \vert\vert \to 0} 2w_i(t_i-t_{i-1}) \\
=0
\end{gathered} h → 0 lim ∫ a b ∣ f ( x h ) − f ( x ) ∣ d x ≤ h → 0 lim i = 1 ∑ n − 1 ( t i − t i − 1 ) ( w i + w i + 1 ) + ( t n − t n − 1 ) w n ≤ h → 0 lim 2 i = 1 ∑ n w i ( t i − t i − 1 ) = ∣∣ T ∣∣ → 0 lim 2 w i ( t i − t i − 1 ) = 0
T11
lim x → + ∞ ∫ 0 x ( arctan t ) 2 d t 1 + x 2 \begin{gathered}
\lim_{x \to +\infty} \dfrac{\int_0^x (\arctan t)^2dt}{\sqrt{1+x^2}}
\end{gathered} x → + ∞ lim 1 + x 2 ∫ 0 x ( arctan t ) 2 d t
= L’Hospital lim x → + ∞ 1 + x 2 arctan 2 x x = lim x → + ∞ 1 + 1 x 2 arctan 2 x = π 2 4 \begin{gathered}
\xlongequal{\text{L'Hospital} }
\lim_{x \to +\infty} \dfrac{\sqrt{1+x^2}\arctan^2 x}{x} \\
=\lim_{x \to +\infty} \sqrt{ 1+\dfrac{1}{x^2} } \arctan^2 x \\
=\dfrac{\pi^2}{4}
\end{gathered} L’Hospital x → + ∞ lim x 1 + x 2 arctan 2 x = x → + ∞ lim 1 + x 2 1 arctan 2 x = 4 π 2
T12
{ b > 0 , f ( x ) ∈ C [ 0 , b ] f ( x ) is strictly increasing ⟹ 2 ∫ 0 b x f ( x ) d x ≥ b ∫ 0 b f ( x ) d x \begin{gathered}
\begin{cases}
b>0,f(x) \in C[0,b] \\
f(x) \text{ is strictly increasing}
\end{cases} \\
\implies 2\int_0^b xf(x)dx\ge b\int_0^b f(x)dx
\end{gathered} { b > 0 , f ( x ) ∈ C [ 0 , b ] f ( x ) is strictly increasing ⟹ 2 ∫ 0 b x f ( x ) d x ≥ b ∫ 0 b f ( x ) d x
∫ 0 b f ( x ) ( 2 x − b ) d x = − ∫ 0 b 2 f ( x ) ( b − 2 x ) d x + ∫ b 2 b f ( x ) ( 2 x − b ) d x = ∫ 0 b 2 f ( x ) ( b − 2 x ) ( f ( b − x ) − f ( x ) ) d x ≥ 0 \begin{gathered}
\int_0^b f(x)(2x-b)dx \\
=-\int_0^\frac{b}2f(x)(b-2x)dx+\int_\frac{b}2^bf(x)(2x-b)dx \\
=\int_0^\frac{b}2 f(x)(b-2x)(f(b-x)-f(x))dx\ge 0
\end{gathered} ∫ 0 b f ( x ) ( 2 x − b ) d x = − ∫ 0 2 b f ( x ) ( b − 2 x ) d x + ∫ 2 b b f ( x ) ( 2 x − b ) d x = ∫ 0 2 b f ( x ) ( b − 2 x ) ( f ( b − x ) − f ( x )) d x ≥ 0
T13
f ( x ) ∈ D [ 0 , 1 ] , f ( 0 ) = 0 , f ′ ( x ) ∈ [ 0 , 1 ] ⟹ ∫ 0 1 f 3 ( x ) d x ≤ ( ∫ 0 1 f ( x ) d x ) 2 \begin{gathered}
f(x)\in D[0,1],f(0)=0,f'(x)\in[0,1] \\
\implies \int_0^1 f^3(x)dx\le (\int_0^1 f(x)dx)^2
\end{gathered} f ( x ) ∈ D [ 0 , 1 ] , f ( 0 ) = 0 , f ′ ( x ) ∈ [ 0 , 1 ] ⟹ ∫ 0 1 f 3 ( x ) d x ≤ ( ∫ 0 1 f ( x ) d x ) 2
let F ( x ) = ∫ 0 x f 3 ( t ) d t − ( ∫ 0 x f ( t ) d t ) 2 F ′ ( x ) = f 3 ( x ) − 2 ( ∫ 0 x f ( t ) d t ) f ( x ) let F 1 ( x ) = f 2 ( x ) − 2 ∫ 0 x f ( t ) d t F 1 ′ ( x ) = 2 f ( x ) f ′ ( x ) − 2 f ( x ) ≤ 0 ⟹ F 1 ′ ( x ) ≤ F 1 ′ ( 0 ) = 0 ⟹ F ′ ( x ) < 0 ⟹ F ( x ) < F ( 0 ) = 0 Q.E.D \begin{gathered}
\text{let } F(x)=\int_0^x f^3(t)dt-(\int_0^x f(t)dt)^2 \\
F'(x)=f^3(x)-2(\int_0^x f(t)dt)f(x) \\
\text{let } F_1(x)=f^2(x)-2\int_0^x f(t)dt \\
F_1'(x)=2f(x)f'(x)-2f(x)\le 0 \\
\implies F_1'(x)\le F_1'(0)=0 \\
\implies F'(x)<0 \\
\implies F(x)<F(0)=0 \\
\text{Q.E.D}
\end{gathered} let F ( x ) = ∫ 0 x f 3 ( t ) d t − ( ∫ 0 x f ( t ) d t ) 2 F ′ ( x ) = f 3 ( x ) − 2 ( ∫ 0 x f ( t ) d t ) f ( x ) let F 1 ( x ) = f 2 ( x ) − 2 ∫ 0 x f ( t ) d t F 1 ′ ( x ) = 2 f ( x ) f ′ ( x ) − 2 f ( x ) ≤ 0 ⟹ F 1 ′ ( x ) ≤ F 1 ′ ( 0 ) = 0 ⟹ F ′ ( x ) < 0 ⟹ F ( x ) < F ( 0 ) = 0 Q.E.D
T14
{ f ( x ) ∈ C [ 0 , + ∞ ) x > 0 ⟹ ∫ 0 x f ( t ) d t = 1 2 x f ( x ) ⟹ f ( x ) = c x , x > 0 \begin{gathered}
\begin{cases}
f(x) \in C[0,+\infty) \\
x>0 \implies \int_0^x f(t)dt=\dfrac{1}{2} xf(x)
\end{cases} \\
\implies f(x)=cx,x>0
\end{gathered} ⎩ ⎨ ⎧ f ( x ) ∈ C [ 0 , + ∞ ) x > 0 ⟹ ∫ 0 x f ( t ) d t = 2 1 x f ( x ) ⟹ f ( x ) = c x , x > 0
x = 0 x=0 x = 0 时,显然同样∫ 0 x f ( t ) d t = 1 2 x f ( x ) \int_0^x f(t)dt=\dfrac{1}{2}xf(x) ∫ 0 x f ( t ) d t = 2 1 x f ( x ) ,这个式子对[ 0 , + ∞ ) [0,+\infty) [ 0 , + ∞ ) 成立.
两边同时求导,f ( x ) = 1 2 f ( x ) + 1 2 x f ′ ( x ) f(x)=\dfrac{1}{2} f(x)+\dfrac{1}{2} xf'(x) f ( x ) = 2 1 f ( x ) + 2 1 x f ′ ( x ) ,于是
f ( x ) = x f ′ ( x ) f ( x ) − x f ′ ( x ) x 2 = 0 ⟹ ( f ( x ) x ) ′ = 0 ⟹ f ( x ) = c x \begin{gathered}
f(x)=xf'(x) \\
\dfrac{f(x)-xf'(x)}{x^2} =0 \\
\implies (\dfrac{f(x)}{x} )'=0 \\
\implies f(x)=cx
\end{gathered} f ( x ) = x f ′ ( x ) x 2 f ( x ) − x f ′ ( x ) = 0 ⟹ ( x f ( x ) ) ′ = 0 ⟹ f ( x ) = c x
T15
f ( x ) ∈ C [ 0 , + ∞ ) , f ( x ) > 0 ⟹ ϕ ( x ) = ∫ 0 x t f ( t ) d t ∫ 0 x f ( t ) d t is strictly increasing \begin{gathered}
f(x) \in C[0,+\infty),f(x)>0 \\
\implies \phi(x)=\dfrac{\int_0^x tf(t)dt}{\int_0^x f(t)dt} \text{ is strictly increasing}
\end{gathered} f ( x ) ∈ C [ 0 , + ∞ ) , f ( x ) > 0 ⟹ ϕ ( x ) = ∫ 0 x f ( t ) d t ∫ 0 x t f ( t ) d t is strictly increasing
∫ 0 x t f ( t ) d t < ∫ 0 x x f ( t ) d t ⟹ ϕ ′ ( x ) = x f ( x ) ∫ 0 x f ( t ) d t − f ( x ) ∫ 0 x t f ( t ) d t ( ∫ 0 x f ( t ) d t ) 2 > 0 Q.E.D \begin{gathered}
\int_0^x tf(t)dt<\int_0^x xf(t)dt \\
\implies
\phi'(x)=\dfrac{xf(x)\int_0^x f(t)dt-f(x)\int_0^x tf(t)dt}{(\int_0^x f(t)dt)^2}>0 \\
\text{Q.E.D}
\end{gathered} ∫ 0 x t f ( t ) d t < ∫ 0 x x f ( t ) d t ⟹ ϕ ′ ( x ) = ( ∫ 0 x f ( t ) d t ) 2 x f ( x ) ∫ 0 x f ( t ) d t − f ( x ) ∫ 0 x t f ( t ) d t > 0 Q.E.D
T16
∫ 0 1 ( 2 x − 1 ) e x 2 − 1 d x \begin{gathered}
\int_0^1 (2x-1)e^{x^2-1}dx
\end{gathered} ∫ 0 1 ( 2 x − 1 ) e x 2 − 1 d x
等价于积∫ 0 1 e x 2 d x \int_0^1 e^{x^2}dx ∫ 0 1 e x 2 d x ,感觉做不了.
T17
lim n → ∞ ∑ k = 1 n ( n + k ) ( n + k + 1 ) n 4 \begin{gathered}
\lim_{n \to \infty} \sum _{k = 1} ^{n} \sqrt{ \dfrac{(n+k)(n+k+1)}{n^4} }
\end{gathered} n → ∞ lim k = 1 ∑ n n 4 ( n + k ) ( n + k + 1 )
= lim n → ∞ ∑ k = 1 n 1 n ( k n + 1 ) ( k + 1 n + 1 ) \begin{gathered}
=\lim_{n \to \infty} \sum _{k = 1} ^{n} \dfrac{1}{n} \sqrt{ (\dfrac{k}{n} +1)(\dfrac{k+1}{n} +1) } \\
\end{gathered} = n → ∞ lim k = 1 ∑ n n 1 ( n k + 1 ) ( n k + 1 + 1 )
令f ( x ) = x , T = { t i = 1 + i n } , ξ i = ( k n + 1 ) ( k + 1 n + 1 ) f(x)=x,T=\{ t_i=1+\dfrac in \},\xi_i=\sqrt{(\dfrac{k}{n} +1)(\dfrac{k+1}{n} +1)} f ( x ) = x , T = { t i = 1 + n i } , ξ i = ( n k + 1 ) ( n k + 1 + 1 ) ,于是原式就是
∫ 1 2 x d x = 3 2 \begin{gathered}
\int_1^2 xdx=\dfrac{3}{2}
\end{gathered} ∫ 1 2 x d x = 2 3
T18
∀ x ∈ [ − 1 , + ∞ ) , f ( x ) = ∫ − 1 x e 1 t t 2 ( 1 + e 1 t ) 2 d t ⟹ f ( x ) = ? \begin{gathered}
\forall x\in[-1,+\infty),f(x)=\int_{-1}^x \dfrac{e^{\frac1t}}{t^2(1+e^\frac1t)^2} dt \\
\implies f(x)=?
\end{gathered} ∀ x ∈ [ − 1 , + ∞ ) , f ( x ) = ∫ − 1 x t 2 ( 1 + e t 1 ) 2 e t 1 d t ⟹ f ( x ) = ?
let u = e 1 t f ( x ) = − ∫ 1 e 1 e x 1 ( 1 + u ) 2 d u = 1 e 1 x + 1 − e e + 1 , x < 0 f ( 0 ) = 1 − e 1 + e = 1 1 + e x > 0 ⟹ f ( x ) = f ( 0 ) + f ( x ) − f ( 0 + ) = 1 e 1 x + 1 − e 1 + e + 1 \begin{gathered}
\text{let } u=e^{\frac1t} \\
f(x)=-\int_{\frac1e}^{\frac1{e^x}} \dfrac{1}{(1+u)^2} du \\
=\dfrac{1}{e^\frac1x+1} -\dfrac{e}{e+1},x<0 \\
f(0)=1-\dfrac{e}{1+e} =\dfrac{1}{1+e} \\
x>0 \implies f(x)=f(0)+f(x)-f(0^+)=\dfrac{1}{e^\frac1x+1} -\dfrac{e}{1+e} +1
\end{gathered} let u = e t 1 f ( x ) = − ∫ e 1 e x 1 ( 1 + u ) 2 1 d u = e x 1 + 1 1 − e + 1 e , x < 0 f ( 0 ) = 1 − 1 + e e = 1 + e 1 x > 0 ⟹ f ( x ) = f ( 0 ) + f ( x ) − f ( 0 + ) = e x 1 + 1 1 − 1 + e e + 1
Class 2
T1
∫ 0 1 ∣ 1 − 2 x ∣ d x \begin{gathered}
\int_0^1 \vert 1-2x \vert dx
\end{gathered} ∫ 0 1 ∣1 − 2 x ∣ d x
= 2 ∫ 0 1 2 ( 1 − 2 x ) d x = 2 ( x − x 2 ∣ 0 1 2 ) d x = 1 2 \begin{gathered}
=2\int_0^{\frac12}(1-2x)dx \\
=2(x-x^2\vert^{\frac12}_0)dx \\
=\dfrac{1}{2}
\end{gathered} = 2 ∫ 0 2 1 ( 1 − 2 x ) d x = 2 ( x − x 2 ∣ 0 2 1 ) d x = 2 1
T2
∫ − π 2 π 2 cos x − cos 3 x d x \begin{gathered}
\int_{-\frac\pi2}^{\frac\pi2} \sqrt{ \cos x-\cos^3 x } dx
\end{gathered} ∫ − 2 π 2 π cos x − cos 3 x d x
= − 2 ∫ 0 π 2 cos x d cos x = − 4 3 cos 3 2 x ∣ 0 π 2 = 4 3 \begin{gathered}
=-2\int^{\frac\pi2}_{0} \sqrt{ \cos x } d\cos x \\
=-\dfrac{4}{3} \cos^{\frac32} x \vert_0^{\frac\pi2} \\
=\dfrac{4}{3}
\end{gathered} = − 2 ∫ 0 2 π cos x d cos x = − 3 4 cos 2 3 x ∣ 0 2 π = 3 4
T3
∫ 1 e e ∣ ln x ∣ d x \begin{gathered}
\int_{\frac1e}^e \vert \ln x \vert dx
\end{gathered} ∫ e 1 e ∣ ln x ∣ d x
= − ∫ 1 e 1 ln x d x + ∫ 1 e ln x d x = − ( x ln x − x ) ∣ 1 e 1 + ( x ln x − x ) ∣ 1 e = 1 − 2 e + 1 = 2 − 2 e \begin{gathered}
=-\int_{\frac1e}^1 \ln xdx+\int_1^e \ln xdx \\
=-(x\ln x-x)\vert_{\frac1e}^1+(x\ln x-x)\vert_1^e \\
=1-\dfrac{2}{e}+1 \\
=2-\dfrac{2}{e}
\end{gathered} = − ∫ e 1 1 ln x d x + ∫ 1 e ln x d x = − ( x ln x − x ) ∣ e 1 1 + ( x ln x − x ) ∣ 1 e = 1 − e 2 + 1 = 2 − e 2
T4
∫ 0 π e x cos 2 x d x \begin{gathered}
\int_0^\pi e^x \cos^2 xdx
\end{gathered} ∫ 0 π e x cos 2 x d x
= e x cos 2 x ∣ 0 π + ∫ 0 π e x 2 cos x sin x d x = e π − 1 + ∫ 0 π e x sin 2 x d x \begin{gathered}
=e^x\cos^2 x \vert_0^\pi+\int_0^\pi e^x 2\cos x\sin xdx \\
=e^\pi-1+\int_0^\pi e^x \sin 2x dx \\
\end{gathered} = e x cos 2 x ∣ 0 π + ∫ 0 π e x 2 cos x sin x d x = e π − 1 + ∫ 0 π e x sin 2 x d x
∫ 0 π e x sin 2 x d x = 1 2 ∫ 0 2 π e x 2 sin x d x = ( e x 2 sin x ∣ 0 2 π ) − ∫ 0 2 π e x 2 cos x d x = ( e x 2 sin x ∣ 0 2 π ) − ( 2 e x 2 cos x ∣ 0 2 π ) − 2 ∫ 0 2 π e x 2 sin x d x ⟹ ∫ 0 π e x sin 2 x d x = − 2 5 e π + 2 5 ⟹ A n s = 3 5 e π − 3 5 \begin{gathered}
\int_0^\pi e^x \sin 2xdx \\
=\dfrac{1}{2}\int_0^{2\pi }e^{\frac{x}{2} }\sin xdx \\
=(e^{\frac x2}\sin x\vert _0^{2\pi})-\int_0^{2\pi}e^{\frac x2}\cos xdx \\
=(e^{\frac x2}\sin x\vert _0^{2\pi})-(2e^{\frac x2}\cos x\vert_0^{2\pi})-2\int_0^{2\pi}e^{\frac x2}\sin xdx \\
\implies \int_0^\pi e^x\sin 2xdx=-\dfrac{2}{5} e^\pi+\dfrac{2}{5}
\implies Ans=\dfrac{3}{5} e^\pi-\dfrac{3}{5}
\end{gathered} ∫ 0 π e x sin 2 x d x = 2 1 ∫ 0 2 π e 2 x sin x d x = ( e 2 x sin x ∣ 0 2 π ) − ∫ 0 2 π e 2 x cos x d x = ( e 2 x sin x ∣ 0 2 π ) − ( 2 e 2 x cos x ∣ 0 2 π ) − 2 ∫ 0 2 π e 2 x sin x d x ⟹ ∫ 0 π e x sin 2 x d x = − 5 2 e π + 5 2 ⟹ A n s = 5 3 e π − 5 3
T5
∫ 1 e ( x ln x ) 2 d x = ( 1 3 x 3 ln 2 x − 2 9 x 3 ln x + 2 27 x 3 ) ∣ 1 e = 5 e 3 − 2 27 \begin{gathered}
\int_1^e (x\ln x)^2 dx \\
=(\dfrac{1}{3} x^3\ln^2 x-\dfrac{2}{9} x^3\ln x+\dfrac{2}{27} x^3)\vert_1^e \\
=\dfrac{5e^3-2}{27}
\end{gathered} ∫ 1 e ( x ln x ) 2 d x = ( 3 1 x 3 ln 2 x − 9 2 x 3 ln x + 27 2 x 3 ) ∣ 1 e = 27 5 e 3 − 2
T6
∫ 0 1 ( 1 − x 2 ) n d x \begin{gathered}
\int_0^1 (1-x^2)^n dx
\end{gathered} ∫ 0 1 ( 1 − x 2 ) n d x
x = sin t ∫ 0 1 ( 1 − x 2 ) n d x = ∫ 0 π 2 cos 2 n + 1 t d t \begin{gathered}
x=\sin t \\
\int_0^1 (1-x^2)^n dx \\
=\int_0^{\frac{\pi}{2}} \cos^{2n+1}tdt
\end{gathered} x = sin t ∫ 0 1 ( 1 − x 2 ) n d x = ∫ 0 2 π cos 2 n + 1 t d t
I m = ∫ 0 π 2 cos m t d t = sin t cos m − 1 t ∣ 0 π 2 + ( m − 1 ) ∫ 0 π 2 sin 2 t cos m − 2 t d t = + ( m − 1 ) ∫ 0 π 2 cos m − 2 t d t − ( m − 1 ) ∫ 0 π 2 cos m t d t = + ( m − 1 ) I m − 2 − ( m − 1 ) I m ⟹ I m = m − 1 m I m − 2 I 1 = 1 A n s = I 2 n + 1 = ( 2 n ) ! ! ( 2 n + 1 ) ! ! \begin{gathered}
I_m=\int_0^{\frac{\pi}{2}}\cos^m tdt \\
=\sin t\cos^{m-1}t\vert_0^{\frac{\pi}{2}}+(m-1)\int_0^{\frac{\pi}{2}}\sin^2 t\cos^{m-2}tdt \\
=+(m-1)\int_0^{\frac{\pi}{2}}\cos^{m-2}tdt-(m-1)\int_0^{\frac{\pi}{2}}\cos^m tdt \\
=+(m-1)I_{m-2}-(m-1)I_m \\
\implies I_m=\dfrac{m-1}m I_{m-2} \\
I_1=1 \\
Ans=I_{2n+1}=\dfrac{(2n)!!}{(2n+1)!!}
\end{gathered} I m = ∫ 0 2 π cos m t d t = sin t cos m − 1 t ∣ 0 2 π + ( m − 1 ) ∫ 0 2 π sin 2 t cos m − 2 t d t = + ( m − 1 ) ∫ 0 2 π cos m − 2 t d t − ( m − 1 ) ∫ 0 2 π cos m t d t = + ( m − 1 ) I m − 2 − ( m − 1 ) I m ⟹ I m = m m − 1 I m − 2 I 1 = 1 A n s = I 2 n + 1 = ( 2 n + 1 )!! ( 2 n )!!
T7
∫ 0 π 4 cos 7 ( 2 x ) d x \begin{gathered}
\int_0^{\frac\pi4}\cos^7 (2x)dx
\end{gathered} ∫ 0 4 π cos 7 ( 2 x ) d x
= 1 2 ∫ 0 π 2 cos 7 x d x = 1 2 I 7 = 8 35 \begin{gathered}
=\dfrac{1}{2}\int_0^{\frac\pi2}\cos^7 xdx \\
=\dfrac{1}{2} I_7 \\
=\dfrac{8}{35}
\end{gathered} = 2 1 ∫ 0 2 π cos 7 x d x = 2 1 I 7 = 35 8
T8
∫ 0 π 4 ln ( 1 + tan x ) d x \begin{gathered}
\int_0^{\frac\pi4}\ln(1+\tan x)dx
\end{gathered} ∫ 0 4 π ln ( 1 + tan x ) d x
I = ∫ 0 π 4 ln ( 1 + tan x ) d x = ∫ 0 π 4 ln ( 1 + tan ( π 4 − x ) ) d x = ∫ 0 π 4 ln ( 1 + 1 − tan x 1 + tan x ) d x = ∫ 0 π 4 ( ln 2 − ln ( 1 + tan x ) ) d x = π 4 ln 2 − I ⟹ I = π 8 ln 2 \begin{gathered}
I \\
=\int_0^{\frac\pi4}\ln(1+\tan x)dx \\
=\int_0^{\frac\pi4}\ln(1+\tan(\dfrac{\pi}4-x))dx \\
=\int_0^{\frac\pi4}\ln(1+\dfrac{1-\tan x}{1+\tan x} )dx \\
=\int_0^{\frac\pi4}(\ln2-\ln (1+\tan x))dx\\
=\dfrac{\pi}{4} \ln 2-I \\
\implies I=\dfrac{\pi}{8} \ln 2
\end{gathered} I = ∫ 0 4 π ln ( 1 + tan x ) d x = ∫ 0 4 π ln ( 1 + tan ( 4 π − x )) d x = ∫ 0 4 π ln ( 1 + 1 + tan x 1 − tan x ) d x = ∫ 0 4 π ( ln 2 − ln ( 1 + tan x )) d x = 4 π ln 2 − I ⟹ I = 8 π ln 2
T9
∫ 0 π 2 1 1 + tan α x d x ( α > 0 ) \begin{gathered}
\int_0^{\frac\pi2}\dfrac{1}{1+\tan^\alpha x} dx(\alpha>0)
\end{gathered} ∫ 0 2 π 1 + tan α x 1 d x ( α > 0 )
I = ∫ 0 π 2 1 1 + tan α x d x = ∫ 0 π 2 tan α x 1 + tan α x d x = ∫ 0 π 2 1 d x − ∫ 0 π 2 d x 1 + tan α x = π 2 − I ⟹ I = π 4 \begin{gathered}
I=\int_0^{\frac\pi2}\dfrac{1}{1+\tan^\alpha x} dx \\
=\int_0^{\frac\pi2}\dfrac{\tan \alpha x}{1+\tan \alpha x} dx \\
=\int_0^\frac\pi21dx-\int_0^\frac\pi2 \dfrac{dx}{1+\tan \alpha x} \\
=\dfrac{\pi}{2} -I \\
\implies I=\dfrac{\pi}{4}
\end{gathered} I = ∫ 0 2 π 1 + tan α x 1 d x = ∫ 0 2 π 1 + tan α x tan α x d x = ∫ 0 2 π 1 d x − ∫ 0 2 π 1 + tan α x d x = 2 π − I ⟹ I = 4 π
T10
∫ 0 n π x ∣ sin x ∣ d x , n ∈ N \begin{gathered}
\int_0^{n\pi} x \vert \sin x \vert dx,n\in N
\end{gathered} ∫ 0 nπ x ∣ sin x ∣ d x , n ∈ N
I k = ∫ k π ( k + 1 ) π x ∣ sin x ∣ d x = ∫ ( k − 1 ) π k π ( x + π ) ∣ sin ( x + π ) ∣ d x = ∫ ( k − 1 ) π k π x ∣ sin x ∣ d x + π ∫ ( k − 1 ) π k π ∣ sin x ∣ = I k − 1 + 2 π I 0 = ∫ 0 π x sin x d x = ( − x cos x + sin x ) ∣ 0 π = π ⟹ A n s = ∑ i = 0 n − 1 I i = n 2 π \begin{gathered}
I_k=\int_{k\pi}^{(k+1)\pi} x \vert \sin x \vert dx \\
=\int_{(k-1)\pi}^{k\pi} (x+\pi) \vert \sin (x+\pi) \vert dx \\
=\int_{(k-1)\pi}^{k\pi} x \vert \sin x \vert dx
+\pi\int_{(k-1)\pi}^{k\pi}\vert \sin x \vert \\
=I_{k-1} +2\pi \\
I_0=\int_0^\pi x\sin xdx \\
=(-x\cos x+\sin x) \vert_0^\pi \\
=\pi \\
\implies Ans=\sum _{i = 0} ^{n-1} I_i \\
=n^2\pi
\end{gathered} I k = ∫ k π ( k + 1 ) π x ∣ sin x ∣ d x = ∫ ( k − 1 ) π k π ( x + π ) ∣ sin ( x + π ) ∣ d x = ∫ ( k − 1 ) π k π x ∣ sin x ∣ d x + π ∫ ( k − 1 ) π k π ∣ sin x ∣ = I k − 1 + 2 π I 0 = ∫ 0 π x sin x d x = ( − x cos x + sin x ) ∣ 0 π = π ⟹ A n s = i = 0 ∑ n − 1 I i = n 2 π
T11
f ( x ) ∈ C ( R ) , calculate d d x ∫ 0 x t f ( x 2 − t 2 ) d t \begin{gathered}
f(x)\in C(R), \\
\text{calculate } \dfrac{d}{dx} \int_0^x tf(x^2-t^2)dt
\end{gathered} f ( x ) ∈ C ( R ) , calculate d x d ∫ 0 x t f ( x 2 − t 2 ) d t
F ( x ) = ∫ 0 x t f ( x 2 − t 2 ) d t let s = x 2 − t 2 , d s = − 2 t d t F ( x ) = ∫ x 2 0 − 1 d s 2 f ( s ) = ∫ 0 x 2 1 2 f ( s ) d s F ′ ( x ) = 2 x 1 2 f ( x 2 ) = x f ( x 2 ) \begin{gathered}
F(x)=\int_0^x tf(x^2-t^2)dt \\
\text{let } s=x^2-t^2,ds=-2tdt \\
F(x)=\int_{x^2}^0 \dfrac{-1ds}{2} f(s) \\
=\int_0^{x^2} \dfrac{1}{2} f(s)ds \\
F'(x)=2x \dfrac{1}{2} f(x^2)=xf(x^2)
\end{gathered} F ( x ) = ∫ 0 x t f ( x 2 − t 2 ) d t let s = x 2 − t 2 , d s = − 2 t d t F ( x ) = ∫ x 2 0 2 − 1 d s f ( s ) = ∫ 0 x 2 2 1 f ( s ) d s F ′ ( x ) = 2 x 2 1 f ( x 2 ) = x f ( x 2 )
T12
f ( x ) ∈ C ( R ) , f ( x ) = x + 2 ∫ 0 1 f ( t ) d t calculate f ( x ) \begin{gathered}
f(x)\in C(R), \\
f(x)=x+2\int_0^1 f(t)dt \\
\text{calculate } f(x)
\end{gathered} f ( x ) ∈ C ( R ) , f ( x ) = x + 2 ∫ 0 1 f ( t ) d t calculate f ( x )
f ′ ( x ) = 1 ⟹ f ( x ) = x + C x + C = x + 2 ∫ 0 1 ( t + C ) d t = x + 2 ( t 2 2 + C t ) ∣ 0 1 = x + 1 + 2 C ⟹ C = − 1 , f ( x ) = x − 1 \begin{gathered}
f'(x)=1 \implies f(x)=x+C \\
x+C=x+2\int_0^1 (t+C)dt \\
=x+2(\dfrac{t^2}{2} +Ct)\vert_0^1 \\
=x+1+2C \\
\implies C=-1,f(x)=x-1
\end{gathered} f ′ ( x ) = 1 ⟹ f ( x ) = x + C x + C = x + 2 ∫ 0 1 ( t + C ) d t = x + 2 ( 2 t 2 + C t ) ∣ 0 1 = x + 1 + 2 C ⟹ C = − 1 , f ( x ) = x − 1