Elementary Analysis I: Complete Study Guide
Limits and Continuity
An Intuitive Approach to Limits
The limit is the foundational concept of calculus. It describes the behavior of a function as the independent variable approaches a specific value , without necessarily reaching .
To distinguish between the value of a function at a real number (denoted ) and its limit as approaches :
- A function may be undefined at , yet its behavior near can be fully described.
- Consider three distinct functions:
- for

Evaluating these functions at values near :
- For : as takes values such as from the left, produces . From the right, for , produces . Thus, approaches .
- For : the function is undefined at . However, for all , . As , approaches .
- For : , but for all , . As , approaches .
In all three cases, as gets closer to , the values of the function approach .
Informal Definition of Limit: Let be a function defined on an open interval containing , except possibly at itself. The limit of as approaches is , denoted by: if the values of get closer and closer to as assumes values going closer and closer to without reaching .
Alternatively, (\lim_{x \to a} f(x) = L) if can be made as close to as desired by choosing sufficiently close to (where ).
Key Limit Remarks:
- Finding (\lim_{x \to a} f(x)) requires analyzing values of near , not at . The limit can exist even if is undefined.
- If both (\lim_{x \to a} f(x)) and exist, they are not required to be equal (e.g., while (\lim_{x \to 1} h(x) = 2)).
- If does not approach a single real number as , the limit does not exist (dne).
- The Heaviside step function , defined by: has no limit as . Approaching from the right yields , while approaching from the left yields . Thus, (\lim_{x \to 0} H(x)) does not exist.
Theorem (Limit Theorems): Let and be functions defined on an open interval containing , except possibly at
- Uniqueness: If (\lim_{x \to a} f(x)) exists, it is unique.
- Constant Rule: For , (\lim_{x \to a} c = c).
- Identity Rule: (\lim_{x \to a} x = a).
- Algebraic Rules: Suppose (\lim_{x \to a} f(x) = L_1) and (\lim_{x \to a} g(x) = L_2), where , and .
- Sum/Difference Rule: (\lim_{x \to a} [f(x) \pm g(x)] = L_1 \pm L_2)
- Constant Multiple Rule: (\lim_{x \to a} [c f(x)] = c L_1)
- Product Rule: (\lim_{x \to a} [f(x) g(x)] = L_1 L_2)
- Quotient Rule: (\lim_{x \to a} \frac{f(x)}{g(x)} = \frac{L_1}{L_2}), provided near and
- Power Rule: (\lim_{x \to a} [f(x)]^n = (L_1)^nn \in \mathbb{N}\n - Root Rule: \(\lim_{x \to a} \sqrt[n]{f(x)} = \sqrt[n]{L_1} for , , provided when is even.
Theorem (Limits of Polynomial and Rational Functions): If is a polynomial or rational function and , then:
Indeterminate Forms of Type (\left(\frac{0}{0}\right)): If (\lim_{x \to a} f(x) = 0) and (\lim_{x \to a} g(x) = 0), then (\lim_{x \to a} \frac{f(x)}{g(x)}) is called an indeterminate form of type (\left(\frac{0}{0}\right)).
- Indeterminate forms may or may not exist.
- Methods to evaluate (\left(\frac{0}{0}\right)) limits include factoring and cancelling common factors, as well as multiplying by conjugates to rationalize radical expressions.
One-Sided Limits
When evaluating (\lim_{x \to a} f(x)), the function is observed from both sides of . One-sided limits handle cases where behavior differs on either side of , such as piecewise functions or functions with restricted domains (e.g., near ).
Definitions of One-Sided Limits:
- Left-Hand Limit: Let be defined on an open interval . The limit of as approaches from the left is , denoted: if approaches as approaches through values less than .
- Right-Hand Limit: Let be defined on an open interval . The limit of as approaches from the right is , denoted: if approaches as approaches through values greater than .
Theorem (Relationship Between One-Sided and Two-Sided Limits): If the left-hand and right-hand limits exist but are unequal, the two-sided limit does not exist.
Approaching Zero Through Positive/Negative Values: If (\lim_{x \to a} f(x) = 0):
- We write if approaches through positive values.
- We write if approaches through negative values.
Rules for Roots of Limits Approaching Zero:
- If as and is even, then (\lim_{x \to a} \sqrt[n]{f(x)} = 0).
- If as and is even, then (\lim_{x \to a} \sqrt[n]{f(x)}) does not exist in .
Limits Involving Infinity
Infinite Limits: Let be a function defined on an open interval containing , except possibly at .
- Positive Infinite Limit: (\lim_{x \to a} f(x) = +\infty) if increases without bound as approaches .
- Negative Infinite Limit: (\lim_{x \to a} f(x) = -\infty) if decreases without bound as approaches .
Note: are not real numbers. Stating (\lim_{x \to a} f(x) = \pm\infty) means the limit does not exist, but describes the specific unbounded growth or decay of the function near .
Theorem (Infinite Limits of Quotients): Let be a real number. Suppose (\lim_{x \to a} f(x) = c) and (\lim_{x \to a} g(x) = 0).
- If :
- If , then (\lim_{x \to a} \frac{f(x)}{g(x)} = +\infty).
- If , then (\lim_{x \to a} \frac{f(x)}{g(x)} = -\infty).
- If :
- If , then (\lim_{x \to a} \frac{f(x)}{g(x)} = -\infty).
- If , then (\lim_{x \to a} \frac{f(x)}{g(x)} = +\infty).
Vertical Asymptote: The line is a vertical asymptote of the graph of if at least one of the following holds:
Indeterminate Forms Involving Infinity:
- Type (\infty - \infty): Occurs when (\lim_{x \to a} f(x) = +\infty) and (\lim_{x \to a} g(x) = +\infty), evaluating (\lim_{x \to a} [f(x) - g(x)]).
- Type (0 \cdot \infty): Occurs when (\lim_{x \to a} f(x) = 0) and (\lim_{x \to a} g(x) = \pm\infty), evaluating (\lim_{x \to a} [f(x) g(x)]).
- Type (\frac{\infty}{\infty}): Occurs when both numerator and denominator approach . These forms require algebraic re-expression (such as finding a common denominator or multiplying by conjugates) to be evaluated.
Limits at Infinity:
- (\lim_{x \to +\infty} f(x) = L): approaches as increases without bound.
- (\lim_{x \to -\infty} f(x) = L): approaches as decreases without bound.
Theorem (Powers at Infinity):
- (\lim_{x \to \pm\infty} x^n = +\infty) if is an even positive integer.
- (\lim_{x \to \pm\infty} x^n = \pm\infty) if is an odd positive integer.
- (\lim_{x \to \pm\infty} \frac{1}{x^n} = 0) for any positive integer n$.\n4. If \(\lim_{x \to +\infty} f(x) = c\) (c \in \mathbb{R}) and \(\lim_{x \to +\infty} g(x) = \pm\infty\), then \(\lim_{x \to +\infty} \frac{f(x)}{g(x)} = 0\).\n\nHorizontal Asymptote:\nThe line y = Ly = f(x) if:\n\lim_{x \to +\infty} f(x) = L \quad \text{or} \quad \lim_{x \to -\infty} f(x) = L\n\n\n## The Formal Definition of a Limit\n\nFormal \varepsilon-\delta Definition of a Limit:\nLet f(x)aa. Then:\n\lim_{x \to a} f(x) = L\nif and only if for every \varepsilon > 0\delta > 0 such that:\n|f(x) - L| < \varepsilon \quad \text{whenever} \quad 0 < |x - a| < \delta\n\nGeometric Interpretation:\n- |f(x) - L| < \varepsilon \iff L - \varepsilon < f(x) < L + \varepsilon\varepsilonL on the y-axis).\n- 0 < |x - a| < \delta \iff a - \delta < x < a + \deltax \neq a\deltaa on the x-axis).\n- The formal definition asserts that for any chosen target interval I_y = (L - \varepsilon, L + \varepsilon)J_x = (a - \delta, a + \delta)x \in J_xx = aI_y\n\nProving Limits Using \varepsilon-\delta:\n1. Scratchwork (Finding \delta|f(x) - L||x - a||f(x) - L| \le C |x - a|C \delta = \varepsilon\delta = \frac{\varepsilon}{C}Cx\delta \le \delta_0\delta_0 = 1) to bound the $x$-dependent terms.\n2. Formal Proof: State: "Given \varepsilon > 0\delta = \min{\delta_0, \frac{\varepsilon}{C}}0 < |x - a| < \delta|f(x) - L| < \varepsilon.\n\n\n## Continuity of Functions and the Intermediate Value Theorem\n\nContinuity at a Point:\nA function fx = a if all three of the following conditions are satisfied:\n1. f(a)a \in \text{dom}\,f).\n2. \(\lim_{x \to a} f(x)\) exists.\n3. \(\lim_{x \to a} f(x) = f(a)\).\nOtherwise, fx = a.\n\nClassification of Discontinuities:\n1. Removable Discontinuity: \(\lim_{x \to a} f(x)\) exists, but either f(a) is undefined or \(\lim_{x \to a} f(x) \neq f(a)\). The discontinuity can be removed by redefining f(a) = \lim_{x \to a} f(x).\n2. Essential Discontinuity: \(\lim_{x \to a} f(x)\) does not exist.\n - Jump Essential Discontinuity: Both one-sided limits \(\lim_{x \to a^-} f(x)\) and \(\lim_{x \to a^+} f(x)\) exist as real numbers, but \(\lim_{x \to a^-} f(x) \neq \lim_{x \to a^+} f(x)\).\n - Infinite Essential Discontinuity: At least one of the one-sided limits \(\lim_{x \to a^-} f(x)\) or \(\lim_{x \to a^+} f(x)\) is \pm\infty.\n\nContinuity Properties:\n- Polynomial and rational functions are continuous at every point in their domains.\n- If fgx = ac \in \mathbb{R}f + gf - gf gc f\frac{f}{g}g(a) \neq 0x = a\n- One-Sided Continuity:\n - Continuous from the left at a if \(f(a) = \lim_{x \to a^-} f(x)\).\n - Continuous from the right at a if \(f(a) = \lim_{x \to a^+} f(x)\).\n\nContinuity on Intervals:\n- Continuous everywhere: Continuous at every x \in \mathbb{R}.\n- Continuous on [a, b](a, b)ab.\n\nComposite Function Theorems:\n- If \(\lim_{x \to a} g(x) = b\) and fb, then:\n \lim_{x \to a} f(g(x)) = f\left(\lim_{x \to a} g(x)\right) = f(b)\n- If gafg(a)(f \circ g)(x) = f(g(x))a\n\nIntermediate Value Theorem (IVT):\nLet f[a, b]f(a) \neq f(b)kf(a)f(b)c \in (a, b) such that:\nf(c) = k\n\nApplication to Root-Finding:\nIf f[a, b]f(a)f(b)f(a) f(b) < 0k = 0f(a)f(b)c \in (a, b)f(c) = 0.\n\n\n## Trigonometric Functions: Limits, Continuity, and the Squeeze Theorem\n\nThe Squeeze Theorem (Sandwich Theorem):\nLet f(x)g(x)h(x)Iax = a, such that:\nf(x) \le g(x) \le h(x) \quad \text{for all } x \in I \setminus {a}\nIf \(\lim_{x \to a} f(x) = L\) and \(\lim_{x \to a} h(x) = L\), then:\n\lim_{x \to a} g(x) = L\n\nSpecial Trigonometric Limits:\n1. \(\lim_{x \to 0} \frac{\sin x}{x} = 1\) (and reciprocally, \(\lim_{x \to 0} \frac{x}{\sin x} = 1\))\n2. \(\lim_{x \to 0} \frac{1 - \cos x}{x} = 0\)\n3. \(\lim_{x \to 0} \sin x = 0\)\n4. \(\lim_{x \to 0} \cos x = 1\)\n\nNote: Trigonometric limit formulas require x to be measured in radians.\n\nContinuity of Trigonometric Functions:\n- \(\lim_{x \to a} \sin x = \sin a\) and \(\lim_{x \to a} \cos x = \cos a\) for all a \in \mathbb{R}.\n- All six fundamental trigonometric functions (\sin x\cos x\tan x\cot x\sec x\csc x) are continuous at every point in their respective domains.\n\n\n## Transcendental and Inverse Functions: Limits and Continuity\n\nInverse Functions:\n- A function ff^{-1}f is one-to-one (passes the Horizontal Line Test).\n- Domain and Range Relations: \text{dom}\,f^{-1} = \text{ran}\,f\text{ran}\,f^{-1} = \text{dom}\,f\n- Cancellation Equations: f^{-1}(f(x)) = xx \in \text{dom}\,ff(f^{-1}(x)) = xx \in \text{dom}\,f^{-1}.\n- The graph of f^{-1}fy = x\n\nExponential and Logarithmic Functions:\n- Exponential Function: f(x) = a^xa > 0, a \neq 1\mathbb{R}(0, +\infty).\n - If a > 1f is increasing, \(\lim_{x \to +\infty} a^x = +\infty\), \(\lim_{x \to -\infty} a^x = 0\).\n - If 0 < a < 1f is decreasing, \(\lim_{x \to +\infty} a^x = 0\), \(\lim_{x \to -\infty} a^x = +\infty\).\n- Logarithmic Function: f(x) = \log_a xa > 0, a \neq 1a^x(0, +\infty)\mathbb{R}.\n - If a > 1f is increasing, \(\lim_{x \to +\infty} \log_a x = +\infty\), \(\lim_{x \to 0^+} \log_a x = -\infty\).\n - If 0 < a < 1f is decreasing, \(\lim_{x \to +\infty} \log_a x = -\infty\), \(\lim_{x \to 0^+} \log_a x = +\infty\).\n- Euler's Number e: Defined by the limit:\n e = \lim_{h \to 0} (1 + h)^{1/h} \approx 2.718281828459045\n- Natural Exponential Function: f(x) = e^x\n- Natural Logarithm Function: f(x) = \ln x = \log_e x\n- Change of Base Formulas: a^x = e^{x \ln a}\log_a x = \frac{\ln x}{\ln a}.\n\nInverse Circular Functions:\n1. Inverse Sine: y = \sin^{-1} x \iff x = \sin yx \in [-1, 1]y \in [-\frac{\pi}{2}, \frac{\pi}{2}].\n2. Inverse Cosine: y = \cos^{-1} x \iff x = \cos yx \in [-1, 1]y \in [0, \pi].\n3. Inverse Tangent: y = \tan^{-1} x \iff x = \tan yx \in \mathbb{R}y \in (-\frac{\pi}{2}, \frac{\pi}{2}).\n - Limits at infinity: \(\lim_{x \to +\infty} \tan^{-1} x = \frac{\pi}{2}\), \(\lim_{x \to -\infty} \tan^{-1} x = -\frac{\pi}{2}\).\n4. Inverse Cotangent: y = \cot^{-1} x \iff x = \cot yx \in \mathbb{R}y \in (0, \pi).\n5. Inverse Secant: y = \sec^{-1} x \iff x = \sec yx \in (-\infty, -1] \cup [1, +\infty)y \in [0, \frac{\pi}{2}) \cup [\pi, \frac{3\pi}{2}).\n - Limits at infinity: \(\lim_{x \to +\infty} \sec^{-1} x = \frac{\pi}{2}\), \(\lim_{x \to -\infty} \sec^{-1} x = \frac{3\pi}{2}\).\n6. Inverse Cosecant: y = \csc^{-1} x \iff x = \csc yx \in (-\infty, -1] \cup [1, +\infty)y \in (-\pi, -\frac{\pi}{2}] \cup (0, \frac{\pi}{2}].\n - Limits at infinity: \(\lim_{x \to +\infty} \csc^{-1} x = 0\), \(\lim_{x \to -\infty} \csc^{-1} x = -\pi\).\n\nHyperbolic Functions:\n1. Hyperbolic Sine: \sinh x = \frac{e^x - e^{-x}}{2}\mathbb{R}\mathbb{R}\n2. Hyperbolic Cosine: \cosh x = \frac{e^x + e^{-x}}{2}\mathbb{R}[1, +\infty)\n3. Hyperbolic Tangent: \tanh x = \frac{\sinh x}{\cosh x} = \frac{e^x - e^{-x}}{e^x + e^{-x}}\mathbb{R}(-1, 1)\n4. Hyperbolic Cotangent: \coth x = \frac{\cosh x}{\sinh x} = \frac{e^x + e^{-x}}{e^x - e^{-x}}\mathbb{R} \setminus {0}(-\infty, -1) \cup (1, +\infty)\n5. Hyperbolic Secant: \text{sech}\,x = \frac{1}{\cosh x} = \frac{2}{e^x + e^{-x}}\mathbb{R}(0, 1]\n6. Hyperbolic Cosecant: \text{csch}\,x = \frac{1}{\sinh x} = \frac{2}{e^x - e^{-x}}\mathbb{R} \setminus {0}\mathbb{R} \setminus {0}$
Fundamental Hyperbolic Identities:
Inverse Hyperbolic Functions Expressed as Logarithms:
- for
- for
- for
- for
- for
- for
Derivatives and Differentiation
Slopes, Tangent Lines, and the Definition of the Derivative
Tangent Line Definition: Let be a point on the graph of . Let be another point on the curve. The secant line has slope: As (), the secant line approaches the tangent line at .
The slope of the tangent line at is: provided this limit exists.
- If (\lim_{\Delta x \to 0} \frac{f(x_0 + \Delta x) - f(x_0)}{\Delta x} = \pm\infty), the tangent line is vertical, given by .
Normal Line Definition: The normal line to the graph of at is the line perpendicular to the tangent line at . Its slope is , provided .
Definition of the Derivative: The derivative of a function , denoted , is the function defined by: at all points in the domain of where the limit exists.
Alternative Definition at a Point :
Notations for Derivative:
Basic Differentiation Rules and Derivatives of Trigonometric Functions
Differentiation Rules: Let and be differentiable functions, and .
- Constant Rule:
- Power Rule:
- Constant Multiple Rule:
- Sum/Difference Rule:
- Product Rule:
- Quotient Rule: (where )
Derivatives of Trigonometric Functions:
The Chain Rule, One-Sided Derivatives, and Differentiability
The Chain Rule: If is differentiable at and is differentiable at , then the composite function is differentiable at , and: In Leibniz notation, if and , then:
One-Sided Derivatives:
- Left-Hand Derivative at :
- Right-Hand Derivative at :
- is differentiable at if and only if and both exist and .
Theorem (Differentiability Implies Continuity): If is differentiable at , then is continuous at .
- The converse is false: continuity does not guarantee differentiability (e.g., at is continuous, but ).
- A function fails to be differentiable at if:
- is discontinuous at
- The graph has a sharp corner, edge, or cusp at
- The graph has a vertical tangent line at
Higher Order Derivatives and Implicit Differentiation
Higher Order Derivatives:
- Second derivative:
- Third derivative:
- -th derivative:
Implicit Differentiation: When an equation defines implicitly as a function of :
- Treat as an implicit differentiable function of (applying the chain rule: ).
- Differentiate both sides of the equation with respect to x$.\n3. Collect all terms containing \frac{dy}{dx}\frac{dy}{dx}.\n4. Solve algebraically for \frac{dy}{dx}.\n\n\n## Derivatives of Exponential and Logarithmic Functions\n\nDerivatives of Logarithmic Functions:\n1. \frac{d}{dx}[\ln x] = \frac{1}{x}x > 0)\n2. \frac{d}{dx}[\log_a x] = \frac{1}{x \ln a}x > 0a > 0, a \neq 1)\n3. \frac{d}{dx}[\ln |x|] = \frac{1}{x}x \neq 0)\n\nLogarithmic Differentiation:\nUsed for functions involving complex products, quotients, and powers, or functions of the form y = [f(x)]^{g(x)}:\n1. Take the absolute value and then natural logarithm of both sides: \ln |y| = \ln |f(x)|.\n2. Use properties of logarithms to expand products into sums, quotients into differences, and exponents into factors.\n3. Differentiate both sides implicitly with respect to x\frac{1}{y} \frac{dy}{dx} = \frac{d}{dx}[\text{expanded side}].\n4. Multiply by y\frac{dy}{dx}y\n\nDerivatives of Exponential Functions:\n1. \frac{d}{dx}[e^x] = e^x\n2. \frac{d}{dx}[a^x] = a^x \ln aa > 0, a \neq 1)\n\nGeneral Power Rule:\nFor any real number r \in \mathbb{R}x > 0:\n\frac{d}{dx}[x^r] = r x^{r-1}\n\nDerivative of Variable Base and Exponent [f(x)]^{g(x)}f(x) > 0):\nRewrite as y = e^{g(x) \ln f(x)}, then apply the chain rule:\n\frac{d}{dx}\left[[f(x)]^{g(x)}\right] = [f(x)]^{g(x)} \left[ g'(x) \ln f(x) + g(x) \frac{f'(x)}{f(x)} \right]\n\n\n## Derivatives of Inverse Circular, Hyperbolic, and Inverse Hyperbolic Functions\n\nDerivatives of Inverse Circular Functions:\n1. \frac{d}{dx}[\sin^{-1} x] = \frac{1}{\sqrt{1 - x^2}}\n2. \frac{d}{dx}[\cos^{-1} x] = -\frac{1}{\sqrt{1 - x^2}}\n3. \frac{d}{dx}[\tan^{-1} x] = \frac{1}{1 + x^2}\n4. \frac{d}{dx}[\cot^{-1} x] = -\frac{1}{1 + x^2}\n5. \frac{d}{dx}[\sec^{-1} x] = \frac{1}{x \sqrt{x^2 - 1}}\n6. \frac{d}{dx}[\csc^{-1} x] = -\frac{1}{x \sqrt{x^2 - 1}}\n\nDerivatives of Hyperbolic Functions:\n1. \frac{d}{dx}[\sinh x] = \cosh x\n2. \frac{d}{dx}[\cosh x] = \sinh x\n3. \frac{d}{dx}[\tanh x] = \text{sech}^2 x\n4. \frac{d}{dx}[\coth x] = -\text{csch}^2 x\n5. \frac{d}{dx}[\text{sech}\,x] = -\text{sech}\,x \tanh x\n6. \frac{d}{dx}[\text{csch}\,x] = -\text{csch}\,x \coth x\n\nDerivatives of Inverse Hyperbolic Functions:\n1. \frac{d}{dx}[\sinh^{-1} x] = \frac{1}{\sqrt{x^2 + 1}}\n2. \frac{d}{dx}[\cosh^{-1} x] = \frac{1}{\sqrt{x^2 - 1}}x > 1)\n3. \frac{d}{dx}[\tanh^{-1} x] = \frac{1}{1 - x^2}|x| < 1)\n4. \frac{d}{dx}[\coth^{-1} x] = \frac{1}{1 - x^2}|x| > 1)\n5. \frac{d}{dx}[\text{sech}^{-1} x] = -\frac{1}{x \sqrt{1 - x^2}}x \in (0, 1))\n6. \frac{d}{dx}[\text{csch}^{-1} x] = -\frac{1}{|x| \sqrt{x^2 + 1}}x \neq 0)\n\n\n## Indeterminate Forms and L'Hôpital's Rule\n\nL'Hôpital's Rule:\nLet fgIaag'(x) \neq 0x \in I \setminus {a}.\nIf \(\lim_{x \to a} \frac{f(x)}{g(x)}\) is an indeterminate form of type \(\left(\frac{0}{0}\right)\) or \(\left(\frac{\infty}{\infty}\right)\), then:\n\lim_{x \to a} \frac{f(x)}{g(x)} = \lim_{x \to a} \frac{f'(x)}{g'(x)}\nprovided \(\lim_{x \to a} \frac{f'(x)}{g'(x)}\) exists as a real number, or is \pm\infty.\n- Applies equally to one-sided limits (x \to a^+x \to a^-x \to +\inftyx \to -\infty).\n- Note: L'Hôpital's Rule requires differentiating the numerator and denominator separately (\frac{f'}{g'}), not using the quotient rule.\n\nConverting Other Indeterminate Forms:\n1. Type 0 \cdot \infty: If \(\lim f(x) = 0\) and \(\lim g(x) = \pm\infty\), rewrite f(x) g(x)\frac{f(x)}{1/g(x)}\frac{0}{0}\frac{g(x)}{1/f(x)}\frac{\infty}{\infty}).\n2. Type \infty - \infty\frac{0}{0}\frac{\infty}{\infty}.\n3. Types 1^\infty, 0^0, \infty^0y = [f(x)]^{g(x)}\ln y = g(x) \ln[f(x)]0 \cdot \inftyL = \lim \ln ye^L.\n\n\n## Rolle's Theorem and the Mean Value Theorem\n\nRolle's Theorem:\nLet f be a function that satisfies:\n1. f[a, b]\n2. f(a, b)\n3. f(a) = f(b)\nThen there exists at least one number c \in (a, b) such that:\nf'(c) = 0\n\nThe Mean Value Theorem (MVT):\nLet f be a function that satisfies:\n1. f[a, b]\n2. f(a, b)\nThen there exists at least one number c \in (a, b) such that:\nf'(c) = \frac{f(b) - f(a)}{b - a}\n\nGeometric Interpretation:\nThere is at least one point (c, f(c))(a, f(a))(b, f(b)).\n\n\n## Relative Extrema, Monotonicity, and the First Derivative Test\n\nDefinitions of Extrema:\n- Relative Maximum: fx = cIcf(x) \le f(c)x \in I\n- Relative Minimum: fx = cIcf(x) \ge f(c)x \in I\n\nCritical Numbers:\nA number c \in \text{dom}\,fff'(c) = 0f'(c) is undefined.\n\nTheorem (Fermat's Theorem on Stationary Points):\nIf fx = ccf.\n\nMonotonicity Test:\nLet f[a, b](a, b).\n1. If f'(x) > 0x \in (a, b)f[a, b].\n2. If f'(x) < 0x \in (a, b)f[a, b].\n3. If f'(x) = 0x \in (a, b)f[a, b].\n\nThe First Derivative Test for Relative Extrema:\nLet cffc.\n1. If f'(x) > 0(a, c)f'(x) < 0(c, b)fx = c\n2. If f'(x) < 0(a, c)f'(x) > 0(c, b)fx = c\n3. If f'(x)cfx = c\n\n\n## Concavity, Points of Inflection, and the Second Derivative Test\n\nConcavity:\n1. Concave Up: The graph of fIf'(x)f''(x) > 0I\n2. Concave Down: The graph of fIf'(x)f''(x) < 0I\n\nTest for Concavity:\n- If f''(x) > 0x \in (a, b)f(a, b).\n- If f''(x) < 0x \in (a, b)f(a, b).\n\nPoint of Inflection:\nA point P(c, f(c))ffcP.\n- If P(c, f(c))f''(c) = 0f''(c) is undefined.\n\nThe Second Derivative Test for Relative Extrema:\nLet ff'(c) = 0f''c\n1. If f''(c) < 0fx = c\n2. If f''(c) > 0fx = c\n3. If f''(c) = 0, the test is inconclusive (the First Derivative Test must be used).\n\n\n## Graph Sketching and Asymptotes\n\nAsymptotes Summary:\n- Vertical Asymptote: x = a if \(\lim_{x \to a^{\pm}} f(x) = \pm\infty\).\n- Horizontal Asymptote: y = L if \(\lim_{x \to \pm\infty} f(x) = L\).\n- Oblique (Slant) Asymptote: y = m x + bm \neq 0) if \(\lim_{x \to \pm\infty} [f(x) - (m x + b)] = 0\). For a rational function \frac{P(x)}{Q(x)}\text{deg}(P) = \text{deg}(Q) + 1, obtained by polynomial long division.\n\nComprehensive Graph Sketching Procedure:\n1. Domain and Intercepts: Determine \text{dom}\,ff(x) = 0f(0)).\n2. Symmetry and Asymptotes: Check for even/odd symmetry. Find vertical, horizontal, and slant asymptotes.\n3. First Derivative Analysis: Compute f'(x)f'(x) to identify intervals of increase/decrease and relative extrema.\n4. Second Derivative Analysis: Compute f''(x)f''(x) to identify intervals of concavity and inflection points.\n5. Plotting: Plot intercepts, relative extrema, inflection points, and draw asymptotes. Sketch the curve following monotonicity and concavity.\n\n\n# Applications of Differentiation\n\n## Rectilinear Motion\n\nPosition, Velocity, and Acceleration:\nFor a particle moving along a coordinate line with position function s(t)t \ge 0:\n- Position: s(t)\n- Instantaneous Velocity: v(t) = s'(t) = \frac{ds}{dt}\n- Instantaneous Speed: |v(t)| = |s'(t)|\n- Instantaneous Acceleration: a(t) = v'(t) = s''(t) = \frac{d^2s}{dt^2}\n\nInterpretation of Signs in Motion:\n- Velocity:\n - v(t) > 0: Particle is moving in the positive direction (right / upward).\n - v(t) < 0: Particle is moving in the negative direction (left / downward).\n - v(t) = 0: Particle is momentarily at rest or changing direction.\n- Speeding Up vs. Slowing Down:\n - Speeding Up: v(t)a(t)v(t) a(t) > 0).\n - Slowing Down: v(t)a(t)v(t) a(t) < 0).\n- Total Distance Traveled: Calculate the sum of absolute displacements between consecutive time turning points (where v(t) = 0).\n\n\n## Rates of Change and Related Rates\n\nRates of Change:\n- Average rate of change of y = f(x)[x_0, x]\frac{\Delta y}{\Delta x} = \frac{f(x) - f(x_0)}{x - x_0}\n- Instantaneous rate of change of yxx_0f'(x_0) = \lim_{\Delta x \to 0} \frac{\Delta y}{\Delta x}\n\nRelated Rates Procedure:\n1. Draw a diagram representing the situation for any time t > 0.\n2. Assign variables to all quantities that change with time t. Label constants with their numerical values.\n3. State given rates of change as derivatives with respect to t\frac{dx}{dt}\frac{dV}{dt}). Assign negative signs to quantities that decrease with time.\n4. Identify the target rate of change to be found at a specific instant.\n5. Write an equation relating the variables valid for all t > 0.\n6. Differentiate implicitly with respect to time t.\n7. Substitute the specific values corresponding to the instant of interest into the resulting equation and solve for the unknown rate of change.\n8. State the final result with correct units.\n\n\n## Local Linear Approximation and Differentials\n\nDifferentials:\nLet y = f(x)x\n- The differential dxxdx = \Delta x\n- The differential dyy is defined by:\n dy = f'(x) dx\n- While \Delta y = f(x + \Delta x) - f(x)ydy represents the estimated change along the tangent line.\n\nLocal Linear Approximation:\nThe linear function L(x)f(x)x_0 is the tangent line equation:\nL(x) = f(x_0) + f'(x_0)(x - x_0)\nFor x = x_0 + dxdx = \Delta x is small):\nf(x_0 + dx) \approx f(x_0) + f'(x_0) dx\n\Delta y \approx dy = f'(x_0) dx\n\n\n## Absolute Extrema and Optimization Problems\n\nAbsolute Extrema Definitions:\n- Absolute Maximum: f(x_0) \ge f(x)x \in I\n- Absolute Minimum: f(x_0) \le f(x)x \in I\n\nThe Extreme Value Theorem (EVT):\nIf f[a, b]f[a, b].\n\nClosed Interval Method for Absolute Extrema on [a, b]:\n1. Find all critical numbers of f(a, b).\n2. Evaluate fc_1, c_2, \dots, c_m\n3. Evaluate fab\n4. The largest of these values is the absolute maximum value; the smallest is the absolute minimum value.\n\nSingle Critical Number Theorem for Open/Unbounded Intervals:\nSuppose fIx_0\n- If fx_0f(x_0)fI\n- If fx_0f(x_0)fI\n\nOptimization Word Problems - Step-by-Step:\n1. Draw a diagram and assign variable names.\n2. Formulate the primary objective equation for the quantity q to be optimized.\n3. Express qx using constraint equations.\n4. Determine the feasible domain of x based on physical/geometric limits.\n5. Find the absolute maximum or minimum using the Closed Interval Method or First/Second Derivative Tests.\n\n\n# Integration and Its Applications\n\n## Antidifferentiation and Indefinite Integrals\n\nAntiderivatives:\nA function FfIF'(x) = f(x)x \in I.\n- If FfF(x) + CC \in \mathbb{R} is an arbitrary constant.\n- The indefinite integral is denoted by:\n \int f(x) dx = F(x) + C\n\nBasic Integration Formulas:\n1. \int dx = x + C\n2. \int a f(x) dx = a \int f(x) dx\n3. \int [f(x) \pm g(x)] dx = \int f(x) dx \pm \int g(x) dx\n4. \int x^n dx = \frac{x^{n+1}}{n + 1} + Cn \neq -1)\n5. \int \frac{1}{x} dx = \ln |x| + C\n6. \int e^x dx = e^x + C\n7. \int a^x dx = \frac{a^x}{\ln a} + Ca > 0, a \neq 1)\n8. \int \sin x dx = -\cos x + C\n9. \int \cos x dx = \sin x + C\n10. \int \sec^2 x dx = \tan x + C\n11. \int \csc^2 x dx = -\cot x + C\n12. \int \sec x \tan x dx = \sec x + C\n13. \int \csc x \cot x dx = -\csc x + C\n14. \int \sinh x dx = \cosh x + C\n15. \int \cosh x dx = \sinh x + C\n16. \int \text{sech}^2 x dx = \tanh x + C\n17. \int \text{csch}^2 x dx = -\coth x + C\n18. \int \text{sech}\,x \tanh x dx = -\text{sech}\,x + C\n19. \int \text{csch}\,x \coth x dx = -\text{csch}\,x + C\n\nIntegrals Yielding Inverse Trigonometric and Inverse Hyperbolic Functions (a > 0):\n1. \int \frac{du}{\sqrt{a^2 - u^2}} = \sin^{-1}\left(\frac{u}{a}\right) + C\n2. \int \frac{du}{a^2 + u^2} = \frac{1}{a} \tan^{-1}\left(\frac{u}{a}\right) + C\n3. \int \frac{du}{u \sqrt{u^2 - a^2}} = \frac{1}{a} \sec^{-1}\left(\frac{u}{a}\right) + C\n4. \int \frac{du}{\sqrt{u^2 + a^2}} = \sinh^{-1}\left(\frac{u}{a}\right) + C = \ln\left(u + \sqrt{u^2 + a^2}\right) + C\n5. \int \frac{du}{\sqrt{u^2 - a^2}} = \cosh^{-1}\left(\frac{u}{a}\right) + C = \ln\left(u + \sqrt{u^2 - a^2}\right) + Cu > a)\n6. \int \frac{du}{a^2 - u^2} = \frac{1}{2a} \ln\left|\frac{a + u}{a - u}\right| + C\n\n\n## Integration by Substitution\n\nTheorem (Substitution Rule):\nIf u = g(x)IfI, then:\n\int f(g(x)) g'(x) dx = \int f(u) du\n\nIntegrals of Remaining Trigonometric Functions:\n1. \int \tan x dx = \ln |\sec x| + C\n2. \int \cot x dx = \ln |\sin x| + C\n3. \int \sec x dx = \ln |\sec x + \tan x| + C\n4. \int \csc x dx = \ln |\csc x - \cot x| + C\n\nIntegrals of Remaining Hyperbolic Functions:\n1. \int \tanh x dx = \ln(\cosh x) + C\n2. \int \coth x dx = \ln |\sinh x| + C\n3. \int \text{sech}\,x dx = 2 \tan^{-1}(e^x) + C = \tan^{-1}(\sinh x) + C\n4. \int \text{csch}\,x dx = \ln |\text{csch}\,x - \coth x| + C\n\n\n## Particular Antiderivatives and Rectilinear Motion\n\nInitial Value Problems:\nA particular antiderivative is obtained when an initial condition (e.g., y(x_0) = y_0C\n\nApplication to Rectilinear Motion:\nGiven acceleration a(t)v(0) = v_0s(0) = s_0:\n1. v(t) = \int a(t) dt + C_1C_1v(0) = v_0\n2. s(t) = \int v(t) dt + C_2C_2s(0) = s_0\n- Constant Acceleration under Gravity (g):\n - a(t) = -g\n - v(t) = -gt + v_0\n - s(t) = -\frac{1}{2}gt^2 + v_0 t + s_0\n\n\n## Area of a Plane Region and the Definite Integral\n\nSigma Notation and Properties:\n\sum_{i=1}^n F(i) = F(1) + F(2) + \dots + F(n)\n1. \sum_{i=1}^n c = c n\n2. \sum_{i=1}^n c F(i) = c \sum_{i=1}^n F(i)\n3. \sum_{i=1}^n [F(i) \pm G(i)] = \sum_{i=1}^n F(i) \pm \sum_{i=1}^n G(i)\n4. \sum_{i=1}^n i = \frac{n(n + 1)}{2}\n5. \sum_{i=1}^n i^2 = \frac{n(n + 1)(2n + 1)}{6}\n6. \sum_{i=1}^n i^3 = \frac{n^2(n + 1)^2}{4}\n\nRiemann Sums and Area Definition:\nLet f[a, b].\n1. Divide [a, b]n\Delta x = \frac{b - a}{n}.\n2. Choose sample points x_i^[x_{i-1}, x_i].\n3. The area A_R of the region is defined as the limit of Riemann sums:\n A_R = \lim_{n \to \infty} \sum_{i=1}^n f(x_i^) \Delta x\n\nThe Definite Integral:\nLet f[a, b]P[a, b]n\Delta x_i = x_i - x_{i-1}\max \Delta x_i.\n\int_a^b f(x) dx = \lim_{\max \Delta x_i \to 0} \sum_{i=1}^n f(x_i^*) \Delta x_i\nprovided the limit exists.\n- If f[a, b]f[a, b].\n\nGeometric Interpretation:\n\int_a^b f(x) dxy = f(x)[a, b] (area above the x-axis minus area below the x-axis).\n\nProperties of the Definite Integral:\n1. \int_a^b f(x) dx = -\int_b^a f(x) dx\n2. \int_a^a f(x) dx = 0\n3. \int_a^b c dx = c (b - a)\n4. \int_a^b c f(x) dx = c \int_a^b f(x) dx\n5. \int_a^b [f(x) \pm g(x)] dx = \int_a^b f(x) dx \pm \int_a^b g(x) dx\n6. \int_a^b f(x) dx = \int_a^c f(x) dx + \int_c^b f(x) dxc\n\n\n## The Fundamental Theorems of Calculus\n\nThe First Fundamental Theorem of Calculus (FTC 1):\nLet f[a, b]F defined by:\nF(x) = \int_a^x f(t) dt\nis continuous on [a, b](a, b), and its derivative is:\nF'(x) = \frac{d}{dx} \left[ \int_a^x f(t) dt \right] = f(x)\n\nLeibniz Extension of FTC 1:\n\frac{d}{dx} \left[ \int_{a(x)}^{b(x)} f(t) dt \right] = f(b(x)) b'(x) - f(a(x)) a'(x)\n\nThe Second Fundamental Theorem of Calculus (FTC 2):\nLet f[a, b]Ff[a, b], then:\n\int_a^b f(x) dx = F(b) - F(a)\nWe denote F(b) - F(a)\left[ F(x) \right]a^b.\n\nSubstitution in Definite Integrals:\n\int_a^b f(g(x)) g'(x) dx = \int{g(a)}^{g(b)} f(u) du\n\n\n## Area of Plane Regions Between Curves\n\nVertical Rectangles (dx Approach):\nIf fg[a, b]f(x) \ge g(x)x \in [a, b]A_Ry = f(x)y = g(x)x = ax = b is:\nA_R = \int_a^b [f(x) - g(x)] dx = \int_a^b h(x) dx\nwhere h(x) = y_{\text{upper}} - y_{\text{lower}}.\n\nHorizontal Rectangles (dy Approach):\nIf uv[c, d]v(y) \ge u(y)y \in [c, d]A_Rx = v(y)x = u(y)y = cy = d is:\nA_R = \int_c^d [v(y) - u(y)] dy = \int_c^d l(y) dy\nwhere l(y) = x_{\text{right}} - x_{\text{left}}.\n\n\n## Arc Length of Plane Curves\n\nSmooth Curve Definition:\nA curve is smooth on [a, b]f'[a, b].\n\nArc Length Formulas:\n1. Function of x[a, b]:\n L = \int_a^b \sqrt{1 + \left(\frac{dy}{dx}\right)^2} dx = \int_a^b \sqrt{1 + [f'(x)]^2} dx\n2. Function of y[c, d]:\n L = \int_c^d \sqrt{1 + \left(\frac{dx}{dy}\right)^2} dy = \int_c^d \sqrt{1 + [u'(y)]^2} dy\n\n\n## Volumes of Solids of Revolution and Volumes by Slicing\n\nDisk and Washer Methods (Rectangles Perpendicular to Axis of Revolution):\n1. Disk Method (No gap between region and axis of revolution):\n - Horizontal Axis of Revolution (y = y_0):\n V = \int_a^b \pi [r(x)]^2 dx\n - Vertical Axis of Revolution (x = x_0):\n V = \int_c^d \pi [r(y)]^2 dy\n2. Washer Method (Gap exists between region and axis of revolution):\n - Horizontal Axis of Revolution (y = y_0):\n V = \int_a^b \pi \left( [r_2(x)]^2 - [r_1(x)]^2 \right) dx\n where r_2(x)r_1(x) is the inner radius.\n - Vertical Axis of Revolution (x = x_0):\n V = \int_c^d \pi \left( [r_2(y)]^2 - [r_1(y)]^2 \right) dy\n\nCylindrical Shell Method (Rectangles Parallel to Axis of Revolution):\n1. Vertical Axis of Revolution (x = x_0dx):\n V = \int_a^b 2\pi r(x) h(x) dx\n where r(x)x|x - x_0|h(x) = y_{\text{upper}} - y_{\text{lower}}.\n2. Horizontal Axis of Revolution (y = y_0dy):\n V = \int_c^d 2\pi r(y) h(y) dy\n where r(y) = |y - y_0|h(y) = x_{\text{right}} - x_{\text{left}}.\n\nVolume by Slicing (Cross-Sectional Area):\nFor a solid Sx = ax = bA(x):\nV = \int_a^b A(x) dx\nFor a solid extending from y = cy = dA(y):\nV = \int_c^d A(y) dy\n\n\n## Mean Value Theorem for Integrals and Average Value of a Function\n\nDomination and Bounding Theorems:\n1. If f(x) \le g(x)x \in [a, b], then:\n \int_a^b f(x) dx \le \int_a^b g(x) dx\n2. If m \le f(x) \le Mx \in [a, b], then:\n m (b - a) \le \int_a^b f(x) dx \le M (b - a)\n\nMean Value Theorem for Integrals:\nIf f[a, b]c \in [a, b] such that:\n\int_a^b f(x) dx = f(c) (b - a)\n\nAverage Value of a Function:\nIf f[a, b]f_{\text{ave}}[a, b] is:\nf_{\text{ave}} = \frac{1}{b - a} \int_a^b f(x) dx$$