Notes on Intervals, Monotonicity, Natural Domain, Binomial Theorem, and f(a+h) Expansions

Interval Types

  • We focus on an interval I inside the real line; typically an interval is denoted by its endpoints a and b with different bracket types indicating whether endpoints are included.

  • Open interval:

    • I=(a,b)I = (a,b)

    • meaning the set {x:\ a < x < b}; endpoints a and b are not in the interval.

  • Closed interval:

    • I=[a,b]I = [a,b]

    • meaning the set x: axb{x:\ a \le x \le b}; endpoints a and b are included in the interval.

  • Half-open (or half-closed) intervals:

    • I=[a,b)I = [a,b) contains a but not b

    • I=(a,b]I = (a,b] contains b but not a

  • Infinite intervals (Infinity is not a number, so we use parentheses around the infinite endpoint):

    • I=(a,)I = (a,\infty) represents all real x with x > a

    • I=(,b)I = (-\infty,b) represents all real x with x < b

    • In practice we often consider intervals of the form (,b)(-\infty, b), (a,)(a, \infty), or a finite closed/open mix as above.

  • Pick two numbers a and b to form an interval; call it I for reference.

Monotonicity: Increasing and Decreasing on an Interval

  • Definition (in two-point form):

    • If for all pairs with x1 < x2 in I we have f(x1) < f(x2), then ff is increasing on I.

    • If for all pairs with x1 < x2 in I we have f(x1) > f(x2), then ff is decreasing on I.

  • Important: To talk about monotonicity, you need at least two points in the interval; you can't talk about a single point.

  • Quick graph intuition: moving to the right along the x-axis, if the y-values rise, the function is increasing on that stretch; if they fall, it is decreasing on that stretch.

  • Quick example descriptions:

    • A graph that keeps rising as x moves to the right is increasing on that interval.

    • A graph that falls as x increases is decreasing on that interval.

    • A function that goes up on part of the interval and down on another part is neither increasing nor decreasing on the entire interval.

  • Tangent-line intuition (preview for tangent-line problems):

    • If the tangent slope is positive for every point of I, the function is increasing on I.

    • If the tangent slope is negative for every point of I, the function is decreasing on I.

    • If the tangent slope changes sign (e.g., positive on one subinterval, negative on another), the function is not increasing or decreasing on the entire interval; there may be a horizontal tangent point that splits I into a left subinterval where it increases and a right subinterval where it decreases.

