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 f(x)f(x) as the independent variable xx approaches a specific value aa, without necessarily reaching aa.

To distinguish between the value of a function at a real number aa (denoted f(a)f(a)) and its limit as xx approaches aa:

  • A function ff may be undefined at aa, yet its behavior near aa can be fully described.
  • Consider three distinct functions:
    1. f(x)=3x1f(x) = 3x - 1
    2. g(x)=3x24x+1x1=(3x1)(x1)x1g(x) = \frac{3x^2 - 4x + 1}{x - 1} = \frac{(3x - 1)(x - 1)}{x - 1} for x1x \neq 1
    3. h(x)={3x1,x10,x=1h(x) = \begin{cases} 3x - 1, & x \neq 1 \\ 0, & x = 1 \end{cases}

Graphs of f(x), g(x), and h(x)

Evaluating these functions at values near x=1x = 1:

  • For f(x)f(x): as xx takes values such as 0,0.5,0.9,0.99,0.999990, 0.5, 0.9, 0.99, 0.99999 from the left, f(x)f(x) produces 1,0.5,1.7,1.97,1.99997-1, 0.5, 1.7, 1.97, 1.99997. From the right, for x=2,1.5,1.1,1.001,1.00001x = 2, 1.5, 1.1, 1.001, 1.00001, f(x)f(x) produces 5,3.5,2.3,2.003,2.000035, 3.5, 2.3, 2.003, 2.00003. Thus, f(x)f(x) approaches 22.
  • For g(x)g(x): the function is undefined at x=1x = 1. However, for all x1x \neq 1, g(x)=3x1=f(x)g(x) = 3x - 1 = f(x). As x1x \to 1, g(x)g(x) approaches 22.
  • For h(x)h(x): h(1)=0h(1) = 0, but for all x1x \neq 1, h(x)=f(x)h(x) = f(x). As x1x \to 1, h(x)h(x) approaches 22.

In all three cases, as xx gets closer to 11, the values of the function approach 22.

Informal Definition of Limit: Let ff be a function defined on an open interval II containing aa, except possibly at aa itself. The limit of f(x)f(x) as xx approaches aa is LRL \in \mathbb{R}, denoted by: limxaf(x)=L\lim_{x \to a} f(x) = L if the values of f(x)f(x) get closer and closer to LL as xx assumes values going closer and closer to aa without reaching aa.

Alternatively, (\lim_{x \to a} f(x) = L) if f(x)f(x) can be made as close to LL as desired by choosing xx sufficiently close to aa (where xax \neq a).

Key Limit Remarks:

  • Finding (\lim_{x \to a} f(x)) requires analyzing values of xx near aa, not at aa. The limit can exist even if f(a)f(a) is undefined.
  • If both (\lim_{x \to a} f(x)) and f(a)f(a) exist, they are not required to be equal (e.g., h(1)=0h(1) = 0 while (\lim_{x \to 1} h(x) = 2)).
  • If f(x)f(x) does not approach a single real number as xax \to a, the limit does not exist (dne).
  • The Heaviside step function H(x)H(x), defined by:   H(x)={1,x00,x<0H(x) = \begin{cases} 1, & x \ge 0 \\ 0, & x < 0 \end{cases}   has no limit as x0x \to 0. Approaching 00 from the right yields 11, while approaching from the left yields 00. Thus, (\lim_{x \to 0} H(x)) does not exist.

Theorem (Limit Theorems): Let f(x)f(x) and g(x)g(x) be functions defined on an open interval containing aa, except possibly at aa

  1. Uniqueness: If (\lim_{x \to a} f(x)) exists, it is unique.
  2. Constant Rule: For cRc \in \mathbb{R}, (\lim_{x \to a} c = c).
  3. Identity Rule: (\lim_{x \to a} x = a).
  4. Algebraic Rules: Suppose (\lim_{x \to a} f(x) = L_1) and (\lim_{x \to a} g(x) = L_2), where L1,L2RL_1, L_2 \in \mathbb{R}, and cRc \in \mathbb{R}.
    • 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 g(x)0g(x) \neq 0 near aa and L20L_2 \neq 0
    • Power Rule: (\lim_{x \to a} [f(x)]^n = (L_1)^nforforn \in \mathbb{N}\n - Root Rule: \(\lim_{x \to a} \sqrt[n]{f(x)} = \sqrt[n]{L_1} for nNn \in \mathbb{N}, n>1n > 1, provided L1>0L_1 > 0 when nn is even.

Theorem (Limits of Polynomial and Rational Functions): If ff is a polynomial or rational function and adomfa \in \text{dom}\,f, then: limxaf(x)=f(a)\lim_{x \to a} f(x) = f(a)

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 aa. One-sided limits handle cases where behavior differs on either side of aa, such as piecewise functions or functions with restricted domains (e.g., f(x)=xf(x) = \sqrt{x} near x=0x = 0).

Definitions of One-Sided Limits:

  • Left-Hand Limit: Let ff be defined on an open interval (c,a)(c, a). The limit of f(x)f(x) as xx approaches aa from the left is LL, denoted:   limxaf(x)=L\lim_{x \to a^-} f(x) = L   if f(x)f(x) approaches LL as xx approaches aa through values less than aa.
  • Right-Hand Limit: Let ff be defined on an open interval (a,c)(a, c). The limit of f(x)f(x) as xx approaches aa from the right is LL, denoted:   limxa+f(x)=L\lim_{x \to a^+} f(x) = L   if f(x)f(x) approaches LL as xx approaches aa through values greater than aa.

Theorem (Relationship Between One-Sided and Two-Sided Limits): limxaf(x)=L    limxaf(x)=L=limxa+f(x)\lim_{x \to a} f(x) = L \iff \lim_{x \to a^-} f(x) = L = \lim_{x \to a^+} f(x) 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 f(x)0+f(x) \to 0^+ if f(x)f(x) approaches 00 through positive values.
  • We write f(x)0f(x) \to 0^- if f(x)f(x) approaches 00 through negative values.

Rules for Roots of Limits Approaching Zero:

  • If f(x)0+f(x) \to 0^+ as xax \to a and nn is even, then (\lim_{x \to a} \sqrt[n]{f(x)} = 0).
  • If f(x)0f(x) \to 0^- as xax \to a and nn is even, then (\lim_{x \to a} \sqrt[n]{f(x)}) does not exist in R\mathbb{R}.

Limits Involving Infinity

Infinite Limits: Let ff be a function defined on an open interval containing aa, except possibly at aa.

  • Positive Infinite Limit: (\lim_{x \to a} f(x) = +\infty) if f(x)f(x) increases without bound as xx approaches aa.
  • Negative Infinite Limit: (\lim_{x \to a} f(x) = -\infty) if f(x)f(x) decreases without bound as xx approaches aa.

Note: ±\pm\infty 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 aa.

Theorem (Infinite Limits of Quotients): Let c0c \neq 0 be a real number. Suppose (\lim_{x \to a} f(x) = c) and (\lim_{x \to a} g(x) = 0).

  1. If c>0c > 0:
    • If g(x)0+g(x) \to 0^+, then (\lim_{x \to a} \frac{f(x)}{g(x)} = +\infty).
    • If g(x)0g(x) \to 0^-, then (\lim_{x \to a} \frac{f(x)}{g(x)} = -\infty).
  2. If c<0c < 0:
    • If g(x)0+g(x) \to 0^+, then (\lim_{x \to a} \frac{f(x)}{g(x)} = -\infty).
    • If g(x)0g(x) \to 0^-, then (\lim_{x \to a} \frac{f(x)}{g(x)} = +\infty).

Vertical Asymptote: The line x=ax = a is a vertical asymptote of the graph of y=f(x)y = f(x) if at least one of the following holds: limxaf(x)=+,limxaf(x)=,limxa+f(x)=+,limxa+f(x)=\lim_{x \to a^-} f(x) = +\infty, \quad \lim_{x \to a^-} f(x) = -\infty, \quad \lim_{x \to a^+} f(x) = +\infty, \quad \lim_{x \to a^+} f(x) = -\infty

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 ±\pm\infty. 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): f(x)f(x) approaches LL as xx increases without bound.
  • (\lim_{x \to -\infty} f(x) = L): f(x)f(x) approaches LL as xx decreases without bound.

Theorem (Powers at Infinity):

  1. (\lim_{x \to \pm\infty} x^n = +\infty) if nn is an even positive integer.
  2. (\lim_{x \to \pm\infty} x^n = \pm\infty) if nn is an odd positive integer.
  3. (\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 = Lisahorizontalasymptoteofthegraphofis a horizontal asymptote of the graph ofy = 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)bedefinedonanopenintervalcontainingbe defined on an open interval containinga,exceptpossiblyat, except possibly ata. Then:\n\lim_{x \to a} f(x) = L\nif and only if for every \varepsilon > 0,thereexistsa, there exists a\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(anopenintervalofradius(an open interval of radius\varepsiloncenteredatcentered atL on the y-axis).\n- 0 < |x - a| < \delta \iff a - \delta < x < a + \deltawithwithx \neq a(apuncturedopenintervalofradius(a punctured open interval of radius\deltacenteredatcentered ata on the x-axis).\n- The formal definition asserts that for any chosen target interval I_y = (L - \varepsilon, L + \varepsilon),aninterval, an intervalJ_x = (a - \delta, a + \delta)canbeconstructedsuchthateverycan be constructed such that everyx \in J_x(exceptpossibly(except possiblyx = a)mapsinto) maps intoI_y\n\nProving Limits Using \varepsilon-\delta:\n1. Scratchwork (Finding \delta):Express): Express|f(x) - L|intermsofin terms of|x - a|.Findarelationship. Find a relationship|f(x) - L| \le C |x - a|.Set. SetC \delta = \varepsilon,whichsuggestschoosing, which suggests choosing\delta = \frac{\varepsilon}{C}.If. IfCdependsondepends onx,restrict, restrict\delta \le \delta_0(e.g.,(e.g.,\delta_0 = 1) to bound the $x$-dependent terms.\n2. Formal Proof: State: "Given \varepsilon > 0,choose, choose\delta = \min{\delta_0, \frac{\varepsilon}{C}}.If. If0 < |x - a| < \delta,then..."andshowstepbystepthat, then..." and show step-by-step that|f(x) - L| < \varepsilon.\n\n\n## Continuity of Functions and the Intermediate Value Theorem\n\nContinuity at a Point:\nA function fiscontinuousatis continuous atx = a if all three of the following conditions are satisfied:\n1. f(a)isdefined(is defined (a \in \text{dom}\,f).\n2. \(\lim_{x \to a} f(x)\) exists.\n3. \(\lim_{x \to a} f(x) = f(a)\).\nOtherwise, fisdiscontinuousatis discontinuous atx = 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 fandandgarecontinuousatare continuous atx = aandandc \in \mathbb{R},then, thenf + g,,f - g,,f g,,c f,and, and\frac{f}{g}(provided(providedg(a) \neq 0)arecontinuousat) are continuous atx = 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]:Continuouson: Continuous on(a, b),continuousfromtherightat, continuous from the right ata,andcontinuousfromtheleftat, and continuous from the left atb.\n\nComposite Function Theorems:\n- If \(\lim_{x \to a} g(x) = b\) and fiscontinuousatis continuous atb, then:\n  \lim_{x \to a} f(g(x)) = f\left(\lim_{x \to a} g(x)\right) = f(b)\n- If giscontinuousatis continuous ataandandfiscontinuousatis continuous atg(a),then, then(f \circ g)(x) = f(g(x))iscontinuousatis continuous ata\n\nIntermediate Value Theorem (IVT):\nLet fbecontinuousonaclosedintervalbe continuous on a closed interval[a, b]withwithf(a) \neq f(b).Foreveryrealnumber. For every real numberkbetweenbetweenf(a)andandf(b),thereexistsatleastonenumber, there exists at least one numberc \in (a, b) such that:\nf(c) = k\n\nApplication to Root-Finding:\nIf fiscontinuousonis continuous on[a, b]andandf(a)andandf(b)haveoppositesigns(meaninghave opposite signs (meaningf(a) f(b) < 0),then), thenk = 0liesbetweenlies betweenf(a)andandf(b).BytheIVT,thereexistsatleastone. By the IVT, there exists at least onec \in (a, b)suchthatsuch thatf(c) = 0.\n\n\n## Trigonometric Functions: Limits, Continuity, and the Squeeze Theorem\n\nThe Squeeze Theorem (Sandwich Theorem):\nLet f(x),,g(x),and, andh(x)bedefinedonanopenintervalbe defined on an open intervalIcontainingcontaininga,exceptpossiblyat, except possibly atx = 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 fhasaninversehas an inversef^{-1}ifandonlyifif and only iff is one-to-one (passes the Horizontal Line Test).\n- Domain and Range Relations: \text{dom}\,f^{-1} = \text{ran}\,fandand\text{ran}\,f^{-1} = \text{dom}\,f\n- Cancellation Equations: f^{-1}(f(x)) = xforallfor allx \in \text{dom}\,f,and, andf(f^{-1}(x)) = xforallfor allx \in \text{dom}\,f^{-1}.\n- The graph of f^{-1}isthereflectionofthegraphofis the reflection of the graph offacrossthelineacross the liney = x\n\nExponential and Logarithmic Functions:\n- Exponential Function: f(x) = a^x((a > 0, a \neq 1).Domain:). Domain:\mathbb{R},Range:, Range:(0, +\infty).\n - If a > 1::f is increasing, \(\lim_{x \to +\infty} a^x = +\infty\), \(\lim_{x \to -\infty} a^x = 0\).\n - If 0 < a < 1::f is decreasing, \(\lim_{x \to +\infty} a^x = 0\), \(\lim_{x \to -\infty} a^x = +\infty\).\n- Logarithmic Function: f(x) = \log_a x((a > 0, a \neq 1).Inverseof). Inverse ofa^x.Domain:. Domain:(0, +\infty),Range:, Range:\mathbb{R}.\n - If a > 1::f is increasing, \(\lim_{x \to +\infty} \log_a x = +\infty\), \(\lim_{x \to 0^+} \log_a x = -\infty\).\n - If 0 < a < 1::f 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}andand\log_a x = \frac{\ln x}{\ln a}.\n\nInverse Circular Functions:\n1. Inverse Sine: y = \sin^{-1} x \iff x = \sin y,where, wherex \in [-1, 1]andandy \in [-\frac{\pi}{2}, \frac{\pi}{2}].\n2. Inverse Cosine: y = \cos^{-1} x \iff x = \cos y,where, wherex \in [-1, 1]andandy \in [0, \pi].\n3. Inverse Tangent: y = \tan^{-1} x \iff x = \tan y,where, wherex \in \mathbb{R}andandy \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 y,where, wherex \in \mathbb{R}andandy \in (0, \pi).\n5. Inverse Secant: y = \sec^{-1} x \iff x = \sec y,where, wherex \in (-\infty, -1] \cup [1, +\infty)andandy \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 y,where, wherex \in (-\infty, -1] \cup [1, +\infty)andandy \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},Domain:, Domain:\mathbb{R},Range:, Range:\mathbb{R}\n2. Hyperbolic Cosine: \cosh x = \frac{e^x + e^{-x}}{2},Domain:, Domain:\mathbb{R},Range:, Range:[1, +\infty)\n3. Hyperbolic Tangent: \tanh x = \frac{\sinh x}{\cosh x} = \frac{e^x - e^{-x}}{e^x + e^{-x}},Domain:, Domain:\mathbb{R},Range:, Range:(-1, 1)\n4. Hyperbolic Cotangent: \coth x = \frac{\cosh x}{\sinh x} = \frac{e^x + e^{-x}}{e^x - e^{-x}},Domain:, Domain:\mathbb{R} \setminus {0},Range:, Range:(-\infty, -1) \cup (1, +\infty)\n5. Hyperbolic Secant: \text{sech}\,x = \frac{1}{\cosh x} = \frac{2}{e^x + e^{-x}},Domain:, Domain:\mathbb{R},Range:, Range:(0, 1]\n6. Hyperbolic Cosecant: \text{csch}\,x = \frac{1}{\sinh x} = \frac{2}{e^x - e^{-x}},Domain:, Domain:\mathbb{R} \setminus {0},Range:, Range:\mathbb{R} \setminus {0}$

Fundamental Hyperbolic Identities:

  • coshx+sinhx=ex\cosh x + \sinh x = e^x
  • coshxsinhx=ex\cosh x - \sinh x = e^{-x}
  • cosh2xsinh2x=1\cosh^2 x - \sinh^2 x = 1
  • 1tanh2x=sech2x1 - \tanh^2 x = \text{sech}^2 x
  • 1coth2x=csch2x1 - \coth^2 x = -\text{csch}^2 x
  • sinh(x±y)=sinhxcoshy±coshxsinhy\sinh(x \pm y) = \sinh x \cosh y \pm \cosh x \sinh y
  • cosh(x±y)=coshxcoshy±sinhxsinhy\cosh(x \pm y) = \cosh x \cosh y \pm \sinh x \sinh y
  • sinh(2x)=2sinhxcoshx\sinh(2x) = 2 \sinh x \cosh x
  • cosh(2x)=cosh2x+sinh2x=2cosh2x1=1+2sinh2x\cosh(2x) = \cosh^2 x + \sinh^2 x = 2 \cosh^2 x - 1 = 1 + 2 \sinh^2 x

Inverse Hyperbolic Functions Expressed as Logarithms:

  1. sinh1x=ln(x+x2+1)\sinh^{-1} x = \ln\left(x + \sqrt{x^2 + 1}\right) for xRx \in \mathbb{R}
  2. cosh1x=ln(x+x21)\cosh^{-1} x = \ln\left(x + \sqrt{x^2 - 1}\right) for x1x \ge 1
  3. tanh1x=12ln(1+x1x)\tanh^{-1} x = \frac{1}{2} \ln\left(\frac{1 + x}{1 - x}\right) for x<1|x| < 1
  4. coth1x=12ln(x+1x1)\coth^{-1} x = \frac{1}{2} \ln\left(\frac{x + 1}{x - 1}\right) for x>1|x| > 1
  5. sech1x=ln(1+1x2x)\text{sech}^{-1} x = \ln\left(\frac{1 + \sqrt{1 - x^2}}{x}\right) for x(0,1]x \in (0, 1]
  6. csch1x=ln(1x+1+x2x)\text{csch}^{-1} x = \ln\left(\frac{1}{x} + \frac{\sqrt{1 + x^2}}{|x|}\right) for x0x \neq 0

Derivatives and Differentiation

Slopes, Tangent Lines, and the Definition of the Derivative

Tangent Line Definition: Let P(x0,f(x0))P(x_0, f(x_0)) be a point on the graph of y=f(x)y = f(x). Let Q(x0+Δx,f(x0+Δx))Q(x_0 + \Delta x, f(x_0 + \Delta x)) be another point on the curve. The secant line PQ\overleftrightarrow{PQ} has slope: mPQ=f(x0+Δx)f(x0)Δxm_{PQ} = \frac{f(x_0 + \Delta x) - f(x_0)}{\Delta x} As QPQ \to P (Δx0\Delta x \to 0), the secant line approaches the tangent line \ell at PP.

The slope mm of the tangent line at P(x0,f(x0))P(x_0, f(x_0)) is: m=limΔx0f(x0+Δx)f(x0)Δxm = \lim_{\Delta x \to 0} \frac{f(x_0 + \Delta x) - f(x_0)}{\Delta x} 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 x=x0x = x_0.

Normal Line Definition: The normal line to the graph of ff at P(x0,f(x0))P(x_0, f(x_0)) is the line perpendicular to the tangent line at PP. Its slope is mnormal=1mm_{\text{normal}} = -\frac{1}{m}, provided m0m \neq 0.

Definition of the Derivative: The derivative of a function ff, denoted ff', is the function defined by: f(x)=limΔx0f(x+Δx)f(x)Δxf'(x) = \lim_{\Delta x \to 0} \frac{f(x + \Delta x) - f(x)}{\Delta x} at all points xx in the domain of ff where the limit exists.

Alternative Definition at a Point x0x_0: f(x0)=limxx0f(x)f(x0)xx0f'(x_0) = \lim_{x \to x_0} \frac{f(x) - f(x_0)}{x - x_0}

Notations for Derivative: y,f(x),dydx,ddx[f(x)],Dx[f(x)]y', \quad f'(x), \quad \frac{dy}{dx}, \quad \frac{d}{dx}[f(x)], \quad D_x[f(x)]

Basic Differentiation Rules and Derivatives of Trigonometric Functions

Differentiation Rules: Let ff and gg be differentiable functions, and c,nRc, n \in \mathbb{R}.

  1. Constant Rule: ddx[c]=0\frac{d}{dx}[c] = 0
  2. Power Rule: ddx[xn]=nxn1\frac{d}{dx}[x^n] = n x^{n-1}
  3. Constant Multiple Rule: ddx[cf(x)]=cf(x)\frac{d}{dx}[c f(x)] = c f'(x)
  4. Sum/Difference Rule: ddx[f(x)±g(x)]=f(x)±g(x)\frac{d}{dx}[f(x) \pm g(x)] = f'(x) \pm g'(x)
  5. Product Rule: ddx[f(x)g(x)]=f(x)g(x)+f(x)g(x)\frac{d}{dx}[f(x) g(x)] = f'(x) g(x) + f(x) g'(x)
  6. Quotient Rule: ddx[f(x)g(x)]=g(x)f(x)f(x)g(x)[g(x)]2\frac{d}{dx}\left[\frac{f(x)}{g(x)}\right] = \frac{g(x) f'(x) - f(x) g'(x)}{[g(x)]^2} (where g(x)0g(x) \neq 0)

Derivatives of Trigonometric Functions:

  1. ddx[sinx]=cosx\frac{d}{dx}[\sin x] = \cos x
  2. ddx[cosx]=sinx\frac{d}{dx}[\cos x] = -\sin x
  3. ddx[tanx]=sec2x\frac{d}{dx}[\tan x] = \sec^2 x
  4. ddx[cotx]=csc2x\frac{d}{dx}[\cot x] = -\csc^2 x
  5. ddx[secx]=secxtanx\frac{d}{dx}[\sec x] = \sec x \tan x
  6. ddx[cscx]=cscxcotx\frac{d}{dx}[\csc x] = -\csc x \cot x

The Chain Rule, One-Sided Derivatives, and Differentiability

The Chain Rule: If gg is differentiable at xx and ff is differentiable at g(x)g(x), then the composite function (fg)(x)=f(g(x))(f \circ g)(x) = f(g(x)) is differentiable at xx, and: (fg)(x)=f(g(x))g(x)(f \circ g)'(x) = f'(g(x)) \cdot g'(x) In Leibniz notation, if y=f(u)y = f(u) and u=g(x)u = g(x), then: dydx=dydududx\frac{dy}{dx} = \frac{dy}{du} \cdot \frac{du}{dx}

One-Sided Derivatives:

  • Left-Hand Derivative at x0x_0:   f(x0)=limxx0f(x)f(x0)xx0f'_{-}(x_0) = \lim_{x \to x_0^-} \frac{f(x) - f(x_0)}{x - x_0}
  • Right-Hand Derivative at x0x_0:   f+(x0)=limxx0+f(x)f(x0)xx0f'_{+}(x_0) = \lim_{x \to x_0^+} \frac{f(x) - f(x_0)}{x - x_0}
  • ff is differentiable at x0x_0 if and only if f(x0)f'_{-}(x_0) and f+(x0)f'_{+}(x_0) both exist and f(x0)=f+(x0)=f(x0)f'_{-}(x_0) = f'_{+}(x_0) = f'(x_0).

Theorem (Differentiability Implies Continuity): If ff is differentiable at x=x0x = x_0, then ff is continuous at x=x0x = x_0.

  • The converse is false: continuity does not guarantee differentiability (e.g., f(x)=xf(x) = |x| at x=0x = 0 is continuous, but f(0)=11=f+(0)f'_{-}(0) = -1 \neq 1 = f'_{+}(0)).
  • A function fails to be differentiable at x0x_0 if:
    1. ff is discontinuous at x0x_0
    2. The graph has a sharp corner, edge, or cusp at x0x_0
    3. The graph has a vertical tangent line at x0x_0

Higher Order Derivatives and Implicit Differentiation

Higher Order Derivatives:

  • Second derivative: f(x)=d2ydx2=ddx[f(x)]f''(x) = \frac{d^2 y}{dx^2} = \frac{d}{dx}[f'(x)]
  • Third derivative: f(x)=d3ydx3=ddx[f(x)]f'''(x) = \frac{d^3 y}{dx^3} = \frac{d}{dx}[f''(x)]
  • nn-th derivative: f(n)(x)=dnydxn=ddx[f(n1)(x)]f^{(n)}(x) = \frac{d^n y}{dx^n} = \frac{d}{dx}\left[f^{(n-1)}(x)\right]

Implicit Differentiation: When an equation defines yy implicitly as a function of xx:

  1. Treat yy as an implicit differentiable function of xx (applying the chain rule: ddx[yn]=nyn1dydx\frac{d}{dx}[y^n] = n y^{n-1} \frac{dy}{dx}).
  2. Differentiate both sides of the equation with respect to x$.\n3. Collect all terms containing \frac{dy}{dx}ononesideandfactorouton one side and factor out\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}(for(forx > 0)\n2. \frac{d}{dx}[\log_a x] = \frac{1}{x \ln a}(for(forx > 0,,a > 0, a \neq 1)\n3. \frac{d}{dx}[\ln |x|] = \frac{1}{x}(for(forx \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 ytosolveforto solve for\frac{dy}{dx},substitutingtheoriginalexpressionfor, substituting the original expression fory\n\nDerivatives of Exponential Functions:\n1. \frac{d}{dx}[e^x] = e^x\n2. \frac{d}{dx}[a^x] = a^x \ln a((a > 0, a \neq 1)\n\nGeneral Power Rule:\nFor any real number r \in \mathbb{R}andandx > 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}}(for(forx > 1)\n3. \frac{d}{dx}[\tanh^{-1} x] = \frac{1}{1 - x^2}(for(for|x| < 1)\n4. \frac{d}{dx}[\coth^{-1} x] = \frac{1}{1 - x^2}(for(for|x| > 1)\n5. \frac{d}{dx}[\text{sech}^{-1} x] = -\frac{1}{x \sqrt{1 - x^2}}(for(forx \in (0, 1))\n6. \frac{d}{dx}[\text{csch}^{-1} x] = -\frac{1}{|x| \sqrt{x^2 + 1}}(for(forx \neq 0)\n\n\n## Indeterminate Forms and L'Hôpital's Rule\n\nL'Hôpital's Rule:\nLet fandandgbedifferentiableonanopenintervalbe differentiable on an open intervalIcontainingcontaininga(exceptpossiblyat(except possibly ata),and), andg'(x) \neq 0forallfor allx \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^-)andlimitsatinfinity() and limits at infinity (x \to +\infty,,x \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)asas\frac{f(x)}{1/g(x)}(type(type\frac{0}{0})or) or\frac{g(x)}{1/f(x)}(type(type\frac{\infty}{\infty}).\n2. Type \infty - \infty:Combinetermsusingacommondenominator,factoring,orrationalizationtoform: Combine terms using a common denominator, factoring, or rationalization to form\frac{0}{0}oror\frac{\infty}{\infty}.\n3. Types 1^\infty, 0^0, \infty^0:Let: Lety = [f(x)]^{g(x)}.Takenaturallogarithms:. Take natural logarithms:\ln y = g(x) \ln[f(x)],whichconvertstheexponentintotype, which converts the exponent into type0 \cdot \infty.Evaluate. EvaluateL = \lim \ln y,thentheoriginallimitis, then the original limit ise^L.\n\n\n## Rolle's Theorem and the Mean Value Theorem\n\nRolle's Theorem:\nLet f be a function that satisfies:\n1. fiscontinuousontheclosedintervalis continuous on the closed interval[a, b]\n2. fisdifferentiableontheopenintervalis differentiable on the open interval(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. fiscontinuousontheclosedintervalis continuous on the closed interval[a, b]\n2. fisdifferentiableontheopenintervalis differentiable on the open interval(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))onthegraphwherethetangentlineisparalleltothesecantlinepassingthroughon the graph where the tangent line is parallel to the secant line passing through(a, f(a))andand(b, f(b)).\n\n\n## Relative Extrema, Monotonicity, and the First Derivative Test\n\nDefinitions of Extrema:\n- Relative Maximum: fhasarelativemaximumathas a relative maximum atx = cifthereexistsanopenintervalif there exists an open intervalIcontainingcontainingcsuchthatsuch thatf(x) \le f(c)forallfor allx \in I\n- Relative Minimum: fhasarelativeminimumathas a relative minimum atx = cifthereexistsanopenintervalif there exists an open intervalIcontainingcontainingcsuchthatsuch thatf(x) \ge f(c)forallfor allx \in I\n\nCritical Numbers:\nA number c \in \text{dom}\,fisacriticalnumberofis a critical number offifeitherif eitherf'(c) = 0ororf'(c) is undefined.\n\nTheorem (Fermat's Theorem on Stationary Points):\nIf fhasarelativeextremumathas a relative extremum atx = c,then, thencmustbeacriticalnumberofmust be a critical number off.\n\nMonotonicity Test:\nLet fbecontinuousonbe continuous on[a, b]anddifferentiableonand differentiable on(a, b).\n1. If f'(x) > 0forallfor allx \in (a, b),then, thenfisstrictlyincreasingonis strictly increasing on[a, b].\n2. If f'(x) < 0forallfor allx \in (a, b),then, thenfisstrictlydecreasingonis strictly decreasing on[a, b].\n3. If f'(x) = 0forallfor allx \in (a, b),then, thenfisconstantonis constant on[a, b].\n\nThe First Derivative Test for Relative Extrema:\nLet cbeacriticalnumberofbe a critical number off,and, andfbecontinuousatbe continuous atc.\n1. If f'(x) > 0onon(a, c)andandf'(x) < 0onon(c, b),then, thenfhasarelativemaximumathas a relative maximum atx = c\n2. If f'(x) < 0onon(a, c)andandf'(x) > 0onon(c, b),then, thenfhasarelativeminimumathas a relative minimum atx = c\n3. If f'(x)hasthesamesignonbothsidesofhas the same sign on both sides ofc,then, thenfhasnorelativeextremumathas no relative extremum atx = c\n\n\n## Concavity, Points of Inflection, and the Second Derivative Test\n\nConcavity:\n1. Concave Up: The graph of fliesaboveitstangentlinesonanintervallies above its tangent lines on an intervalI.Thisoccurswhen. This occurs whenf'(x)isincreasing,whichcorrespondstois increasing, which corresponds tof''(x) > 0ononI\n2. Concave Down: The graph of fliesbelowitstangentlinesonanintervallies below its tangent lines on an intervalI.Thisoccurswhen. This occurs whenf'(x)isdecreasing,whichcorrespondstois decreasing, which corresponds tof''(x) < 0ononI\n\nTest for Concavity:\n- If f''(x) > 0forallfor allx \in (a, b),thegraphof, the graph offisconcaveuponis concave up on(a, b).\n- If f''(x) < 0forallfor allx \in (a, b),thegraphof, the graph offisconcavedownonis concave down on(a, b).\n\nPoint of Inflection:\nA point P(c, f(c))onthegraphofon the graph offisapointofinflectionifis a point of inflection iffiscontinuousatis continuous atcandthegraphchangesconcavityatand the graph changes concavity atP.\n- If P(c, f(c))isapointofinflection,theneitheris a point of inflection, then eitherf''(c) = 0ororf''(c) is undefined.\n\nThe Second Derivative Test for Relative Extrema:\nLet fbeafunctionsuchthatbe a function such thatf'(c) = 0andandf''iscontinuousnearis continuous nearc\n1. If f''(c) < 0,then, thenfhasarelativemaximumathas a relative maximum atx = c\n2. If f''(c) > 0,then, thenfhasarelativeminimumathas a relative minimum atx = 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 + b((m \neq 0) if \(\lim_{x \to \pm\infty} [f(x) - (m x + b)] = 0\). For a rational function \frac{P(x)}{Q(x)},anobliqueasymptoteexistswhen, an oblique asymptote exists when\text{deg}(P) = \text{deg}(Q) + 1, obtained by polynomial long division.\n\nComprehensive Graph Sketching Procedure:\n1. Domain and Intercepts: Determine \text{dom}\,f,xintercepts(, x-intercepts (f(x) = 0),yintercept(), y-intercept (f(0)).\n2. Symmetry and Asymptotes: Check for even/odd symmetry. Find vertical, horizontal, and slant asymptotes.\n3. First Derivative Analysis: Compute f'(x).Findcriticalnumbers.Constructasigntablefor. Find critical numbers. Construct a sign table forf'(x) to identify intervals of increase/decrease and relative extrema.\n4. Second Derivative Analysis: Compute f''(x).Findcandidatesforinflectionpoints.Constructasigntablefor. Find candidates for inflection points. Construct a sign table forf''(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)attimeat timet \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)andanda(t)havethesamesign(have the same sign (v(t) a(t) > 0).\n - Slowing Down: v(t)andanda(t)haveoppositesigns(have opposite signs (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)onon[x_0, x]::\frac{\Delta y}{\Delta x} = \frac{f(x) - f(x_0)}{x - x_0}\n- Instantaneous rate of change of ywithrespecttowith respect toxatatx_0::f'(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(e.g.,(e.g.,\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)bedifferentiableatbe differentiable atx\n- The differential dxoftheindependentvariableof the independent variablexisanarbitraryincrementis an arbitrary incrementdx = \Delta x\n- The differential dyofthedependentvariableof the dependent variabley is defined by:\n  dy = f'(x) dx\n- While \Delta y = f(x + \Delta x) - f(x)representstheactualchangeinrepresents the actual change iny,,dy represents the estimated change along the tangent line.\n\nLocal Linear Approximation:\nThe linear function L(x)approximatingapproximatingf(x)nearnearx_0 is the tangent line equation:\nL(x) = f(x_0) + f'(x_0)(x - x_0)\nFor x = x_0 + dx(where(wheredx = \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)forallfor allx \in I\n- Absolute Minimum: f(x_0) \le f(x)forallfor allx \in I\n\nThe Extreme Value Theorem (EVT):\nIf fiscontinuousonaclosed,boundedintervalis continuous on a closed, bounded interval[a, b],then, thenfattainsbothanabsolutemaximumandanabsoluteminimumonattains both an absolute maximum and an absolute minimum on[a, b].\n\nClosed Interval Method for Absolute Extrema on [a, b]:\n1. Find all critical numbers of fintheopenintervalin the open interval(a, b).\n2. Evaluate fateachcriticalnumberat each critical numberc_1, c_2, \dots, c_m\n3. Evaluate fattheendpointsat the endpointsaandandb\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 fiscontinuousonanintervalis continuous on an intervalIcontainingasinglecriticalnumbercontaining a single critical numberx_0\n- If fhasarelativemaximumathas a relative maximum atx_0,then, thenf(x_0)istheabsolutemaximumofis the absolute maximum offononI\n- If fhasarelativeminimumathas a relative minimum atx_0,then, thenf(x_0)istheabsoluteminimumofis the absolute minimum offononI\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 qasafunctionofasinglevariableas a function of a single variablex 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 Fisanantiderivativeofis an antiderivative offonanintervalon an intervalIififF'(x) = f(x)forallfor allx \in I.\n- If Fisanantiderivativeofis an antiderivative off,thegeneralantiderivativeis, the general antiderivative isF(x) + C,where, whereC \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} + C(for(forn \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} + C((a > 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) + C(for(foru > 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)isadifferentiablefunctionwhoserangeisanintervalis a differentiable function whose range is an intervalI,and, andfiscontinuousonis continuous onI, 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_0)isprovidedtosolvefortheconstantofintegration) is provided to solve for the constant of integrationC\n\nApplication to Rectilinear Motion:\nGiven acceleration a(t),initialvelocity, initial velocityv(0) = v_0,andinitialposition, and initial positions(0) = s_0:\n1. v(t) = \int a(t) dt + C_1,solve, solveC_1usingusingv(0) = v_0\n2. s(t) = \int v(t) dt + C_2,solve, solveC_2usingusings(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 fbecontinuousandnonnegativeonbe continuous and non-negative on[a, b].\n1. Divide [a, b]intointonsubintervalsofequalwidthsubintervals of equal width\Delta x = \frac{b - a}{n}.\n2. Choose sample points x_i^ineachsubintervalin each subinterval[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 fbedefinedonbe defined on[a, b].Apartition. A partitionPdividesdivides[a, b]intointonsubintervalsoflengthsubintervals of length\Delta x_i = x_i - x_{i-1}.Themeshsizeis. The mesh size is\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 fiscontinuousonis continuous on[a, b],then, thenfisintegrableonis integrable on[a, b].\n\nGeometric Interpretation:\n\int_a^b f(x) dxrepresentsthenetsignedareabetweenthegraphofrepresents the net-signed area between the graph ofy = f(x)andthexaxisonand the x-axis on[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) dx(forany(for anyc\n\n\n## The Fundamental Theorems of Calculus\n\nThe First Fundamental Theorem of Calculus (FTC 1):\nLet fbecontinuousonbe continuous on[a, b].Thefunction. The functionF defined by:\nF(x) = \int_a^x f(t) dt\nis continuous on [a, b],differentiableon, differentiable on(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 fbecontinuousonbe continuous on[a, b].If. IfFisanyantiderivativeofis any antiderivative offonon[a, b], then:\n\int_a^b f(x) dx = F(b) - F(a)\nWe denote F(b) - F(a)byby\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 fandandgarecontinuousonare continuous on[a, b]withwithf(x) \ge g(x)forallfor allx \in [a, b],thearea, the areaA_Rboundedabovebybounded above byy = f(x),belowby, below byy = g(x),andlaterallyby, and laterally byx = aandandx = 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 uandandvarecontinuousonare continuous on[c, d]withwithv(y) \ge u(y)forallfor ally \in [c, d],thearea, the areaA_Rboundedontherightbybounded on the right byx = v(y),ontheleftby, on the left byx = u(y),andhorizontallyby, and horizontally byy = candandy = 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]ifitsderivativeif its derivativef'iscontinuousonis continuous on[a, b].\n\nArc Length Formulas:\n1. Function of xonon[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 yonon[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)istheouterradiusandis the outer radius andr_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_0)usingVerticalRectangles() using Vertical Rectangles (dx):\n   V = \int_a^b 2\pi r(x) h(x) dx\n   where r(x)isthedistancefromis the distance fromxtotheaxisofrevolution(to the axis of revolution (|x - x_0|)and) andh(x) = y_{\text{upper}} - y_{\text{lower}}.\n2. Horizontal Axis of Revolution (y = y_0)usingHorizontalRectangles() using Horizontal Rectangles (dy):\n   V = \int_c^d 2\pi r(y) h(y) dy\n   where r(y) = |y - y_0|andandh(y) = x_{\text{right}} - x_{\text{left}}.\n\nVolume by Slicing (Cross-Sectional Area):\nFor a solid Sextendingfromextending fromx = atotox = bwhosecrosssectionalareaperpendiculartothexaxisiswhose cross-sectional area perpendicular to the x-axis isA(x):\nV = \int_a^b A(x) dx\nFor a solid extending from y = ctotoy = dwhosecrosssectionalareaperpendiculartotheyaxisiswhose cross-sectional area perpendicular to the y-axis isA(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)forallfor allx \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 Mforallfor allx \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 fiscontinuousontheclosedintervalis continuous on the closed interval[a, b],thenthereexistsatleastonenumber, then there exists at least one numberc \in [a, b] such that:\n\int_a^b f(x) dx = f(c) (b - a)\n\nAverage Value of a Function:\nIf fisintegrableonis integrable on[a, b],itsaveragevalue, its average valuef_{\text{ave}}onon[a, b] is:\nf_{\text{ave}} = \frac{1}{b - a} \int_a^b f(x) dx$$