---
title: "التكامل على قطعة"
book: "الرياضيات الجامعية — السنة 1"
subject: math
language: ar
chapter: 15
exercises: 12
source: https://one-course.com/books/math/3/ar/chapter/15-integration-on-a-segment
---

# الفصل 15 — التكامل على قطعة

قام تكامل مجلّد الثانوي على مساحات مأخوذة بالحدس. ويبني هذا الفصل [التكامل](#thm-b1-integration-def): أولًا من أجل الدوال الدرجية، حيث يكون [التكامل](#thm-b1-integration-def) مجموعًا منتهيًا، ثم من أجل الدوال [المتصلة](https://one-course.com/books/math/3/ar/chapter/13-limits-and-continuity#def-b1-continuity-continuous) ([والمتصلة](https://one-course.com/books/math/3/ar/chapter/13-limits-and-continuity#def-b1-continuity-continuous) قطعةً قطعة) بالتقريب المنتظم — وهو الموضع الذي تكسب فيه مبرهنة هاينه ([المبرهنة 13.22](https://one-course.com/books/math/3/ar/chapter/13-limits-and-continuity#thm-b1-continuity-heine)) قوتَها. ثم تربط المبرهنة الأساسية في [التكامل](#thm-b1-integration-def) البناءَ بالدوال الأصلية، وتربطه [مجاميع ريمان](#thm-b1-integration-riemann) بالمتوسطات المتقطّعة.

وفي كل ما يأتي، $a < b$ عددان حقيقيان.

## 15.1 الدوال الدرجية

**تعريف 15.1.**

تكون $\varphi \colon \intcc{a}{b} \to \R$ *دالة درجية* إذا وُجدت تجزئة $a = x_0
< x_1 < \dots < x_n = b$ تكون $\varphi$ عليها ثابتة، مساوية $c_i$، على كل [فترة](https://one-course.com/books/math/3/ar/chapter/10-real-numbers#prop-b1-reals-intervals) [مفتوحة](https://one-course.com/books/math/3/ar/chapter/12-topology-of-the-real-line#def-b1-topology-open) $\intoo{x_{i-1}}{x_i}$ (والقيم عند العقد غير مقيَّدة). وتكاملها هو

$$
\int_a^b \varphi = \sum_{i=1}^{n} c_i\,(x_i - x_{i-1}),
$$

وهو مستقل عن التجزئة المختارة (لطّف تجزئتين بتجزئتهما المشتركة: فلا يتغير أيّ طرف بالتلطيف).

**قضية 15.2.**

على الدوال الدرجية، يكون [التكامل](#thm-b1-integration-def) خطيًا ومتزايدًا ($\varphi \leq
\psi \implies \int\varphi \leq \int\psi$)، ويحقق علاقة شال $\int_a^b = \int_a^c + \int_c^b$ من أجل $a < c < b$.

**برهان.** المحرّك هو *الحفظ بالتلطيف*، المذكور في التعريف: فإدخال عقدة إضافية واحدة $t \in \intoo{x_{i-1}}{x_i}$ في تجزئة يستبدل بالحد $c_i(x_i - x_{i-1})$ المقدارَ $c_i(t - x_{i-1}) + c_i(x_i - t)$ — وهو العدد نفسه — ومنه فلا يتغير [التكامل](#thm-b1-integration-def) بأيّ تلطيف منته. والآن خذ $\varphi$ بالتجزئة $\sigma$ و $\psi$ بالتجزئة $\sigma'$: فعلى التلطيف المشترك $\sigma \cup \sigma'$ تكون كلتاهما دالتين درجيتين بالعقد *نفسها*، وعلى كل قطعة تكون $\varphi + \lambda\psi$ ثابتة تساوي $c_i + \lambda
d_i$: ومنه تُردّ الخطية إلى خطية المجاميع المنتهية. والتزايد: يعطي $c_i \leq d_i$ على كل قطعة أن $\sum c_i \Delta_i \leq \sum
d_i \Delta_i$ (لأن الأطوال $\Delta_i \geq 0$). وشال: أدخل العقدة $c$ واقسم المجموع عندها. ∎

## 15.2 تكامل دالة متصلة

**مبرهنة 15.3 (التقريب المنتظم).**

لتكن $f$ [متصلة](https://one-course.com/books/math/3/ar/chapter/13-limits-and-continuity#def-b1-continuity-continuous) على $\intcc{a}{b}$. من أجل كل $\varepsilon > 0$ توجد دالتان درجيتان $\varphi, \psi$ تحققان

$$
\varphi \leq f \leq \psi
\qquad\text{و}\qquad
\psi - \varphi \leq \varepsilon \text{ على } \intcc{a}{b}.
$$

**برهان.** حسب مبرهنة هاينه ([المبرهنة 13.22](https://one-course.com/books/math/3/ar/chapter/13-limits-and-continuity#thm-b1-continuity-heine))، تكون $f$ [متصلة انتظامًا](https://one-course.com/books/math/3/ar/chapter/13-limits-and-continuity#def-b1-continuity-uniform): اختر $\delta$ من أجل $\varepsilon$، وتجزئةً خطوتها $< \delta$ (متساوية التباعد مثلًا، بعدد $n > \frac{b -
a}{\delta}$ قطعة). وعلى كل قطعة [مغلقة](https://one-course.com/books/math/3/ar/chapter/12-topology-of-the-real-line#def-b1-topology-closed) $\intcc{x_{i-1}}{x_i}$، تبلغ $f$ قيمة صغرى $m_i$ وقيمة عظمى $M_i$ ([المبرهنة 13.13](https://one-course.com/books/math/3/ar/chapter/13-limits-and-continuity#thm-b1-continuity-evt))، و $M_i - m_i \leq \varepsilon$ (لأن النقطتين الحدّيتين على بعد $\delta$). عرّف $\varphi = m_i$ و $\psi = M_i$ على $\intoo{x_{i-1}}{x_i}$ (و $\varphi = \psi = f$ عند العقد). ∎

**مبرهنة 15.4 (تعريف التكامل).**

لتكن $f$ [متصلة](https://one-course.com/books/math/3/ar/chapter/13-limits-and-continuity#def-b1-continuity-continuous) على $\intcc{a}{b}$. العددان

$$
I_-(f) = \sup\Bigl\{\int_a^b \varphi : \varphi \text{ درجية},\
\varphi \leq f\Bigr\},
\qquad
I_+(f) = \inf\Bigl\{\int_a^b \psi : \psi \text{ درجية},\ \psi \geq
f\Bigr\}
$$

متساويان؛ وقيمتهما المشتركة هي *التكامل* $\int_a^b f$ (ويُكتب كذلك $\int_a^b
f(t)\,\dd t$). وهو يوافق المفهوم السابق على الدوال الدرجية، ويمتدّ إلى الدوال [المتصلة](https://one-course.com/books/math/3/ar/chapter/13-limits-and-continuity#def-b1-continuity-continuous) قطعةً قطعة بقطع $\intcc{a}{b}$ عند الانقطاعات (وشال تعريفًا هناك).

**برهان.** المجموعتان غير خاليتين (لأن $f$ محدودة) وكل تكامل درجي أدنى هو $\leq$ كل تكامل أعلى (بالرتابة على الدوال الدرجية): ومنه $I_-(f) \leq I_+(f)$. وحسب [المبرهنة 15.3](#thm-b1-integration-approx)، يوجد من أجل كل $\varepsilon$ زوجٌ يحقق $\int\psi - \int\varphi \leq
\varepsilon(b - a)$: ومنه يُحصر الحدّان الأعلى والأدنى معًا، $I_- =
I_+$. ∎

**مثال 15.5 (متصلة قطعةً قطعة، بلا دراما).**

[دالة الجزء الصحيح](https://one-course.com/books/math/3/ar/chapter/10-real-numbers#thm-b1-reals-floor) على $\intcc{0}{3}$ [دالة درجية](#def-b1-integration-step) متنكّرة: فبالقطع عند قفزاتها،

$$
\int_0^3 \lfloor t \rfloor\,\dd t
= \int_0^1 0 + \int_1^2 1 + \int_2^3 2 = 0 + 1 + 2 = 3 ,
$$

والقيم *عند* نقطتَي القفز $1, 2$ لا شأن لها: فتغيير دالة عند عدد منته من النقاط لا يغيّر أيّ تكامل (لأن الدوال الدرجية المؤطِّرة لا تتأثر). وهذا هو كل مضمون التمديد إلى «[المتصلة](https://one-course.com/books/math/3/ar/chapter/13-limits-and-continuity#def-b1-continuity-continuous) قطعةً قطعة»: اقطع عند الانقطاعات المنتهية العدد، وكامل كل قطعة [متصلة](https://one-course.com/books/math/3/ar/chapter/13-limits-and-continuity#def-b1-continuity-continuous)، ثم اجمع — أي شال تعريفًا.

**مثال 15.6 (التعريف يحسب، مرة واحدة).**

لتكن $f(x) = x$ على $\intcc{0}{1}$ واقطع إلى $n$ قطعة متساوية. وأفضل الدوال الدرجية الثابتة على القطع هي $\varphi =
\frac{k-1}{n}$ و $\psi = \frac kn$ على القطعة $k$، مع

$$
\int_0^1 \varphi = \sum_{k=1}^{n} \frac{k-1}{n}\cdot\frac1n
= \frac{n-1}{2n},
\qquad
\int_0^1 \psi = \sum_{k=1}^{n} \frac{k}{n}\cdot\frac1n
= \frac{n+1}{2n} .
$$

وكل تكامل أدنى هو $\leq I_-(f) \leq I_+(f) \leq$ كل تكامل أعلى، ومنه $\frac{n-1}{2n} \leq I_-(f) \leq I_+(f) \leq
\frac{n+1}{2n}$ من أجل كل $n$: فيُحصر كلاهما على $\frac12$، و $\int_0^1 x\,\dd x = \frac12$ مباشرةً من التعريف. والفكرة النافذة: هذه أول وآخر مرة نكامل فيها من التعريف — إذ تستبدل المبرهنة الأساسية أدناه بكل هذه الحسابات بحثًا واحدًا عن دالة أصلية، وهو كل الفائدة الاقتصادية لهذا الفصل.

**مبرهنة 15.7 (الخصائص).**

من أجل $f, g$ متصلتين (أو متصلتين قطعةً قطعة) على $\intcc{a}{b}$ و $\lambda \in \R$:

1. الخطية: $\int (f + \lambda g) = \int f + \lambda \int g$ ؛
2. الرتابة: $f \leq g \implies \int_a^b f \leq \int_a^b g$ ؛ و $\bigl|\int_a^b f\bigr| \leq \int_a^b \abs f \leq (b -  a)\, \sup\abs f$ ؛
3. شال: $\int_a^b = \int_a^c + \int_c^b$ (مع الاصطلاح $\int_b^a = -\int_a^b$ ، وهو صحيح من أجل أيّ ترتيب للحدّين)؛
4. الإيجابية القطعية: إذا كانت $f$ [متصلة](https://one-course.com/books/math/3/ar/chapter/13-limits-and-continuity#def-b1-continuity-continuous) و $f \geq 0$ و $\int_a^b f = 0$ ، فإن $f = 0$ في كل مكان على $\intcc{a}{b}$ .

**برهان.** تمرّ البنود (1)–(3) من الدوال الدرجية إلى النهاية عبر التعريف [بالحد الأعلى](https://one-course.com/books/math/3/ar/chapter/10-real-numbers#def-b1-reals-bounds) والأدنى. وتستحق الخطية التفاصيل مرة واحدة: فمن أجل $\varepsilon > 0$ معطى، أطّر $\varphi_f \leq f \leq \psi_f$ و $\varphi_g \leq g \leq \psi_g$ بفجوتين $\leq \varepsilon$ ([المبرهنة 15.3](#thm-b1-integration-approx)). ومن أجل $\lambda \geq 0$، يكون $\varphi_f + \lambda\varphi_g \leq f + \lambda g \leq \psi_f +
\lambda\psi_g$ تأطيرًا بدوال درجية بفجوة $\leq
(1 + \lambda)\varepsilon$، وتساوي تكاملاته الدرجية $\int
\varphi_f + \lambda\int\varphi_g$ وهكذا ([القضية 15.2](#prop-b1-integration-stepprops)): ومنه يحصر جعلُ $\varepsilon \to
0$ المقدارَ $\int(f + \lambda g)$ على $\int f + \lambda\int g$. وأمّا من أجل $\lambda < 0$، فالضرب في $\lambda$ *يقلب* تأطير $g$ — إذ تصير [الدالة الدرجية](#def-b1-integration-step) الدنيا للمقدار $\lambda g$ هي $\lambda \psi_g$ — ويجري الحصر نفسه بتبادل الدورين. والحاصر $\abs{\int f} \leq \int \abs f$ يأتي من $-\abs f \leq f \leq \abs f$ ومن الرتابة.

(4) بالنقيض: إذا كان $f(x_0) = m > 0$، فإن [الاتصال](https://one-course.com/books/math/3/ar/chapter/13-limits-and-continuity#def-b1-continuity-continuous) يعطي [فترة](https://one-course.com/books/math/3/ar/chapter/10-real-numbers#prop-b1-reals-intervals) جزئية طولها $\eta > 0$ تحقق عليها $f \geq \frac m2$؛ و [الدالة الدرجية](#def-b1-integration-step) التي تساوي $\frac m2$ هناك و $0$ فيما عداه هي $\leq f$، ومنه $\int f \geq \frac{m\eta}{2} > 0$. ∎

**مثال 15.8 (شال في العمل: تكاملات ذات قيم مطلقة).**

لمكاملة قيمة مطلقة، اقطع حيث تتغير الإشارة.

$$
\int_0^2 \abs{x - 1}\,\dd x
= \int_0^1 (1 - x)\,\dd x + \int_1^2 (x - 1)\,\dd x
= \frac12 + \frac12 = 1 ,
$$

و، بقطع $\intcc{0}{2\pi}$ عند $\pi$:

$$
\int_0^{2\pi} \abs{\sin t}\,\dd t
= \int_0^{\pi} \sin t\,\dd t - \int_{\pi}^{2\pi} \sin t\,\dd t
= 2 + 2 = 4 ,
$$

بينما $\int_0^{2\pi} \sin t\,\dd t = 0$: فالتلاشي حقيقي، ولهذا تحمل [عبارة](https://one-course.com/books/math/3/ar/chapter/1-logic-sets-and-maps#def-b1-logic-statement) الإيجابية القطعية ([المبرهنة 15.7](#thm-b1-integration-props) (4)) الفرضَ $f
\geq 0$ — فبدونه، لا يبرهن [التكامل](#thm-b1-integration-def) المنعدم على شيء عن $f$. والفكرة النافذة: يقيس $\int \abs f$ *المساحة*، ويقيس $\int f$ *الميزان الموقَّع*؛ و المتراجحة $\abs{\int f} \leq \int\abs f$ سجلٌّ مضبوط لما يستطيع التلاشي تدميره.

## 15.3 المبرهنة الأساسية في التكامل

**مبرهنة 15.9 (المبرهنة الأساسية في التكامل).**

لتكن $f$ [متصلة](https://one-course.com/books/math/3/ar/chapter/13-limits-and-continuity#def-b1-continuity-continuous) على [فترة](https://one-course.com/books/math/3/ar/chapter/10-real-numbers#prop-b1-reals-intervals) $I$ وليكن $a \in I$. الدالة

$$
F(x) = \int_a^x f(t)\, \dd t
$$

من الصنف $C^1$ على $I$، مع $F' = f$: ومنه فلكل دالة [متصلة](https://one-course.com/books/math/3/ar/chapter/13-limits-and-continuity#def-b1-continuity-continuous) على [فترة](https://one-course.com/books/math/3/ar/chapter/10-real-numbers#prop-b1-reals-intervals) دوالُّ أصلية. ونتيجةً لذلك، من أجل *أيّ* دالة أصلية $G$ للمقدار $f$:

$$
\int_a^b f(t)\,\dd t = G(b) - G(a) .
$$

**برهان.** ثبّت $x_0 \in I$ و $\varepsilon > 0$؛ يعطي [الاتصال](https://one-course.com/books/math/3/ar/chapter/13-limits-and-continuity#def-b1-continuity-continuous) عند $x_0$ عددًا $\delta$ يحقق $\abs{f(t) - f(x_0)} \leq \varepsilon$ من أجل $\abs{t -
x_0} \leq \delta$. ومن أجل $0 < \abs{h} \leq \delta$ (و $x_0 + h \in
I$)، تعطي شال

$$
\frac{F(x_0 + h) - F(x_0)}{h} - f(x_0)
= \frac 1h \int_{x_0}^{x_0+h} \bigl(f(t) - f(x_0)\bigr)\dd t ,
$$

وقيمته المطلقة هي $\leq \frac{1}{\abs h}\cdot \abs h\,
\varepsilon = \varepsilon$ (بالحاصر (2)، الصحيح من أجل أيّ ترتيب للحدّين). ومنه $F'(x_0) = f(x_0)$؛ و $F' = f$ [متصلة](https://one-course.com/books/math/3/ar/chapter/13-limits-and-continuity#def-b1-continuity-continuous): ومنه فالدالة $F$ من الصنف $C^1$. وإذا كان $G' = f$ كذلك، فإن $(G - F)' = 0$ على [الفترة](https://one-course.com/books/math/3/ar/chapter/10-real-numbers#prop-b1-reals-intervals)، ومنه $G =
F + c$ ([النتيجة 14.12](https://one-course.com/books/math/3/ar/chapter/14-differentiation#cor-b1-derivative-monotone))، و $G(b) - G(a) = F(b)
- F(a) = \int_a^b f$. ∎

**مثال 15.10 (التناظر قبل الحساب).**

على [فترة](https://one-course.com/books/math/3/ar/chapter/10-real-numbers#prop-b1-reals-intervals) متناظرة، تقوم الزوجية بالعمل: فإذا كانت $f$ فردية، يرسل التعويض $t \mapsto -t$ المقدارَ $\int_{-a}^{0} f$ إلى $-\int_0^a f$، ومنه

$$
\int_{-a}^{a} f(t)\,\dd t = 0 ;
\qquad\text{وإذا كانت $f$ زوجية،}\quad
\int_{-a}^{a} f = 2\int_0^a f .
$$

ومنه $\int_{-1}^{1} \frac{t^3\cos t}{1 + t^4}\,\dd t = 0$ دون أيّ دالة أصلية تلوح (لأن المكامَل فردي)، و $\int_{-\pi}^{\pi} t^2\cos t\,\dd t = 2\int_0^\pi t^2\cos t\,
\dd t$. فتحقق من التناظر قبل أن تمدّ يدك إلى التقنيات: فأسرع تكامل هو الذي لا يُحسب قط.

**مثال 15.11 (التعرّف على مشتقة بالنظر).**

احسب $\displaystyle\int_0^{\pi/2} \frac{\dd x}{1 + \cos x}$. تحوّل متطابقة نصف الزاوية $1 + \cos x = 2\cos^2\frac x2$ المكامَلَ إلى $\frac{1}{2}\bigl(1 + \tan^2\frac
x2\bigr)$، وهو بالضبط [مشتقة](https://one-course.com/books/math/3/ar/chapter/14-differentiation#def-b1-derivative-def) $\tan\frac x2$:

$$
\int_0^{\pi/2} \frac{\dd x}{1 + \cos x}
= \Bigl[\tan\frac x2\Bigr]_0^{\pi/2} = \tan\frac\pi4 = 1 .
$$

ولم يُحتَج إلى أيّ آلة تعويض — بل إلى منعكس قراءة المكامَل مشتقةً لأحدهم فقط، والمبرهنة الأساسية تفعل الباقي. (وأمّا الأداة المنهجية وراء مثل هذه التكاملات المثلثية، أي التعويض $t = \tan\frac x2$، فتنتمي إلى العدّة المعيارية المبنية من [المبرهنة 15.15](#thm-b1-integration-parts) (2).)

**مثال 15.12 (دوال معرَّفة بتكاملات).**

تصنع المبرهنة الأساسية دوالًّ. لتكن

$$
F(x) = \int_0^x \eu^{-t^2}\,\dd t .
$$

لا تركيبة من الدوال الكلاسيكية مشتقتُها $\eu^{-t^2}$ (وهي مبرهنة لليوفيل، مقبولة هنا)؛ ومع ذلك توجد $F$، وهي من الصنف $C^1$ مع $F'(x) = \eu^{-x^2} > 0$، ومتزايدة قطعًا، وفردية (بالتعويض $t \mapsto -t$)، ومحدودة: فمن أجل $x \geq 1$،

$$
F(x) - F(1) = \int_1^x \eu^{-t^2}\dd t
\leq \int_1^x \eu^{-t}\dd t \leq \eu^{-1} ,
$$

ومنه $F \leq F(1) + \eu^{-1} \leq 1 + \eu^{-1}$. (والنهاية المضبوطة، $\frac{\sqrt\pi}{2}$، تُحسب بالتكاملات المضاعفة في مجلّد السنة الثالثة.) وقاعدة السلسلة من أجل حدود متحركة: $\frac{\dd}{\dd
x}\int_x^{x^2} \eu^{-t^2}\dd t = 2x\,\eu^{-x^4} - \eu^{-x^2}$. والفكرة النافذة: [التكامل](#thm-b1-integration-def) *ينشئ* دوالًّ جديدة من قديمة، بكل خصائصها مقروءةً من المكامَل — فالدالة الأصلية التي لا تستطيع كتابتها تبقى دالة تسيطر عليها سيطرة تامة.

**مثال 15.13 (التقدير دون التقويم).**

التكاملات $R_n = \int_0^1 \frac{t^n}{1 + t}\,\dd t$ ليس لها أيّ صورة مغلقة لطيفة، ومع ذلك تثبّتها الرتابة بدقة: فعلى $\intcc{0}{1}$، $\frac12 \leq \frac{1}{1+t} \leq 1$، ومنه

$$
\frac{1}{2(n+1)} = \frac12\int_0^1 t^n\,\dd t
\;\leq\; R_n \;\leq\; \int_0^1 t^n \,\dd t = \frac{1}{n+1} :
$$

أي رتبة التلاشي المضبوطة ($R_n \sim$ مضاعف للمقدار $\frac1n$، وفي الواقع $R_n \sim \frac{1}{2n}$) بسطرين ودون أيّ دالة أصلية. وتجري مسألتا نهاية الأسبوع في هذا الفصل والذي يليه على مثل هذه التأطيرات بالضبط — فأول منعكس عند المحلل أمام تكامل ينبغي أن يكون *حُدَّه*، وعندئذ فقط، إن لزم، احسبه.

**مثال 15.14 (القيم المتوسطة).**

*متوسط* دالة [متصلة](https://one-course.com/books/math/3/ar/chapter/13-limits-and-continuity#def-b1-continuity-continuous) $f$ على $\intcc{a}{b}$ هو $\frac{1}{b-a}\int_a^b f$. ومن أجل [قوس الجيب](https://one-course.com/books/math/3/ar/chapter/4-standard-functions#def-b1-functions-arc):

$$
\frac{1}{\pi}\int_0^\pi \sin t\,\dd t
= \frac{1}{\pi}\bigl[-\cos t\bigr]_0^\pi = \frac{2}{\pi}
\approx 0.637 :
$$

فمتوسط قوس موجب كامل ليس $\frac12$ بل $\frac2\pi$ — إذ يقضي المنحنى وقتًا في الأعلى أكثر مما يقضيه مثلث. وحسب [التمرين 15.11](#exo-b1-integration-11) (مبرهنة التزايدات المنتهية من أجل التكاملات، مع $g = 1$)، يكون المتوسط *قيمة*: $\sin c =
\frac2\pi$ من أجل $c \in \intoo{0}{\pi}$ ما. وحسب [مجاميع ريمان](#thm-b1-integration-riemann) في هذا الفصل، يكون المتوسط نهاية المتوسطات العادية لعدد $n$ من العيّنات — وهو الجسر بين المتوسط المتقطّع للمعطيات والمتوسط المتصل لإشارة، وهو ما يُدخل [التكامل](#thm-b1-integration-def) في الفيزياء.

**مبرهنة 15.15 (المكاملة بالتجزئة؛ التعويض).**

1. إذا كانت $u, v$ من الصنف $C^1$ على $\intcc{a}{b}$: $$\int_a^b u'v = \bigl[uv\bigr]_a^b - \int_a^b uv' .$$
2. إذا كانت $\varphi$ من الصنف $C^1$ على $\intcc{\alpha}{\beta}$ و $f$ [متصلة](https://one-course.com/books/math/3/ar/chapter/13-limits-and-continuity#def-b1-continuity-continuous) على $\varphi(\intcc{\alpha}{\beta})$: $$\int_{\alpha}^{\beta} f\bigl(\varphi(t)\bigr)\,\varphi'(t)\,  \dd t = \int_{\varphi(\alpha)}^{\varphi(\beta)} f(x)\, \dd x .$$

**برهان.** (1) $(uv)' = u'v + uv'$؛ فكامل على $\intcc{a}{b}$ وطبّق المبرهنة الأساسية على الدالة $uv$ من الصنف $C^1$.

(2) لتكن $F$ دالة أصلية للمقدار $f$ على [فترة](https://one-course.com/books/math/3/ar/chapter/10-real-numbers#prop-b1-reals-intervals) الصورة ([المبرهنة 15.9](#thm-b1-integration-ftc)). عندئذ $(F \circ \varphi)' = (f
\circ \varphi)\,\varphi'$ (بقاعدة السلسلة)، ومنه يساوي الطرفان $F(\varphi(\beta)) - F(\varphi(\alpha))$. ∎

**مثال 15.16.**

$\int_0^1 t\,\eu^t \dd t = \bigl[t\,\eu^t\bigr]_0^1 - \int_0^1
\eu^t\dd t = \eu - (\eu - 1) = 1$. وبالتعويض $x =
\sin t$ ($t \in \intcc{0}{\frac\pi2}$):

$$
\int_0^1 \sqrt{1 - x^2}\, \dd x
= \int_0^{\pi/2} \cos t \cdot \cos t \, \dd t
= \int_0^{\pi/2} \frac{1 + \cos 2t}{2}\, \dd t = \frac\pi4 ,
$$

— أي ربع القرص الواحدي، كما تقتضي الهندسة. (وهذا هو التخطيط من [الطريقة 3.11](https://one-course.com/books/math/3/ar/chapter/3-complex-numbers#met-b1-complex-trig) في العمل.)

**ملاحظة 15.17 (مزالق شائعة في حساب التكامل).**

(أ) *يجب أن تكون التعويضات من الصنف $C^1$ على [الفترة](https://one-course.com/books/math/3/ar/chapter/10-real-numbers#prop-b1-reals-intervals) كلها*: فالتغيير $x = \frac1t$ غير مشروع عبر $0$؛ وتطبيقه بلا تبصّر على $\int_{-1}^{1}\frac{\dd x}{1 + x^2}$ «يبرهن» على أن [التكامل](#thm-b1-integration-def) يساوي مقابله. وحين يكون للتعويض شذوذ، فاقطع [الفترة](https://one-course.com/books/math/3/ar/chapter/10-real-numbers#prop-b1-reals-intervals) أولًا (شال)، ثم عوّض على كل قطعة، ثم أعد التركيب. (ب) *الدوال الأصلية اللوغاريتمية تحتاج إلى قيم مطلقة*: $\int \frac{\dd x}{x - 2} =
\ln\abs{x - 2} + C$ على كل جانب من $2$ على حدة — فكتابة $\ln(x - 2)$ على $\intoo{0}{1}$ كتابةُ لوغاريتم عدد سالب؛ وقد يختلف الثابت $C$ على جانبَي الشذوذ. (ج) *[التكامل](#thm-b1-integration-def) المنعدم لا يقتل الدالة*: $\int_0^{2\pi}\sin = 0$؛ وتُشترط إيجابية المكامَل قبل استنتاج $f = 0$ ([المثال 15.8](#ex-b1-integration-chasleswork)). (د) *يجب معايرة [مجاميع ريمان](#thm-b1-integration-riemann)*: ففي $\frac{b-a}{n}\sum f\bigl(a +
k\frac{b-a}{n}\bigr)$، على الخطوة خارجًا وعلى النقاط داخلًا أن تطابقا التجزئة نفسها — والخطأ الشائع مجموعٌ $\sum_{k=1}^{n} f\bigl(\frac kn\bigr)$ *دون* العامل $\frac1n$، وهو يتباعد بدل أن يتقارب إلى $\int_0^1
f$. وقائمة التحقق قبل استدعاء [المبرهنة 15.20](#thm-b1-integration-riemann): عمّل $\frac1n$ خارجًا، وأعد كتابة الحدّ في صورة $f$ عند $\frac kn$، وسمِّ $f$ وتحقق من اتصالها.

**مثال 15.18 (خمّن، ثم اشتق، ثم عدّل).**

ما هو $\int_1^x (\ln t)^2\,\dd t$؟ خمّن دالة أصلية من الشكل $t\,P(\ln t)$ مع $P$ [كثير حدود](https://one-course.com/books/math/3/ar/chapter/8-polynomials#def-b1-poly-def) واشتق:

$$
\bigl(t\,P(\ln t)\bigr)' = P(\ln t) + P'(\ln t) .
$$

ونحتاج إلى $P(u) + P'(u) = u^2$: فخذ $P(u) = u^2 - 2u + 2$ (بمطابقة المعاملات نزولًا من $u^2$). ومنه

$$
\int_1^x (\ln t)^2\,\dd t
= \bigl[t\bigl((\ln t)^2 - 2\ln t + 2\bigr)\bigr]_1^x
= x(\ln x)^2 - 2x\ln x + 2x - 2 ,
$$

وهي نتيجة تُبلَغ لولا ذلك بمكاملتين بالتجزئة. والفكرة النافذة: من أجل المكامَلات من الشكل ([كثير حدود](https://one-course.com/books/math/3/ar/chapter/8-polynomials#def-b1-poly-def) في $\ln t$) أو ([كثير حدود](https://one-course.com/books/math/3/ar/chapter/8-polynomials#def-b1-poly-def) مضروب في $\eu^{\lambda t}$)، تكون للدالة الأصلية الشكل نفسه — فاشتقاق تخمين مشكَّل يحوّل المكاملة إلى جبر خطي على المعاملات، أسرع وأقل عرضةً للخطأ من التجزئة المكرَّرة.

**مثال 15.19 (التكامل البوميرانغ).**

احسب $I = \int_0^{\pi/2} \eu^x \cos x\,\dd x$. كامل بالتجزئة مرتين، مشتقًا العامل المثلثي في كل مرة:

$$
I = \bigl[\eu^x \sin x\bigr]_0^{\pi/2}
- \int_0^{\pi/2} \eu^x \sin x\,\dd x
= \eu^{\pi/2} - J,
\qquad
J = \bigl[-\eu^x\cos x\bigr]_0^{\pi/2}
+ \int_0^{\pi/2} \eu^x\cos x\,\dd x = 1 + I .
$$

وقد عاد [التكامل](#thm-b1-integration-def) إلى نفسه: $I = \eu^{\pi/2} - 1 - I$، ومنه

$$
I = \frac{\eu^{\pi/2} - 1}{2} .
$$

والفكرة النافذة: حين يكون المكامَل جداءَ دالتين تعيدان إنتاج نفسيهما بالاشتقاق ($\eu^{ax}$ و $\cos bx$ و $\sin bx$)، تنتج مكاملتان بالتجزئة معادلةً خطية في [التكامل](#thm-b1-integration-def) المجهول — فحُلَّها بدل أن تكامل؛ وبكيفية مكافئة، مرّ عبر $\eu^{(a + \iu b)x}$ ([الفصل 3](https://one-course.com/books/math/3/ar/chapter/3-complex-numbers#ch-b1-complex)) وخذ الأجزاء الحقيقية. والطريقان يعطيان الجواب نفسه، والتحقق من ذلك اختبار سلامة مجاني.

## 15.4 مجاميع ريمان

**مبرهنة 15.20 (مجاميع ريمان).**

لتكن $f$ [متصلة](https://one-course.com/books/math/3/ar/chapter/13-limits-and-continuity#def-b1-continuity-continuous) على $\intcc{a}{b}$. عندئذ

$$
S_n = \frac{b - a}{n} \sum_{k=0}^{n-1}
f\Bigl(a + k\,\frac{b-a}{n}\Bigr)
\xrightarrow[n \to \infty]{} \int_a^b f(t)\, \dd t ,
$$

وكذلك مع أيّ نقاط تقويم داخل الفترات الجزئية.

**برهان.** المقدار $S_n$ هو تكامل [الدالة الدرجية](#def-b1-integration-step) $\varphi_n$ المساوية $f(a + k\frac{b-a}{n})$ على [الفترة](https://one-course.com/books/math/3/ar/chapter/10-real-numbers#prop-b1-reals-intervals) الجزئية $k$. ومن أجل $\varepsilon > 0$ معطى، يعطي [الاتصال المنتظم](https://one-course.com/books/math/3/ar/chapter/13-limits-and-continuity#def-b1-continuity-uniform) (هاينه) عددًا $\delta$؛ فمن أجل $n > \frac{b-a}{\delta}$، تقع كل نقطة من [فترة](https://one-course.com/books/math/3/ar/chapter/10-real-numbers#prop-b1-reals-intervals) جزئية على بعد $\delta$ من نقطة تقويمها، ومنه $\abs{f - \varphi_n} \leq
\varepsilon$ على $\intcc{a}{b}$، ومنه

$$
\Bigl| \int_a^b f - S_n \Bigr|
= \Bigl| \int_a^b (f - \varphi_n) \Bigr|
\leq (b-a)\,\varepsilon . \qedhere
$$

∎

![مجموع ريمان يساري بعدد n = 8 مستطيلًا: فكلما تقلصت الخطوة، فرض الاتصال المنتظم على مساحة السلّم أن تؤول نحو ∈t_ab f.](https://one-course.com/images/onecourse/chapters/math-3/b1-integration/fig-3ce085fec6e3.svg)

*مجموع ريمان يساري بعدد $n = 8$ مستطيلًا: فكلما تقلصت الخطوة، فرض [الاتصال المنتظم](https://one-course.com/books/math/3/ar/chapter/13-limits-and-continuity#def-b1-continuity-uniform) على مساحة السلّم أن تؤول نحو $\int_a^b f$.*

**مثال 15.21.**

$\displaystyle\sum_{k=1}^{n} \frac{1}{n + k} = \frac 1n
\sum_{k=1}^{n} \frac{1}{1 + k/n} \xrightarrow[n\to\infty]{}
\int_0^1 \frac{\dd x}{1 + x} = \ln 2$: أي نهاية غير مرئية للحواصر الأولية، شفافة مجموعَ ريمان.

**مثال 15.22 (مجموع ريمان ثانٍ، مع معايرة).**

جد $\lim_{n\to\infty} \sum_{k=1}^{n} \dfrac{n}{(n+k)^2}$. عايِر:

$$
\sum_{k=1}^{n} \frac{n}{(n+k)^2}
= \frac{1}{n}\sum_{k=1}^{n} \frac{n^2}{(n+k)^2}
= \frac1n \sum_{k=1}^{n} \frac{1}{\bigl(1 + \frac kn\bigr)^2} ,
$$

وهو مجموع ريمان للدالة [المتصلة](https://one-course.com/books/math/3/ar/chapter/13-limits-and-continuity#def-b1-continuity-continuous) $f(x) = \frac{1}{(1+x)^2}$ على $\intcc{0}{1}$: فالنهاية هي

$$
\int_0^1 \frac{\dd x}{(1 + x)^2}
= \Bigl[-\frac{1}{1+x}\Bigr]_0^1 = \frac12 .
$$

والفكرة النافذة: كل الفنّ في السطر الأوسط — أي إجبار الحدّ على الشكل $f(\frac kn)$ بثمن استخراج عامل $\frac1n$ واحد بالضبط؛ وما إن يستقم الشكل، تقوم المبرهنة بالتحليل وتقوم المبرهنة الأساسية بالحساب.

**ملاحظة 15.23 (أين يعمل التكامل تاليًا).**

لكل بناء من بناءات الفصل تتمّة. [فمجاميع ريمان](#thm-b1-integration-riemann) تعود في [الفصل 17](https://one-course.com/books/math/3/ar/chapter/17-numerical-series#ch-b1-series) جسرًا بين المتسلسلات و التكاملات (بمقارنة $\sum \frac{1}{n^\alpha}$ بالمقدار $\int
\frac{\dd t}{t^\alpha}$)؛ والباقي التكاملي هو أدقّ صيغ تايلور في [الفصل 16](https://one-course.com/books/math/3/ar/chapter/16-taylor-formulas-and-asymptotic-expansions#ch-b1-taylor)؛ والتعريف المبنيّ على $\sup$ هو النموذج الأوّلي لتكامل لوبيغ في مجلّد السنة الثالثة، حيث تُعاد الخصائص الثلاث نفسها (الخطية والرتابة ومبرهنة تقارب) على صنف أوسع بكثير من الدوال. وتحوّل مسألة نهاية الأسبوع أدناه المكاملةَ بالتجزئة إلى حساب أعداد: أي صمم $\pi^2$.

## 15.5 تمارين

**تمرين 15.1 ★.**

احسب: $\displaystyle\int_0^1 \frac{\dd x}{x^2 - 4}$ *(بالعناصر البسيطة، [الفصل 9](https://one-course.com/books/math/3/ar/chapter/9-rational-fractions#ch-b1-fractions))*؛ $\displaystyle\int_1^{\eu} \ln t \,\dd t$؛ $\displaystyle\int_0^{\pi} t \sin t\, \dd t$.

**حل التمرين 15.1.**

$\dfrac{1}{x^2-4} = \dfrac{1/4}{x - 2} - \dfrac{1/4}{x+2}$ (بالتغطية)، ومنه

$$
\int_0^1 \frac{\dd x}{x^2 - 4}
= \frac14\Bigl[\ln\abs{x-2} - \ln\abs{x+2}\Bigr]_0^1
= \frac14\Bigl(\ln\frac{1}{3} - \ln 1\Bigr) = -\frac{\ln 3}{4}.
$$

وبالتجزئة ($u' = 1$ و $v = \ln t$): $\int_1^{\eu} \ln t\,\dd t =
\bigl[t\ln t\bigr]_1^{\eu} - \int_1^{\eu} \dd t = \eu - (\eu - 1) =
1$.

وبالتجزئة ($u' = \sin t$ و $v = t$): $\int_0^\pi t\sin t\,\dd t =
\bigl[-t\cos t\bigr]_0^\pi + \int_0^\pi \cos t\,\dd t = \pi + 0 =
\pi$.

**تمرين 15.2 ★.**

احسب $\displaystyle\int_0^{1} \frac{t}{(t^2+1)^2}\,\dd t$ (بالتعويض) و $\displaystyle\int_0^{\pi/2} \cos^3 t\, \dd t$ (اكتب $\cos^3 =
\cos(1 - \sin^2)$).

**حل التمرين 15.2.**

بالتعويض $u = t^2 + 1$ و $\dd u = 2t\,\dd t$:

$$
\int_0^1 \frac{t\,\dd t}{(t^2+1)^2}
= \frac12 \int_1^2 \frac{\dd u}{u^2}
= \frac12\Bigl[-\frac1u\Bigr]_1^2 = \frac14 .
$$

ومع $u = \sin t$: $\int_0^{\pi/2} \cos^3 t\,\dd t = \int_0^{\pi/2}
(1 - \sin^2 t)\cos t\,\dd t = \bigl[\sin t - \frac{\sin^3
t}{3}\bigr]_0^{\pi/2} = 1 - \frac13 = \frac23$.

**تمرين 15.3 ★.**

جد النهايات، مجاميعَ ريمان:

$$
u_n = \sum_{k=1}^{n} \frac{n}{n^2 + k^2},
\qquad
v_n = \frac{1}{n}\sqrt[n]{\frac{(2n)!}{n!\,n^n}}
\ \emph{(take logarithms)}.
$$

**حل التمرين 15.3.**

$u_n = \dfrac1n \sum_{k=1}^{n} \dfrac{1}{1 + (k/n)^2}$: وهو مجموع ريمان للمقدار $x \mapsto \frac{1}{1+x^2}$ على $\intcc{0}{1}$، ومنه $u_n \to
\int_0^1 \frac{\dd x}{1+x^2} = \arctan 1 = \dfrac\pi4$.

$\ln v_n = \dfrac1n \sum_{k=1}^{n} \ln\dfrac{n+k}{n} = \dfrac 1n
\sum_{k=1}^n \ln\Bigl(1 + \dfrac kn\Bigr) \to \int_0^1 \ln(1+x)\,\dd
x = \bigl[(1+x)\ln(1+x) - x\bigr]_0^1 = 2\ln 2 - 1$. ومنه $v_n \to
\eu^{2\ln 2 - 1} = \dfrac 4\eu$. (وللتحقق من التعرّف: $\frac{(2n)!}{n!\,n^n} = \prod_{k=1}^{n} \frac{n+k}{n}$.)

**تمرين 15.4 ★.**

لتكن $f$ [متصلة](https://one-course.com/books/math/3/ar/chapter/13-limits-and-continuity#def-b1-continuity-continuous) على $\intcc{0}{1}$. احسب $\lim_{n\to\infty}
\int_0^1 x^n f(x)\,\dd x$. *(اقطع $\intcc{0}{1}$ عند $1 -
\delta$.)*

**حل التمرين 15.4.**

النهاية هي $0$. ليكن $M = \sup \abs f$ و $\varepsilon \in
\intoo{0}{1}$. اقطع عند $1 - \varepsilon$:

$$
\Bigl| \int_0^1 x^n f \Bigr|
\leq \int_0^{1 - \varepsilon} x^n \abs f + \int_{1-\varepsilon}^1
x^n \abs f
\leq M\,(1-\varepsilon)^n + M\varepsilon .
$$

ولأن $(1 - \varepsilon)^n \to 0$ ([التمرين 11.3](https://one-course.com/books/math/3/ar/chapter/11-sequences#exo-b1-seq-3))، تكون النهاية العليا للطرف الأيسر $\leq M\varepsilon$ من أجل كل $\varepsilon$: ومنه يؤول [التكامل](#thm-b1-integration-def) إلى $0$.

**تمرين 15.5 ★★.**

(كوشي–شوارتز) من أجل $f, g$ متصلتين على $\intcc{a}{b}$، برهن على

$$
\Bigl(\int_a^b fg\Bigr)^{\!2} \leq \int_a^b f^2 \cdot \int_a^b g^2 ,
$$

بنشر $\int_a^b (f + \lambda g)^2 \geq 0$ كثيرَ حدود من الدرجة الثانية في $\lambda$. ومتى تكون مساواة؟

**حل التمرين 15.5.**

$Q(\lambda) = \int_a^b (f + \lambda g)^2 = \int f^2 + 2\lambda \int
fg + \lambda^2 \int g^2 \geq 0$ من أجل كل $\lambda$. فإذا كان $\int g^2 =
0$، فإن $g = 0$ (بالإيجابية القطعية، [المبرهنة 15.7](#thm-b1-integration-props) (4)) وتكون المتراجحة $0 \leq
0$. وإلا فإن $Q$ [كثير حدود](https://one-course.com/books/math/3/ar/chapter/8-polynomials#def-b1-poly-def) حقيقي من الدرجة الثانية، وهو $\geq 0$ في كل مكان: ومنه فمميّزه $\leq 0$، أي $\bigl(\int fg\bigr)^2 \leq \int
f^2 \int g^2$.

والمساواة إذا وفقط إذا انعدم المميّز إذا وفقط إذا كان $Q(\lambda_0) = 0$ من أجل $\lambda_0$ ما، أي $\int (f + \lambda_0 g)^2 = 0$، أي (بالإيجابية القطعية مرة أخرى) $f = -\lambda_0 g$: ومنه تتحقق المساواة بالضبط عندما يكون $f$ و $g$ متناسبين.

**تمرين 15.6 ★★.**

لتكن $f$ [متصلة](https://one-course.com/books/math/3/ar/chapter/13-limits-and-continuity#def-b1-continuity-continuous) على $\R$ ودورية بالدور $T$. برهن على أن $\int_a^{a+T}
f$ لا يتعلق بالمقدار $a$، وعلى أن $\frac1x \int_0^x f(t)\,\dd t
\to \frac 1T \int_0^T f$ عندما $x \to +\infty$.

**حل التمرين 15.6.**

لتكن $\Phi(a) = \int_a^{a+T} f$. وحسب المبرهنة الأساسية ([المبرهنة 15.9](#thm-b1-integration-ftc))، تكون $\Phi$ [قابلة للاشتقاق](https://one-course.com/books/math/3/ar/chapter/14-differentiation#def-b1-derivative-def) مع $\Phi'(a) = f(a + T) - f(a) = 0$: ومنه فهي ثابتة.

ومن أجل $x > 0$، اكتب $x = nT + r$ مع $0 \leq r < T$ ($n = \lfloor x/T
\rfloor$). وبشال:

$$
\int_0^x f = n \int_0^T f + \int_{nT}^{nT + r} f,
\qquad
\Bigl| \int_{nT}^{nT+r} f \Bigr| \leq T \sup_{\intcc{0}{T}} \abs f
= C .
$$

عندئذ $\frac 1x \int_0^x f = \frac{nT}{x}\cdot\frac 1T \int_0^T f +
O\bigl(\frac 1x\bigr)$، و $\frac{nT}{x} \to 1$: فالنهاية هي $\frac1T \int_0^T f$.

**تمرين 15.7 ★★.**

من أجل $f$ [متصلة](https://one-course.com/books/math/3/ar/chapter/13-limits-and-continuity#def-b1-continuity-continuous) على $\intcc{0}{1}$ مع $\int_0^1 f = \frac12$، برهن على أن للمقدار $f$ نقطةً صامدة في $\intcc{0}{1}$. *(كامل $f(x) - x$ واستعمل الإيجابية القطعية، [المبرهنة 15.7](#thm-b1-integration-props) (4)، عبر نقيضها مع مبرهنة القيم الوسطى.)*

**حل التمرين 15.7.**

لتكن $g(x) = f(x) - x$: فهي [متصلة](https://one-course.com/books/math/3/ar/chapter/13-limits-and-continuity#def-b1-continuity-continuous)، مع

$$
\int_0^1 g = \int_0^1 f - \frac12 = 0 .
$$

ولو لم تنعدم $g$ أبدًا، لفرضت مبرهنة القيم الوسطى إشارةً ثابتة (لأن الدالة [المتصلة](https://one-course.com/books/math/3/ar/chapter/13-limits-and-continuity#def-b1-continuity-continuous) على [فترة](https://one-course.com/books/math/3/ar/chapter/10-real-numbers#prop-b1-reals-intervals) تأخذ الإشارتين تنعدم)؛ ولنقل $g > 0$. عندئذ، بالإيجابية القطعية ([المبرهنة 15.7](#thm-b1-integration-props) (4) مطبَّقةً على $g > 0$، فتعطي $\int g > 0$): يقع تناقض مع $\int g = 0$. ومنه $g(c) = 0$ من أجل $c$ ما: أي $f(c) = c$.

**تمرين 15.8 ★★★.**

(تكاملات واليس) لتكن $W_n = \int_0^{\pi/2} \sin^n t\,\dd t$.

1. برهن على العلاقة التراجعية $n W_n = (n-1) W_{n-2}$ ( $n \geq 2$ ) بالتجزئة، واحسب $W_0, W_1$ ، ثم $W_{2p}$ و $W_{2p+1}$ في صورة [مغلقة](https://one-course.com/books/math/3/ar/chapter/12-topology-of-the-real-line#def-b1-topology-closed) .
2. برهن على أن $(W_n)$ متناقصة مع $\frac{W_{n+1}}{W_n}  \to 1$ ؛ وبرهن على أن المقدار $(n+1)\,W_{n+1} W_n$ ثابت يساوي $\frac\pi2$ ؛ واستنتج المكافئ $W_n \sim \sqrt{\dfrac{\pi}{2n}}$ .

**حل التمرين 15.8.**

1. بالتجزئة مع $u' = \sin t$ و $v = \sin^{n-1} t$: $$W_n = \bigl[-\cos t\sin^{n-1}t\bigr]_0^{\pi/2}  + (n-1)\int_0^{\pi/2} \cos^2 t\,\sin^{n-2} t\,\dd t  = (n-1)(W_{n-2} - W_n),$$ ومنه $nW_n = (n-1)W_{n-2}$. وانطلاقًا من $W_0 = \frac\pi2$ و $W_1 = 1$: $$W_{2p} = \frac{(2p-1)(2p-3)\cdots 1}{(2p)(2p-2)\cdots 2}\,  \frac{\pi}{2} = \frac{(2p)!}{4^p (p!)^2}\,\frac\pi2,  \qquad  W_{2p+1} = \frac{(2p)(2p-2)\cdots 2}{(2p+1)(2p-1)\cdots 3}  = \frac{4^p (p!)^2}{(2p+1)!} .$$
2. على $\intoo{0}{\frac\pi2}$، $0 < \sin t < 1$، ومنه $\sin^{n+1} <  \sin^n$ وتكون $(W_n)$ متناقصة (قطعًا) وموجبة. وبالحصر مع العلاقة التراجعية: $$\frac{n}{n+1} = \frac{W_{n+1}}{W_{n-1}}  \leq \frac{W_{n+1}}{W_n} \leq 1  \quad\implies\quad \frac{W_{n+1}}{W_n} \to 1 .$$ والثابت: يحقق $a_n = (n+1)W_{n+1}W_n$ الشرط $a_n = a_{n-1}$ بالعلاقة التراجعية $(n+1)W_{n+1} = nW_{n-1}$، ومنه $a_n = a_0 =  1 \cdot W_1 W_0 = \frac\pi2$. عندئذ $$n W_n^2 \sim (n+1) W_{n+1} W_n = \frac\pi2  \quad\implies\quad  W_n \sim \sqrt{\frac{\pi}{2n}} .$$

**تمرين 15.9 ★★★.**

(نيفن: العدد $\pi$ أصمّ) افترض $\pi = \frac ab$ مع $a, b \in
\N^*$، وضع، من أجل $n$ سيُختار،

$$
P(x) = \frac{x^n (a - bx)^n}{n!},
\qquad
I_n = \int_0^{\pi} P(x)\sin x\, \dd x .
$$

1. برهن على أن $0 < I_n \leq \pi\,\frac{(\pi a)^n}{n!}$ ، وهو $< 1$ من أجل $n$ كبير.
2. برهن على أن $P$ وكل مشتقاته تأخذ قيمًا *صحيحة* عند $0$ وعند $\pi = \frac ab$ . *(بنشر ثنائي الحدّ: فمعاملات $P$ مضروبةً في $k!$ أعداد صحيحة من أجل $k \geq n$؛ و $P(\pi - x) = P(x)$.)*
3. ضع $Q = P - P'' + P^{(4)} - \dots$ (وهو مجموع منته). تحقق من أن $\bigl(Q'\sin x - Q\cos x\bigr)' = P \sin x$ ، واستنتج أن $I_n = Q(\pi) + Q(0)$ عدد صحيح.
4. اختم.

**حل التمرين 15.9.**

1. على $\intoo{0}{\pi}$ : $x > 0$ و $a - bx = b(\frac ab - x) =  b(\pi - x) > 0$ و $\sin x > 0$ ، ومنه فالمكامَل $> 0$ و $I_n > 0$ (بالإيجابية القطعية). والحاصر: على $\intcc{0}{\pi}$ ، $x \leq \pi$ و $a - bx \leq a$ ، ومنه $P  \leq \frac{\pi^n a^n}{n!}$ و $I_n \leq  \pi\,\frac{(\pi a)^n}{n!}$ ، وهو يؤول إلى $0$ (لأن العاملي يغلب الحدّ الهندسي: فهو الحدّ العام للمتسلسلة الأسّية المتقاربة، قارن [المثال 11.12](https://one-course.com/books/math/3/ar/chapter/11-sequences#ex-b1-seq-e) )؛ وعلى الخصوص $I_n < 1$ من أجل $n$ كبير.
2. انشر $x^n(a - bx)^n = \sum_{j=0}^{n} \binom nj a^{n-j}  (-b)^j x^{n+j}$ : ومنه $P = \frac{1}{n!}\sum_j c_j x^{n+j}$ بمعاملات صحيحة $c_j$ . وعندئذ $P^{(k)}(0) = 0$ من أجل $k < n$ (بالتقييم) و، من أجل $n \leq k \leq 2n$ ، $P^{(k)}(0) =  \frac{k!}{n!} c_{k-n}$ ، وهو عدد صحيح لأن $n! \mid k!$ . وفوق ذلك $P(\pi - x) = P(x)$ (بالتعويض: إذ يبادل $\pi - x$ بين العاملين، باستعمال $a - b(\pi - x) = bx$ )، ومنه $P^{(k)}(\pi)  = \pm P^{(k)}(0)$ : فهي أعداد صحيحة كذلك.
3. مع $Q = P - P'' + P^{(4)} - \dots$ (وهو منته: فدرجة $P$ هي $2n$): $Q + Q'' = P$، و $$\bigl(Q'\sin x - Q\cos x\bigr)' = (Q + Q'')\sin x = P\sin x .$$ ومنه $I_n = \bigl[Q'\sin x - Q\cos x\bigr]_0^{\pi} = Q(\pi)  + Q(0)$، وهو مجموع قيم $P^{(2k)}$ عند $0$ وعند $\pi$: أي عدد صحيح حسب (2).
4. ومن أجل $n$ كبير، يكون $I_n$ عددًا صحيحًا مع $0 < I_n < 1$ : وهذا محال. ومنه يفشل الفرض $\pi = \frac ab$ : أي إن $\pi$ أصمّ.

**تمرين 15.10 ★★★.**

لتكن $f$ من الصنف $C^1$ على $\intcc{a}{b}$. برهن على النهاية من نوع ريمان–لوبيغ

$$
\int_a^b f(t)\sin(\lambda t)\,\dd t \xrightarrow[\lambda \to
+\infty]{} 0
$$

[بالمكاملة بالتجزئة](#thm-b1-integration-parts). ثم برهن عليها مرة أخرى من أجل $f$ [متصلة](https://one-course.com/books/math/3/ar/chapter/13-limits-and-continuity#def-b1-continuity-continuous) فحسب، بالتقريب المنتظم بالدوال الدرجية ([المبرهنة 15.3](#thm-b1-integration-approx)).

**حل التمرين 15.10.**

حالة الصنف $C^1$: بالتجزئة،

$$
\int_a^b f(t)\sin\lambda t\,\dd t
= \Bigl[-f(t)\frac{\cos\lambda t}{\lambda}\Bigr]_a^b
+ \frac{1}{\lambda}\int_a^b f'(t)\cos\lambda t\,\dd t,
$$

وهو محدود قيمةً مطلقة بالمقدار $\frac{2\sup\abs f + (b - a)\sup\abs{f'}}
{\lambda} \to 0$.

وحالة [الاتصال](https://one-course.com/books/math/3/ar/chapter/13-limits-and-continuity#def-b1-continuity-continuous) فحسب: ليكن $\varepsilon > 0$ ولنختر [دالة درجية](#def-b1-integration-step) $\varphi$ تحقق $\abs{f - \varphi} \leq \varepsilon$ ([المبرهنة 15.3](#thm-b1-integration-approx) يعطي $\varphi \leq f \leq
\psi$ بفجوة $\leq\varepsilon$؛ فخذ $\varphi$). عندئذ

$$
\Bigl|\int_a^b f\sin\lambda t\Bigr|
\leq \int_a^b \abs{f - \varphi}
+ \Bigl|\int_a^b \varphi \sin\lambda t\Bigr|
\leq (b-a)\varepsilon
+ \sum_i \abs{c_i}\,\Bigl|\int_{x_{i-1}}^{x_i} \sin\lambda t\,\dd
t\Bigr| ,
$$

وكل $\bigl|\int \sin \lambda t\bigr| = \bigl|\frac{\cos\lambda
x_{i-1} - \cos\lambda x_i}{\lambda}\bigr| \leq \frac{2}{\lambda}$: ومنه يؤول الحدّ الثاني إلى $0$. ومنه فالنهاية العليا هي $\leq
(b-a)\varepsilon$ من أجل كل $\varepsilon$: فالنهاية هي $0$.

**تمرين 15.11 ★★.**

(مبرهنة التزايدات المنتهية من أجل التكاملات) لتكن $f, g$ متصلتين على $\intcc{a}{b}$ مع $g \geq 0$. برهن على أنه يوجد $c \in
\intcc{a}{b}$ يحقق

$$
\int_a^b f(t)\,g(t)\,\dd t = f(c)\int_a^b g(t)\,\dd t ,
$$

وبيّن بمثال أن الفرض $g \geq 0$ لا يمكن إسقاطه.

**حل التمرين 15.11.**

ليكن $m = \min f$ و $M = \max f$، وهما مبلوغان حسب مبرهنة القيم الحدّية. ولأن $g \geq 0$: $m\,g \leq fg \leq M\,g$، ومنه بالرتابة

$$
m \int_a^b g \;\leq\; \int_a^b fg \;\leq\; M \int_a^b g .
$$

فإذا كان $\int_a^b g = 0$: فرضت الإيجابية القطعية ([المبرهنة 15.7](#thm-b1-integration-props) (4)) أن $g \equiv 0$، فينعدم الطرفان، ويفي أيّ $c$ بالغرض. وإلا فإن $t = \frac{\int
fg}{\int g}$ يقع في $\intcc{m}{M} = f(\intcc{a}{b})$ (المبرهنات [13.13](https://one-course.com/books/math/3/ar/chapter/13-limits-and-continuity#thm-b1-continuity-evt) و[13.10](https://one-course.com/books/math/3/ar/chapter/13-limits-and-continuity#thm-b1-continuity-ivt))، ومنه $t =
f(c)$ من أجل $c$ ما.

والإشارة مهمة: فعلى $\intcc{-1}{1}$ مع $f(t) = g(t) = t$: $\int
fg = \int_{-1}^1 t^2 = \frac23$، بينما $f(c)\int_{-1}^1 t\,\dd t
= 0$ من أجل كل $c$.

**تمرين 15.12 ★★★.**

(العزوم تفرض الجذور) لتكن $f$ [متصلة](https://one-course.com/books/math/3/ar/chapter/13-limits-and-continuity#def-b1-continuity-continuous) على $\intcc{a}{b}$ مع

$$
\int_a^b f(t)\,t^k\,\dd t = 0 \qquad \text{من أجل } k = 0, 1,
\dots, n .
$$

برهن على أن $f$ تنعدم عند $n + 1$ نقطة متمايزة من $\intoo{a}{b}$. *(إذا كانت $f$ لا تغيّر إشارتها إلا عند $z_1 < \dots
< z_m$ مع $m \leq n$، فكامل $f$ في مقابل $P(t) = (t - z_1)
\cdots (t - z_m)$ واستعمل الإيجابية القطعية.)*

**حل التمرين 15.12.**

إذا كان $f \equiv 0$ فالادعاء فارغ (فكل نقطة جذر). ومنه افترض $f \not\equiv 0$ ولنفترض أن لها $n$ جذرًا متمايزًا على الأكثر في $\intoo{a}{b}$؛ وليكن $z_1 < \dots < z_m$ ($m \leq n$) تلك الجذور التي *تغيّر* $f$ إشارتها عندها (وقد لا توجد). ضع $P(t) = \prod_{i=1}^{m}(t - z_i)$ (والجداء الخالي $= 1$)، من الدرجة $m \leq n$. وعلى كل [فترة](https://one-course.com/books/math/3/ar/chapter/10-real-numbers#prop-b1-reals-intervals) جزئية تقطعها $z_i$، تكون لكلٍّ من $f$ و $P$ إشارة ثابتة، وتنقلب إشارتهما معًا عند عبور $z_i$ ما: ومنه للجداء $fP$ إشارة ثابتة واحدة على كل $\intoo{a}{b}$. ولكونه متصلًا وغير معدوم تمامًا وذا إشارة ثابتة، يكون له $\bigl|\int_a^b fP\bigr| > 0$ (بالإيجابية القطعية مطبَّقةً على $\abs{fP}$). لكن $\int f P$ تركيبة خطية من العزوم $\int f\,t^k$ مع $k \leq n$، وكلها معدومة: وهذا تناقض. ومنه فللمقدار $f$ عدد $n + 1$ جذرًا متمايزًا على الأقل في $\intoo{a}{b}$.

**ملاحظة 15.24 (منظورات داخل هذا المجلّد).**

ثلاثة فصول قادمة تتّكئ على هذا الفصل مباشرة. فالفصل [الفصل 16](https://one-course.com/books/math/3/ar/chapter/16-taylor-formulas-and-asymptotic-expansions#ch-b1-taylor) يحمل الباقي التكاملي — إذ إن أدقّ صيغ تايلور الثلاث مكاملةٌ بالتجزئة مكرَّرة $n$ مرة. و [الفصل 17](https://one-course.com/books/math/3/ar/chapter/17-numerical-series#ch-b1-series) يحوّل تأطير المجاميع بالتكاملات إلى المحك الحاسم من أجل $\sum n^{-\alpha}$، وتلطّف مسألة نهاية الأسبوع فيه ذلك التأطير إلى ثابت أويلر. و [الفصل 24](https://one-course.com/books/math/3/ar/chapter/24-plane-curves#ch-b1-curves) يجعل [التكامل](#thm-b1-integration-def) هندسيًا: إذ إن طول قوس معلَّمي هو $\int \sqrt{x'(t)^2 +
y'(t)^2}\,\dd t$، وهو تكامل دالة [متصلة](https://one-course.com/books/math/3/ar/chapter/13-limits-and-continuity#def-b1-continuity-continuous) على قطعة — أي الغرض المبنيّ هنا بالضبط، دون أيّ حاجة إلى نظرية معتلّة. وأكثر الوقائع إعادةَ استعمال ستكون أشدَّها تواضعًا: $\bigl|\int f\bigr| \leq (b - a)\sup\abs{f}$، وهي المتراجحة التي تحوّل كل تقدير نقطي إلى تقدير تكاملي.

## 15.6 مسألة: آلة الصمم التكاملية

**مسألة 15.1.**

مسألة نهاية الأسبوع — $\eu$ و $\pi^2$ أصمّان، و $\eu$ إلى ستة أرقام عشرية، و $\frac{22}{7} > \pi$ مع برهان

آلية واحدة تحرّك هذه المسألة كلها: *لا يمكن أن يوجد مقدار يجب أن يكون عددًا صحيحًا موجبًا ومع ذلك يُبرهن على أنه أصغر من $1$*. وقد شغّل [التمرين 15.9](#exo-b1-integration-9) (نيفن) الآلية مرة واحدة للبرهان على $\pi \notin \Q$؛ وهنا نصنّعها. وتحتاج الآلة إلى ثلاثة أجزاء: مدخل *صحيحية* (وهو قيم كثيرات حدود محسنة الاختيار عند الطرفين)، ومدخل *صغر* (وهو عامل $\frac{1}{n!}$ يسحق [التكامل](#thm-b1-integration-def))، و*جسر* (هو [المكاملة بالتجزئة](#thm-b1-integration-parts)) يصل بينهما. ونبرهن على أن $\eu$ أصمّ ونحسبه بخطأ مصادَق عليه، ونبرهن على مبرهنة لوجاندر الأدقّ التي تقول إن $\pi^2$ أصمّ، ونُختم بأبهج تكامل في التحليل: $\int_0^1 \frac{x^4(1 -
x)^4}{1 + x^2}\dd x = \frac{22}{7} - \pi$، الذي يؤطّر $\pi$ باليد.

**الجزء 1 — الوقود.**

1. برهن على أن $\dfrac{c^{\,n}}{n!} \to 0$ من أجل كل $c  > 0$ مثبَّت *(فبعد $n \geq 2c$، تنصّف كل خطوة الحدَّ على الأقل)* .
2. (تكاملات بيتا) برهن، بالاستقراء على $m$ مع [المكاملة بالتجزئة](#thm-b1-integration-parts): $$\int_0^1 x^{\,k}\,(1 - x)^{\,m}\,\dd x =  \frac{k!\,m!}{(k + m + 1)!}  \qquad (k, m \in \N).$$
3. استنتج $\displaystyle\int_0^1 \bigl(x(1-x)\bigr)^n \dd x  = \frac{1}{(2n+1)\binom{2n}{n}}$ ، و — بالمقارنة مع الحاصر $x(1 - x) \leq \frac14$ — التقدير $\binom{2n}{n} \geq \dfrac{4^n}{2n+1}$ ، المطابق للمقدار $\binom{2n}{n}^{1/n} \to 4$ من [المسألة 11.1](https://one-course.com/books/math/3/ar/chapter/11-sequences#pb-b1-seq-1) .
4. برهن على مبرهنة الصغر المساعدة المستعملة مرتين أدناه: من أجل كل دالة [متصلة](https://one-course.com/books/math/3/ar/chapter/13-limits-and-continuity#def-b1-continuity-continuous) $g > 0$ على $\intoo{0}{1}$، $$0 < \int_0^1 \bigl(x(1-x)\bigr)^n g(x)\,\dd x  \leq \frac{\sup_{\intcc{0}{1}}\abs g}{4^{\,n}} .$$

**الجزء 2 — $\eu$: الصمم، ثم ستة أرقام عشرية.** ضع $A_n = \displaystyle\int_0^1 x^n \eu^x \dd x$.

5. احسب $A_0$ و $A_1$ ، وبرهن على العلاقة التراجعية $A_n = \eu  - n A_{n-1}$ ، وعلى الحاصرين $0 < A_n \leq  \dfrac{\eu}{n+1}$ .
6. بيّن بالاستقراء أن $A_n = \alpha_n + \beta_n \eu$ مع $\alpha_n, \beta_n \in \Z$ .
7. استنتج أن $\eu$ أصمّ *(فإذا كان $\eu = \frac  pq$، فإن $q A_n$ عدد صحيح محبوس في $\intoo{0}{1}$ من أجل $n$ كبير)* . وقارن ببرهان [التمرين 11.9](https://one-course.com/books/math/3/ar/chapter/11-sequences#exo-b1-seq-9) : النكتة نفسها، بوقود مختلف.
8. برهن، بالاستقراء [والمكاملة بالتجزئة](#thm-b1-integration-parts)، على صيغة الباقي المضبوطة $$\eu = \sum_{k=0}^{n} \frac{1}{k!} + R_n,  \qquad  R_n = \frac{1}{n!}\int_0^1 (1 - t)^n\,\eu^{\,t}\,\dd t,  \qquad  \frac{1}{(n+1)!} \leq R_n \leq \frac{\eu}{(n+1)!} .$$
9. خذ $n = 9$ : حُدّ $R_9$ مستعملًا $\eu < 2.75$ (من $b_2 = 2.75$ في [المثال 11.12](https://one-course.com/books/math/3/ar/chapter/11-sequences#ex-b1-seq-e) )، وقوّم المجموع، واختم بالتأطير المصادَق عليه $2.7182818 \leq  \eu \leq 2.7182823$ — أي ستة أرقام عشرية، $\eu \approx  2.718282$ ، مع برهان.

**الجزء 3 — مبرهنة لوجاندر: $\pi^2$ أصمّ.** لتكن $f(x) = \dfrac{x^n (1 - x)^n}{n!}$، ولنفترض $\pi^2 = \frac ab$ مع $a, b \in \N^*$.

10. بيّن $f(1 - x) = f(x)$ و $0 < f \leq  \dfrac{1}{4^n\,n!}$ على $\intoo{0}{1}$ .
11. بيّن أن $f^{(k)}(0)$ و $f^{(k)}(1)$ عددان صحيحان من أجل كل $k \geq 0$ *(انشر $x^n(1-x)^n$ بمعاملات صحيحة؛ و $\frac{k!}{n!} \in \Z$ من أجل $k \geq n$؛ ثم استعمل التناظر)* .
12. عرّف $$G = b^{\,n} \sum_{k=0}^{n} (-1)^k\,  \pi^{2n - 2k} f^{(2k)} .$$ بيّن أن $G(0)$ و $G(1)$ عددان صحيحان *(لأن كل $b^n \pi^{2n-2k} = a^{\,n-k}\,b^{\,k}$)*.
13. تحقق من التلسكوب $G'' + \pi^2 G = b^n \pi^{2n+2} f  = \pi^2 a^n f$، ثم $$\frac{\dd}{\dd x}\Bigl(G'(x)\sin \pi x - \pi\,G(x)\cos  \pi x\Bigr) = \pi^2 a^n f(x)\sin \pi x .$$
14. كامل على $\intcc{0}{1}$ واستنتج $$\pi\,a^n \int_0^1 f(x)\sin(\pi x)\,\dd x = G(0) + G(1)  \in \Z ,$$ وهو عدد صحيح *موجب* محدود بالمقدار $\dfrac{\pi  a^n}{4^n\,n!}$.
15. اختم مع السؤال 1 بأن $\pi^2$ أصمّ (لوجاندر، 1794)، وبأن هذا يقوّي [التمرين 15.9](#exo-b1-integration-9) : فلماذا يستلزم صمم $\pi^2$ صممَ $\pi$ ، ولا يستلزم العكس؟

**الجزء 4 — فهم الآلة.**

16. حدّد القوتين المتعاكستين (صحيحية معطيات الطرفين؛ والصغر التحليلي للتكامل) و الجسرَ، في الجزأين 2 و 3. ثم فسّر لماذا يكون العامل $\frac{1}{n!}$ في $f$ هو العقدة: فإذا أُزيل، نجت الصحيحية، لكن أيّ متراجحة تموت، ومن أجل أيّ الكسور المدَّعاة $\frac ab$ يفشل البرهان عندئذ؟
17. الفعّالية: افترض أن أحدهم يدّعي $\pi^2 = \frac ab$ مع $a \leq 10$ . بيّن أن التناقض يحطّ أصلًا عند $n = 7$ : واحسب $\pi\,(10/4)^7/7! \approx  0.38 < 1$ . فالآلة لا تكتفي بالدحض؛ بل تدحض عند مرحلة مثبَّتة قابلة للحساب.
18. تحقق من سلامة الجسر دون شرط: برهن بمكاملتين بالتجزئة على أن $$\int_0^1 x(1 - x)\sin(\pi x)\,\dd x = \frac{4}{\pi^3},$$ ووفّق ذلك مع السؤال 14 عند $n = 1$ (وأبقِ $\pi^2$ رمزيًا: فالمتطابقة المتلسكبة تُقرأ $\pi^3  \int_0^1 f_1 \sin \pi x = -(f_1''(0) + f_1''(1)) = 4$).
19. ما الذي يجعل $\eu^x$ و $\sin \pi x$ مؤهلين نواتين للآلة؟ حدّد الخاصية (فكلٌّ منهما يحقق معادلة تفاضلية خطية بمعاملات ثابتة، ومنه تعود المكاملة المكرَّرة بالتجزئة إلى البداية)، وسمِّ الحدّ الأمامي: فالآلة نفسها، ملطَّفةً بيد إرميت ولينديمان، تبرهن على أن $\eu$ و $\pi$ *متساميان* — وهذا خارج هذا المجلّد.

**الجزء 5 — $\frac{22}{7}$ إزاء $\pi$، و العبرة.**

20. أثبت القسمة الكثيرحدودية $$\frac{x^4(1-x)^4}{1 + x^2}  = x^6 - 4x^5 + 5x^4 - 4x^2 + 4 - \frac{4}{1 + x^2},$$ واستنتج المتطابقة الشهيرة $$\int_0^1 \frac{x^4 (1-x)^4}{1 + x^2}\,\dd x  = \frac{22}{7} - \pi .$$
21. المكامَل موجب: فاستنتج $\pi <  \frac{22}{7}$. ثم، بحصر $\frac{1}{1+x^2}$ بين $\frac12$ و $1$ وباستعمال $\int_0^1 (x(1-x))^4 =  \frac{1}{630}$ (السؤال 3)، برهن على $$\frac{22}{7} - \frac{1}{630} \;\leq\; \pi \;\leq\;  \frac{22}{7} - \frac{1}{1260} ,$$ أي $3.14126 \leq \pi \leq 3.14207$: أي رقمان عشريان صحيحان، باليد.
22. عمّم: بقسمة $x^{4m}(1-x)^{4m}$ على $1 + x^2$، بيّن أن الباقي هو الثابت $(-4)^m$ *(اعمل بترديد $x^2 + 1$: $(1-x)^2 \equiv -2x$)*، واستنتج أعدادًا ناطقة $r_m$ تحقق $$\abs{\pi - r_m} \leq 4^{\,1 - 5m} ,$$ وتحقق من أن $m = 1$ يستعيد السؤالين 20–21.
23. قابل هذه الأعداد الناطقة بنظرية التقريب في [المسألة 14.1](https://one-course.com/books/math/3/ar/chapter/14-differentiation#pb-b1-derivative-1) : احسب $\abs{\pi -  \frac{22}{7}} \approx 1.26\cdot10^{-3}$ إزاء ضمان ديريكليه $\frac{1}{49}$ ، واذكر $\abs{\pi - \frac{355}{113}} \approx 2.7\cdot10^{-7}$ إزاء $\frac{1}{113^2} \approx 7.8\cdot10^{-5}$ : فتوجد من أجل $\pi$ تقريبات ناطقة جيدة استثنائيًا — وهذا متسق، إذ ليس معروفًا أن $\pi$ سيّئ التقريب.
24. (فخّ العدد الصحيح، مجرَّدًا) برهن على المبرهنة المساعدة التي توحّد كل شيء: *إذا كان $x \in \R$ ووُجدت أعداد صحيحة $a_n, b_n$ تحقق $0 < \abs{a_n + b_n x} \to 0$، فإن $x$ أصمّ.* واذكر أمثلتها في هذه المسألة، وفي [التمرين 15.9](#exo-b1-integration-9) ، وفي [التمرين 11.9](https://one-course.com/books/math/3/ar/chapter/11-sequences#exo-b1-seq-9) ، وفي [المسألة 14.1](https://one-course.com/books/math/3/ar/chapter/14-differentiation#pb-b1-derivative-1) .
25. توليفة، جملة واحدة لكلٍّ: (أ) أجزاء الآلة الثلاثة وأين يعيش كلٌّ منها في عدّة هذا الفصل؛ (ب) وما الذي يسهم به [التكامل](#thm-b1-integration-def) ولم تستطع مبرهنة التزايدات المنتهية في [المسألة 14.1](https://one-course.com/books/math/3/ar/chapter/14-differentiation#pb-b1-derivative-1) أن تسهم به؛ (ج) وجرد النتائج المستخرجة (صممان وثابت من ستة أرقام عشرية وتأطير واحد للمقدار $\pi$ وحاصر ثنائي حدّ واحد)؛ (د) و الحدّ الأمامي (إرميت ولينديمان؛ والفخّ نفسه، مشغَّلًا على $\zeta(2)$ و $\zeta(3)$ ، في حساب الأعداد في القرن العشرين).

**حل المسألة 15.1.**

**1.** ليكن $N = \lceil 2c \rceil$. من أجل $n \geq N$: $\frac{c^{n+1}/(n+1)!}{c^n/n!} = \frac{c}{n+1} \leq \frac12$، ومنه $0 < \frac{c^n}{n!} \leq \frac{c^N}{N!}\,2^{-(n - N)} \to 0$: وهو الحصر.

**2.** ثبّت $k$؛ وبالاستقراء على $m$. من أجل $m = 0$: $\int_0^1
x^k = \frac{1}{k+1} = \frac{k!\,0!}{(k+1)!}$. والخطوة، بالتجزئة ($u = (1-x)^m$ و $v' = x^k$):

$$
\int_0^1 x^k (1-x)^m \dd x
= \Bigl[\frac{x^{k+1}}{k+1}(1-x)^m\Bigr]_0^1
+ \frac{m}{k+1}\int_0^1 x^{k+1}(1-x)^{m-1}\dd x
= \frac{m}{k+1}\cdot\frac{(k+1)!\,(m-1)!}{(k+m+1)!} ,
$$

وهو $\frac{k!\,m!}{(k+m+1)!}$.

**3.** $k = m = n$: $\int_0^1 (x(1-x))^n =
\frac{(n!)^2}{(2n+1)!} = \frac{1}{(2n+1)\binom{2n}{n}}$. ولأن $x(1-x) \leq \frac14$ على $\intcc{0}{1}$، يكون [التكامل](#thm-b1-integration-def) $\leq
4^{-n}$، ومنه $\binom{2n}{n} \geq \frac{4^n}{2n+1}$ — وهذا متسق مع $\binom{2n}{n}^{1/n} \to 4$ ([المسألة 11.1](https://one-course.com/books/math/3/ar/chapter/11-sequences#pb-b1-seq-1)).

**4.** المكامَل متصل و $\geq 0$ وموجب على $\intoo{0}{1}$، ومنه فهو غير معدوم تمامًا: ومنه تكامله $> 0$ ([المبرهنة 15.7](#thm-b1-integration-props) (4)). [والحاصر الأعلى](https://one-course.com/books/math/3/ar/chapter/10-real-numbers#def-b1-reals-bounds): $(x(1-x))^n \leq 4^{-n}$ و $g \leq \sup\abs g$، ثم الرتابة.

**5.** $A_0 = \eu - 1$؛ $A_1 = [x\eu^x]_0^1 - \int_0^1
\eu^x = \eu - (\eu - 1) = 1$. وبالتجزئة: $A_n = [x^n \eu^x]_0^1 -
n\int_0^1 x^{n-1}\eu^x = \eu - n A_{n-1}$. والحواصر: المكامَل موجب، ومنه $A_n > 0$؛ ويعطي $\eu^x \leq \eu$ أن $A_n \leq
\eu\int_0^1 x^n = \frac{\eu}{n+1}$.

**6.** $A_0 = -1 + 1\cdot\eu$. فإذا كان $A_{n-1} = \alpha_{n-1} +
\beta_{n-1}\eu$ بمركبات صحيحة، فإن

$$
A_n = \eu - n\alpha_{n-1} - n\beta_{n-1}\eu
= \underbrace{(-n\,\alpha_{n-1})}_{\alpha_n}
+ \underbrace{(1 - n\,\beta_{n-1})}_{\beta_n}\,\eu ,
$$

وكلاهما عدد صحيح.

**7.** إذا كان $\eu = \frac pq$: $q A_n = q\alpha_n + p\beta_n
\in \Z$، و $0 < qA_n \leq \frac{q\eu}{n+1} < 1$ من أجل $n$ كبير: أي عدد صحيح قطعًا بين $0$ و $1$ — وهذا محال. ومنه $\eu
\notin \Q$. وفي [التمرين 11.9](https://one-course.com/books/math/3/ar/chapter/11-sequences#exo-b1-seq-9) كان العدد الصحيح المحبوس هو $q!\,\frac pq - q!\,a_q$؛ وهنا هو $qA_n$: أي الفخّ نفسه، بوقود تكاملي.

**8.** $n = 0$: $R_0 = \int_0^1 \eu^t = \eu - 1$، ومنه $\eu =
1 + R_0$. وبالتجزئة ($u = \eu^t$ و $v = -\frac{(1-t)^{n+1}}{n+1}$):

$$
R_n = \frac{1}{n!}\Bigl(\Bigl[-\frac{(1-t)^{n+1}}{n+1}
\eu^t\Bigr]_0^1 + \frac{1}{n+1}\int_0^1 (1-t)^{n+1}\eu^t\Bigr)
= \frac{1}{(n+1)!} + R_{n+1} ,
$$

ومنه تنتشر الصيغة من $n$ إلى $n + 1$. والحواصر: يعطي $1 \leq
\eu^t \leq \eu$ على $\intcc{0}{1}$ و $\int_0^1 (1-t)^n =
\frac{1}{n+1}$ أن $\frac{1}{(n+1)!} \leq R_n \leq
\frac{\eu}{(n+1)!}$.

**9.** $\sum_{k=0}^{9} \frac{1}{k!} = \frac{986410}{362880}
= 2.71828152\dots$، و

$$
\frac{1}{10!} = 2.76\cdot10^{-7} \leq R_9 \leq
\frac{2.75}{10!} = 7.58\cdot10^{-7} ,
$$

ومنه $2.7182818 \leq \eu \leq 2.7182823$: أي، مع برهان، $\eu =
2.718282$ إلى ستة أرقام عشرية (والقيمة الحقيقية $2.7182818\dots$).

**10.** $f(1 - x) = \frac{(1-x)^n x^n}{n!} = f(x)$. وعلى $\intoo{0}{1}$: $0 < x(1-x) \leq \frac14$، ومنه $0 < f \leq
\frac{1}{4^n\,n!}$.

**11.** $x^n(1-x)^n = \sum_{j=0}^{n} (-1)^j\binom
nj\,x^{n+j}$، ومنه $f = \frac{1}{n!}\sum_j c_j\,x^{n+j}$ مع $c_j \in \Z$. ومنه $f^{(k)}(0) = 0$ من أجل $k < n$ أو $k > 2n$، ومن أجل $n \leq k \leq 2n$: $f^{(k)}(0) = \frac{k!}{n!}\,
c_{k-n}$، وهو عدد صحيح لأن $n! \mid k!$. ويعطي التناظر $f^{(k)}(1) = (-1)^k f^{(k)}(0) \in \Z$.

**12.** $b^n \pi^{2n-2k} = b^n\bigl(\frac
ab\bigr)^{\,n-k} = a^{\,n-k}\,b^{\,k} \in \Z$، ومنه $G(0) =
\sum_k (-1)^k a^{n-k} b^k f^{(2k)}(0)$ وكذلك $G(1)$ عددان صحيحان حسب السؤال 11.

**13.** في $\pi^2 G + G''$، يحمل الحدّ $k$ من $\pi^2 G$ المقدارَ $\pi^{2n-2k+2}f^{(2k)}$ ويحمل الحدّ $j = k - 1$ من $G''$ المقدارَ $(-1)^{k-1}\pi^{2n-2k+2}f^{(2k)}$: فيتلاشى كل شيء إلا $k = 0$ في المجموع الأول و $j = n$ في الثاني، أي

$$
G'' + \pi^2 G = b^n\bigl(\pi^{2n+2} f + (-1)^n f^{(2n+2)}\bigr)
= b^n \pi^{2n+2} f = \pi^2 a^n f
$$

(فدرجة $f$ هي $2n$، ومنه $f^{(2n+2)} = 0$؛ و $b^n\pi^{2n} =
a^n$). عندئذ

$$
\bigl(G'\sin\pi x - \pi G\cos\pi x\bigr)'
= (G'' + \pi^2 G)\sin \pi x = \pi^2 a^n f\sin\pi x .
$$

**14.** بالمكاملة على $\intcc{0}{1}$:

$$
\pi^2 a^n \int_0^1 f\sin(\pi x)\,\dd x
= \bigl[G'\sin\pi x - \pi G\cos\pi x\bigr]_0^1
= \pi\bigl(G(1) + G(0)\bigr) ,
$$

ومنه $\pi a^n \int_0^1 f\sin\pi x = G(0) + G(1) \in \Z$. وعلى $\intoo{0}{1}$، $f > 0$ و $\sin\pi x > 0$: ومنه فالطرف الأيسر موجب، ومنه $G(0) + G(1) \geq 1$؛ ويحدّه $\sin \leq 1$ مع السؤال 10 بالمقدار $\frac{\pi a^n}{4^n\,n!}$.

**15.** حسب السؤال 1 (مع $c = \frac a4$)، $\frac{\pi a^n}{4^n n!} \to 0$: فمن أجل $n$ كبير يكون $< 1$، مناقضًا $G(0) + G(1) \geq 1$. ومنه فلا كسر $\frac ab$ يساوي $\pi^2$: وهي مبرهنة لوجاندر. ولو كان $\pi$ ناطقًا، لكان $\pi^2$ كذلك: ومنه $\pi \notin \Q$ — ولا يجري الاستلزام إلا في هذا الاتجاه (فالعدد $\sqrt2$ أصمّ ومربعه ناطق)، ولهذا يكون $\pi^2 \notin \Q$ أقوى قطعًا من [التمرين 15.9](#exo-b1-integration-9).

**16.** الصحيحية: السؤالان 11–12 (مشتقات الطرفين)؛ والصغر: السؤالان 10 و 1؛ والجسر: السؤالان 13–14 (المكاملة المزدوجة المتلسكبة بالتجزئة). وبدون $\frac{1}{n!}$، تبقى معطيات الطرفين أعدادًا صحيحة (بل بسهولة أكبر)، لكن الحاصر يصير $\frac{\pi a^n}{4^n}$، وهو لا يؤول إلى $0$ إلا عندما $a < 4$ — ولكل مرشّح $a =
b\,\pi^2 > 9$. فالعاملي هو بالضبط ما يسبق النمو الهندسي $a^n$: فلا عاملي، لا مبرهنة.

**17.** من أجل $a \leq 10$، يكون العدد الصحيح $G(0) + G(1)$ موجبًا و $\pi\,(10/4)^n/n!$ على الأكثر. وعند $n = 7$: $2.5^7 = 610.35\dots$، ومنه فالحاصر هو $\frac{\pi \times
610.35}{5040} \approx 0.38 < 1$ (وعند $n = 6$ لا يزال $1.07$): فيحطّ التناقض عند المرحلة السابعة، صراحةً.

**18.** بمكاملتين بالتجزئة:

$$
\int_0^1 x(1-x)\sin\pi x\,\dd x
= \frac1\pi\int_0^1 (1 - 2x)\cos\pi x\,\dd x
= \frac{2}{\pi^2}\int_0^1 \sin\pi x\,\dd x
= \frac{2}{\pi^2}\cdot\frac{2}{\pi} = \frac{4}{\pi^3}
$$

(وتنعدم الحدود بين القوسين: $x(1-x)$ عند $0, 1$، و $\sin\pi x$ عند $0, 1$). ورمزيًا، يُقرأ تلسكوب $n = 1$ (دون أيّ فرض على $\pi$) $\pi^3\int_0^1 f_1\sin\pi x = -(f_1''(0) +
f_1''(1))$ مع $f_1 = x(1 - x)$ و $f_1'' = -2$: فالطرف الأيمن $4$ — ومنه يتوافق الحسابان.

**19.** يحلّ $\eu^x$ المعادلةَ $y' = y$ ويحلّ $\sin\pi x$ المعادلةَ $y'' = -\pi^2 y$: أي معادلتان خطيتان بمعاملات ثابتة، ومنه تدير [المكاملة بالتجزئة](#thm-b1-integration-parts) النواةَ عائدةً إلى نفسها و تُبقي كل معطيات الحدّ داخل $\Z + \Z\eu$ (أو كثيرات حدود صحيحة في $\pi^2$). وخاصية الانغلاق تلك هي ما تحتاج إليه الآلة. وبتلطيفها بنوى مكيَّفة مع عدة نقاط دفعة واحدة، تعطي الآلية نفسها مبرهنة إرميت (تسامي $\eu$، 1873) ومبرهنة لينديمان (تسامي $\pi$، 1882) — وهما خارج هذا المجلّد.

**20.** بالقسمة الكثيرحدودية (أو اضرب رجوعًا وتحقق):

$$
x^4(1-x)^4 = (x^6 - 4x^5 + 5x^4 - 4x^2 + 4)(1 + x^2) - 4 .
$$

وبمكاملة المتطابقة المعروضة مقسومةً على $1 + x^2$:

$$
\int_0^1 \frac{x^4(1-x)^4}{1+x^2}\dd x
= \Bigl(\frac17 - \frac46 + 1 - \frac43 + 4\Bigr)
- 4\arctan 1
= \frac{22}{7} - \pi ,
$$

باستعمال $\frac17 - \frac23 + 1 - \frac43 + 4 = 3 + \frac17$ و $\arctan 1 = \frac\pi4$.

**21.** المكامَل متصل وموجب على $\intoo{0}{1}$: ومنه [فالتكامل](#thm-b1-integration-def) $> 0$، ومنه $\pi < \frac{22}{7}$. وفوق ذلك $\frac12 \leq \frac{1}{1+x^2} \leq 1$ على $\intcc{0}{1}$ و $\int_0^1 (x(1-x))^4 = \frac{(4!)^2}{9!} =
\frac{1}{630}$ (السؤال 3):

$$
\frac{1}{1260} \leq \frac{22}{7} - \pi \leq \frac{1}{630}
\quad\Longrightarrow\quad
3.14126 < \frac{22}{7} - \frac{1}{630} \leq \pi \leq
\frac{22}{7} - \frac{1}{1260} < 3.14207 .
$$

**22.** بترديد $x^2 + 1$: $x^2 \equiv -1$، ومنه $x^{4m} =
(x^2)^{2m} \equiv 1$ و $(1 - x)^2 = 1 - 2x + x^2 \equiv -2x$، ومنه $(1-x)^{4m} \equiv (-2x)^{2m} = 4^m (x^2)^m \equiv
(-4)^m$: فالباقي هو الثابت $(-4)^m$، و للحاصل $Q_m$ معاملات صحيحة (لأنها قسمة على [كثير حدود](https://one-course.com/books/math/3/ar/chapter/8-polynomials#def-b1-poly-def) صحيح واحديّ). وبقسمة المتطابقة على $1 + x^2$ و المكاملة:

$$
J_m := \int_0^1 \frac{(x(1-x))^{4m}}{1+x^2}\dd x
= s_m + (-4)^m\,\frac{\pi}{4},
\qquad s_m = \int_0^1 Q_m \in \Q .
$$

وبالحلّ من أجل $\pi$: مع $r_m = (-1)^{m+1}\,4^{\,1-m} s_m \in
\Q$، $\;\abs{\pi - r_m} = 4^{\,1-m} J_m \leq
4^{\,1-m}\cdot4^{-4m} = 4^{\,1-5m}$. ومن أجل $m = 1$: $s_1 =
\frac{22}{7}$ و $r_1 = \frac{22}{7}$ والحاصر $4^{-4} =
\frac{1}{256}$ — أي السؤالان 20–21 مرة أخرى.

**23.** $\bigl|\pi - \frac{22}{7}\bigr| = \frac{22}{7} -
\pi \approx 1.26\cdot10^{-3}$، أي أفضل ستة عشر مرة من المرجع من الرتبة $2$ $\frac{1}{7^2} \approx 2.0\cdot10^{-2}$ الذي يضمنه ديريكليه ([المسألة 14.1](https://one-course.com/books/math/3/ar/chapter/14-differentiation#pb-b1-derivative-1)، السؤال 4)؛ و $\bigl|\pi - \frac{355}{113}\bigr| \approx 2.7\cdot10^{-7}$ يغلب $\frac{1}{113^2} \approx 7.8\cdot10^{-5}$ بعامل $\approx 300$. ولا تناقض مع أيّ شيء مبرهن عليه: فمتراجحات ليوفيل *تحدّ من أدنى* أخطاء التقريب من أجل الأعداد الجبرية وحدها، ولا يتوفر مثل هذا الحاصر من أجل $\pi$ في هذا المستوى — فالعدد $\pi$ حرّ في أن يُقرَّب تقريبًا رائعًا.

**24.** المبرهنة المساعدة: افترض $x = \frac pq$ و $0 < \abs{a_n +
b_n x} \to 0$. عندئذ $\abs{a_n + b_n x} = \frac{\abs{q a_n + p
b_n}}{q}$، مع كون $q a_n + p b_n$ عددًا صحيحًا غير معدوم (وهو غير معدوم لأن القيمة المطلقة $> 0$): ومنه $\abs{a_n + b_n x}
\geq \frac1q$ من أجل كل $n$، وهذا يناقض التقارب إلى $0$. والأمثلة: السؤال 7 ($x = \eu$ و $a_n = \alpha_n$ و $b_n =
\beta_n$)؛ و [التمرين 11.9](https://one-course.com/books/math/3/ar/chapter/11-sequences#exo-b1-seq-9) ($x = \eu$ مرة أخرى، مع $a_q =
-q!\sum_{k \leq q}\frac{1}{k!}$ و $b_q = q!$)؛ و [المسألة 14.1](https://one-course.com/books/math/3/ar/chapter/14-differentiation#pb-b1-derivative-1)، السؤال 1، هو صيغته الهندسية. وفي الجزء 3 وفي [التمرين 15.9](#exo-b1-integration-9) يجري الفخّ *داخل* التناقض: إذ يحوّل فرض النطقية مقدارًا إلى عدد صحيح، ثم يحصره التحليل في $\intoo{0}{1}$ — أي المبدأ نفسه، منقولًا.

**25.** (أ) تعيش الصحيحية في حساب كثيرات الحدود عند الطرفين (الأسئلة 6 و 11–12)، ويعيش الصغر في الحواصر التي تعطيها رتابة $\sup$ (السؤالان 4 و 10)، ويعيش الجسر في [المكاملة بالتجزئة](#thm-b1-integration-parts) (الأسئلة 8 و 13–14) — وثلاثتها مبرهنات في هذا الفصل. (ب) ويوفّر [التكامل](#thm-b1-integration-def) ما لم تستطع مبرهنة التزايدات المنتهية توفيره: أي متطابقة *مضبوطة* بين الغرض التحليلي والمعطيات الحسابية (مساواة، لا مجرد متراجحة بمجهول $c$)، ولهذا تبلغ الآلة $\pi^2$ بينما لم يبلغ [المسألة 14.1](https://one-course.com/books/math/3/ar/chapter/14-differentiation#pb-b1-derivative-1) إلا أُسس التقريب. (ج) والمستخرج: $\eu \notin \Q$ و $\pi^2 \notin \Q$ (ومنه $\pi \notin \Q$)، و $\eu = 2.718282$ مصادَقًا عليه، و $\frac{22}{7} - \frac{1}{630} \leq \pi \leq
\frac{22}{7} - \frac{1}{1260}$، و $\binom{2n}{n} \geq
\frac{4^n}{2n+1}$. (د) والحدّ الأمامي: يدفع إرميت ولينديمان الآلةَ نفسها إلى التسامي؛ وشغّل آبيري (1979) فخَّ العدد الصحيح على $\zeta(3)$ — فالآلة لا تزال تنتج رياضيات القرن العشرين.