Natural Domain of a Formula: Example with a Rational Function

  • Definition: The natural domain of a function given by a formula is the set of inputs x for which the formula makes sense (typically real-valued outputs).

  • We usually restrict to real numbers unless stated otherwise.

  • Example:

    • Consider f(x)=x+4x29f(x) = \frac{x+4}{x^2-9}

    • Denominator is zero when x29=0x=±3x^2-9=0\Rightarrow x=\pm 3; these inputs are not allowed.

    • Therefore the domain is all real numbers except x=±3x=\pm 3.

    • Interval notation form: (,3)(3,3)(3,)(-\infty, -3) \cup (-3, 3) \cup (3, \infty)

    • Alternative form (explicit): xR:x3,x3{x\in\mathbb{R}: x \neq -3, x \neq 3}

  • Another related example (domain with cancellation):

    • Suppose we have a simplified form after factoring, e.g. something like t2t2\dfrac{t-2}{t-2}.

    • The original domain excludes the point where the denominator is zero, i.e. t=2t=2, even though for all other t the expression equals 1.

    • Thus the domain is (,2)(2,)(-\infty, 2) \cup (2, \infty), and the simplified expression is valid only for t2).</p></li></ul></li><li><p>Importantcaution:</p><ul><li><p>Evenifcancellationappearstoremovearestrictioninthesimplifiedform,rememberthedomainisdeterminedbytheoriginalformulabeforesimplification.</p></li></ul></li><li><p>Quickpracticaltakeaway:</p><ul><li><p>Whendescribingadomain,youcandescribeitasaset,asalist,orasaunionofintervals;theunionnotationisoftenpreferredforWebAssign/onlinesystems.</p></li></ul></li></ul><h3collapsed="false"seolevelmigrated="true">BinomialExpansionandtheBinomialTheorem</h3><ul><li><p>Binomialtheoremstatement(forintegerst\neq 2).</p></li></ul></li><li><p>Important caution:</p><ul><li><p>Even if cancellation appears to remove a restriction in the simplified form, remember the domain is determined by the original formula before simplification.</p></li></ul></li><li><p>Quick practical takeaway:</p><ul><li><p>When describing a domain, you can describe it as a set, as a list, or as a union of intervals; the union notation is often preferred for WebAssign/online systems.</p></li></ul></li></ul><h3 collapsed="false" seolevelmigrated="true">Binomial Expansion and the Binomial Theorem</h3><ul><li><p>Binomial theorem statement (for integersn\ge 0):</p><ul><li><p>):</p><ul><li><p>(a+b)^n = \displaystyle\sum_{k=0}^{n} {n \choose k} a^{n-k} b^{k}</p></li><li><p>Heretheexponentsonaandbaddupto</p></li><li><p>Here the exponents on a and b add up tonineachterm.</p></li></ul></li><li><p>Binomialcoefficients:</p><ul><li><p>in each term.</p></li></ul></li><li><p>Binomial coefficients:</p><ul><li><p> {n \choose k} = \frac{n!}{k!(n-k)!} </p></li><li><p>Thesearethecoefficientsthatappearintheexpansion.</p></li></ul></li><li><p>Howtovisualizecoefficientsquickly:</p><ul><li><p>Pascalstriangleisaconvenienttooltogeneratethecoefficients:rowncontainsthecoefficientsfor</p></li><li><p>These are the coefficients that appear in the expansion.</p></li></ul></li><li><p>How to visualize coefficients quickly:</p><ul><li><p>Pascal's triangle is a convenient tool to generate the coefficients: row n contains the coefficients for (a+b)^n .</p></li><li><p>Constructionrule:startwith1atthetop;eachentrybelowisthesumofthetwoentriesaboveit;theouteredgesarealways1.</p></li></ul></li><li><p>Example:Expand.</p></li><li><p>Construction rule: start with 1 at the top; each entry below is the sum of the two entries above it; the outer edges are always 1.</p></li></ul></li><li><p>Example: Expand (a+b)^5 usingbinomialcoefficients:</p><ul><li><p>using binomial coefficients:</p><ul><li><p> (a+b)^5 = {5 \choose 0} a^5 + {5 \choose 1} a^4 b + {5 \choose 2} a^3 b^2 + {5 \choose 3} a^2 b^3 + {5 \choose 4} a b^4 + {5 \choose 5} b^5 </p></li><li><p>Numerically:</p></li><li><p>Numerically: a^5 + 5 a^4 b + 10 a^3 b^2 + 10 a^2 b^3 + 5 a b^4 + b^5

  • In general, the coefficient pattern along row n is: 1, n, (\dfrac{n(n-1)}{2}), …, {n \choose k}, …, 1.

  • Alternative viewpoint (combinatorial intuition): ${n \choose k}$ counts the number of ways to pick k factors of b from n factors of (a+b).

  • Practical note on exponents: in each term the exponents satisfy (n-k) + k = n .</p></li></ul><h3collapsed="false"seolevelmigrated="true">Expansionoff(a+h)forPolynomialFunctions:AConcreteExample</h3><ul><li><p>Goal:illustratehowtocomputethedifferencequotientusingabinomiallikeexpansion.</p></li><li><p>Example1:Take.</p></li></ul><h3 collapsed="false" seolevelmigrated="true">Expansion of f(a+h) for Polynomial Functions: A Concrete Example</h3><ul><li><p>Goal: illustrate how to compute the difference quotient using a binomial-like expansion.</p></li><li><p>Example 1: Takef(x) = x^3.</p><ul><li><p>Bythebinomialtheorem:.</p><ul><li><p>By the binomial theorem:f(a+h) = (a+h)^3 = a^3 + 3 a^2 h + 3 a h^2 + h^3.</p></li><li><p>Since</p></li><li><p>Sincef(a) = a^3,wehave</p></li><li><p>, we have</p></li><li><p>f(a+h) - f(a) = (a^3 + 3 a^2 h + 3 a h^2 + h^3) - a^3 = 3 a^2 h + 3 a h^2 + h^3.</p></li><li><p>Factorouth:</p></li><li><p>Factor out h:f(a+h) - f(a) = h \big( 3 a^2 + 3 a h + h^2 \big).</p></li><li><p>If</p></li><li><p>Ifh \neq 0,dividebyhtoobtain</p></li><li><p>, divide by h to obtain</p></li><li><p>\frac{f(a+h) - f(a)}{h} = 3 a^2 + 3 a h + h^2.</p></li><li><p>Thisdemonstratesthepatternthatthedifferencequotientfollowsfromthebinomialexpansionandthatthelinearapproximationas</p></li><li><p>This demonstrates the pattern that the difference quotient follows from the binomial expansion and that the linear approximation ash\to 0tendstowardthederivativevaluetends toward the derivative valuef'(a) = 3 a^2(theleadingtermoftheexpansionwithhapproaching0).</p></li></ul></li><li><p>Example2:Aquadraticfunctiontoillustratecancellationandaconcretequotient:</p><ul><li><p>Let(the leading term of the expansion with h approaching 0).</p></li></ul></li><li><p>Example 2: A quadratic function to illustrate cancellation and a concrete quotient:</p><ul><li><p>Letf(x) = 4 + 3x - x^2andevaluatearoundand evaluate aroundx=3.</p></li><li><p>Computethevalueat3:.</p></li><li><p>Compute the value at 3:f(3) = 4 + 3\cdot 3 - 3^2 = 4 + 9 - 9 = 4.</p></li><li><p>Computeat3+h:</p></li><li><p>Compute at 3+h:f(3+h) = 4 + 3(3+h) - (3+h)^2 = 4 + 9 + 3h - (9 + 6h + h^2) = 4 - 3h - h^2.</p></li><li><p>Differencequotient:</p></li><li><p>Difference quotient:\frac{f(3+h) - f(3)}{h} = \frac{ (4 - 3h - h^2) - 4 }{h} = \frac{-3h - h^2}{h} = -3 - h, \quad h \neq 0.

  • This illustrates cancellation and simplification of the quotient to a simple linear expression in h (which would tend to -3 as h -> 0).

  • Important caution about expansions:

    • F(a+h) is not equal to F(a) + h. Expanding F(a+h) requires applying the binomial expansion to the term(s) involving h, not simply replacing h by 1 or adding h to F(a).

    • Always compute the expansion correctly (e.g., for a power n, use (a+h)^n = \sum_{k=0}^n {n \choose k} a^{n-k} h^{k} )andthensimplify.</p></li></ul></li><li><p>Practicaltakeawayforproblems:</p><ul><li><p>Whenaskedtocomputeaderivativelikequotient,writeoutf(a+h)usingthebinomialexpansionwhenappropriate,subtractf(a),factorouth,andcancelifpossible(keepinginmindthecaseh=0isexcludedforthecancellationstep).</p></li><li><p>Recognizethepatternforpolynomialsanduseittosimplifyquicklyratherthanmultiplyingoutbyhand.</p></li></ul></li><li><p>Quicksummaryofthederivativeintuition:</p><ul><li><p>Theexpression) and then simplify.</p></li></ul></li><li><p>Practical takeaway for problems:</p><ul><li><p>When asked to compute a derivative-like quotient, write out f(a+h) using the binomial expansion when appropriate, subtract f(a), factor out h, and cancel if possible (keeping in mind the case h = 0 is excluded for the cancellation step).</p></li><li><p>Recognize the pattern for polynomials and use it to simplify quickly rather than multiplying out by hand.</p></li></ul></li><li><p>Quick summary of the derivative intuition:</p><ul><li><p>The expression\frac{f(a+h)-f(a)}{h}representstheslopeofthesecantlinebetweenx=aandx=a+h.</p></li><li><p>Inthelimitasrepresents the slope of the secant line between x = a and x = a+h.</p></li><li><p>In the limit ash\to 0,thistendstothederivative, this tends to the derivativef'(a).</p></li><li><p>Thealgebraicexpansionmakesthislimitprocessexplicitforpolynomials.</p></li></ul></li></ul><h3collapsed="false"seolevelmigrated="true">QuickReferenceandTips</h3><ul><li><p>Intervalnotationvssetnotationfordomains:</p><ul><li><p>Useintervalnotationwhendescribingadomainthatisaconnectedunionofintervals;orexpressasasetdescriptionlike.</p></li><li><p>The algebraic expansion makes this limit process explicit for polynomials.</p></li></ul></li></ul><h3 collapsed="false" seolevelmigrated="true">Quick Reference and Tips</h3><ul><li><p>Interval notation vs set notation for domains:</p><ul><li><p>Use interval notation when describing a domain that is a connected union of intervals; or express as a set description like{x:\ x\neq -3, x\neq 3}.</p></li></ul></li><li><p>Whendescribingmonotonicity,rememberyouneedtwodistinctpointstocompare;monotonicityisabouthowfbehavesasxincreasesacrossaninterval.</p></li><li><p>Forfunctionsgivenbyformulas,alwaysidentifythenaturaldomainbycheckingwheretheformulaisdefined(e.g.,avoiddivisionsbyzeroorsquarerootsofnegativenumbersintherealsetting).</p></li><li><p>Donotconfuseasimplifiedexpressionwiththedomainoftheoriginalexpression;theoriginalexpressiondictatesthedomain.</p></li><li><p>PracticetipforWebAssigntypeproblems:expressdomaininintervalnotationasaunionofintervals,e.g.,</p><ul><li><p>Forthedomainof.</p></li></ul></li><li><p>When describing monotonicity, remember you need two distinct points to compare; monotonicity is about how f behaves as x increases across an interval.</p></li><li><p>For functions given by formulas, always identify the natural domain by checking where the formula is defined (e.g., avoid divisions by zero or square roots of negative numbers in the real setting).</p></li><li><p>Do not confuse a simplified expression with the domain of the original expression; the original expression dictates the domain.</p></li><li><p>Practice tip for WebAssign-type problems: express domain in interval notation as a union of intervals, e.g.,</p><ul><li><p>For the domain of\frac{x+4}{x^2-9},answer:, answer:(-\infty,-3)\cup(-3,3)\cup(3,\infty).</p></li></ul></li><li><p>RememberthebinomialcoefficientsfollowthepatterninPascalstriangleandcanbereadas.</p></li></ul></li><li><p>Remember the binomial coefficients follow the pattern in Pascal’s triangle and can be read as {n \choose k} = \frac{n!}{k!(n-k)!} .</p></li><li><p>Thebinomialexpansionpatterngeneralizestoanyintegern,providingafastwaytoexpandsumsofpowerswithoutlongmultiplication.</p></li></ul><h3collapsed="false"seolevelmigrated="true">SummaryofKeyFormulasIntroduced</h3><ul><li><p>Intervaltypesandendpoints:</p><ul><li><p>Open:.</p></li><li><p>The binomial expansion pattern generalizes to any integer n, providing a fast way to expand sums of powers without long multiplication.</p></li></ul><h3 collapsed="false" seolevelmigrated="true">Summary of Key Formulas Introduced</h3><ul><li><p>Interval types and endpoints:</p><ul><li><p>Open: (a,b) </p></li><li><p>Closed:</p></li><li><p>Closed: [a,b] </p></li><li><p>Halfopen:</p></li><li><p>Half-open: [a,b), (a,b] </p></li><li><p>Infiniteendpoints:</p></li><li><p>Infinite endpoints: (a,\infty), (-\infty,b) </p></li></ul></li><li><p>Monotonicity(twopointcondition):</p><ul><li><p>Increasing:</p></li></ul></li><li><p>Monotonicity (two-point condition):</p><ul><li><p>Increasing: x1 < x2 \Rightarrow f(x1) < f(x2) </p></li><li><p>Decreasing:</p></li><li><p>Decreasing: x1 < x2 \Rightarrow f(x1) > f(x2) </p></li></ul></li><li><p>Naturaldomainofarationalfunctionexample:</p><ul><li><p></p></li></ul></li><li><p>Natural domain of a rational function example:</p><ul><li><p> f(x) = \frac{x+4}{x^2-9} \Rightarrow x \neq \pm 3 </p></li><li><p>Inintervalnotation:</p></li><li><p>In interval notation: (-\infty,-3) \cup (-3,3) \cup (3,\infty) </p></li></ul></li><li><p>Cancellationcaveatexample:</p><ul><li><p>If</p></li></ul></li><li><p>Cancellation caveat example:</p><ul><li><p>If \frac{t-2}{t-2} ,domainstillexcludes, domain still excludes t = 2 ;domain:; domain: (-\infty, 2) \cup (2, \infty) .</p></li></ul></li><li><p>Binomialtheorem:</p><ul><li><p>.</p></li></ul></li><li><p>Binomial theorem:</p><ul><li><p> (a+b)^n = \sum_{k=0}^{n} {n \choose k} a^{n-k} b^{k} </p></li><li><p>CoefficientsfromPascalstriangle/factorialform:</p></li><li><p>Coefficients from Pascal’s triangle / factorial form: {n \choose k} = \dfrac{n!}{k! (n-k)!} </p></li></ul></li><li><p>Exampleexpansions:</p><ul><li><p></p></li></ul></li><li><p>Example expansions:</p><ul><li><p> (a+b)^5 = a^5 + 5 a^4 b + 10 a^3 b^2 + 10 a^2 b^3 + 5 a b^4 + b^5 </p></li></ul></li><li><p>Cubicexpansionexample:</p><ul><li><p></p></li></ul></li><li><p>Cubic expansion example:</p><ul><li><p> f(a+h) = (a+h)^3 = a^3 + 3 a^2 h + 3 a h^2 + h^3 </p></li><li><p></p></li><li><p> f(a+h) - f(a) = 3 a^2 h + 3 a h^2 + h^3 = h(3 a^2 + 3 a h + h^2) </p></li><li><p>If</p></li><li><p>If h \neq 0 ,, \frac{f(a+h) - f(a)}{h} = 3 a^2 + 3 a h + h^2 </p></li></ul></li><li><p>Quadraticexamplearoundx=3:</p><ul><li><p></p></li></ul></li><li><p>Quadratic example around x = 3:</p><ul><li><p> f(x) = 4 + 3x - x^2 </p></li><li><p></p></li><li><p> f(3) = 4 </p></li><li><p></p></li><li><p> f(3+h) = 4 - 3h - h^2 </p></li><li><p></p></li><li><p> \frac{f(3+h) - f(3)}{h} = -3 - h $$

  • These notes connect to broader ideas: monotonicity and derivative intuition, domain restrictions, and efficient algebraic tools (binomial theorem and Pascal’s triangle) that will recur in tangent-line and derivative problems.