שינויים

# <math>\int\limits_0^\frac12\frac{\mathrm dx}{x(\ln(x))^2}</math>. נציב <math>y=\ln(x)</math> וכן <math>\mathrm dy=\frac{\mathrm dx}x</math> לקבל <math>\lim_{R\to0^+}\int\limits_{\ln(R)}^{\ln\left(\frac12\right)}\frac{\mathrm dy}{y^2}=\lim_{R\to0^+}-\frac1{\ln(1/2)}+\frac1{\ln(R)}=-\frac1{\ln(1/2)}</math> כלומר מתכנס.

# דרך כתיבה מקוצרת: <math>\int\limits_0^1\frac{\mathrm dx}\sqrt x=\int\limits_0^1 x^{-\frac12}\mathrm dx=\left[\frac{x^{1/2}}{1/2}\right]_{x=0}^1=2</math>.

----

לגבי משפטי התכנסות יש אנלוגיות למשפטים שהוכחנו עבור אינטגרל לא אמיתי מסוג ראשון. נרשום אותם ללא הוכחה.

==משפט 3==

תהי f מוגדרת ומונוטונית בקטע <math>(a,b]</math> אזי <math>\lim_{x\to a^+} f(x)</math> קיים אם"ם f חסומה בקטע <math>(a,b]</math>.

עבור f אינטגרבילית מקומית ב-<math>(a,b]</math> כך ש-<math>f(x)\ge0</math> האינטגרל <math>\int\limits_a^b f</math> מתכנס אם"ם האינטגרלים החלקיים <math>\int\limits_c^b f</math> חסומים כאשר <math>c\to a^+</math>.

נניח שב-<math>(a,b]</math> הפונקציות f,g אינטגרביליות מקומית וכן <math>0\le f(x)\le g(x)</math>.

* אם <math>\int\limits_a^b g</math> מתכנס אז <math>\int\limits_a^b f</math> מתכנס.

* אם <math>\int\limits_a^b f</math> מתבדר אז <math>\int\limits_a^b g</math> מתבדר.