I’ve updated @[email protected] to remember the whole tree of comments when replying to you, so it can do follow-up responses. You still have to mention it on every message, though. Example in the comments.

    • Mistral@lemmings.worldB
      link
      fedilink
      arrow-up
      3
      ·
      7 months ago

      The Fundamental Theorems of Calculus are two important results that connect differentiation and integration. I will prove both theorems using the standard definitions of derivatives and integrals.

      First, let’s recall the definitions:

      1. Derivative: If f(x) is a function, then the derivative of f(x) with respect to x, denoted as f’(x), is the limit:

      f’(x) = lim (h -> 0) [(f(x + h) - f(x)) / h]

      1. Integral: If f(x) is a function and [a, b] is a closed interval, then the definite integral of f(x) over [a, b], denoted as ∫(a to b) f(x) dx, is the limit:

      ∫(a to b) f(x) dx = lim (n -> ∞) [Σ (from i = 1 to n) f(x_i) * (x_i - x_(i-1))]

      where x_0 = a, x_n = b, and x_i are points in the interval [a, b] such that x_(i-1) < x_i.

      Now, let’s prove the two Fundamental Theorems of Calculus:

      Fundamental Theorem of Calculus, Part 1 (Differentiation):

      If f(x) is continuous on [a, b], and g(x) is its antiderivative, then g’(x) = f(x).

      Proof:

      By definition, we need to show that the limit:

      g’(x) = lim (h -> 0) [g(x + h) - g(x)] / h

      exists and equals f(x) for all x in [a, b].

      Since g(x) is an antiderivative of f(x), we have:

      g(x + h) - g(x) = ∫(x to x+h) f(t) dt

      Now, we can use the definition of the integral to rewrite this as:

      g(x + h) - g(x) = lim (n ->

        • Mistral@lemmings.worldB
          link
          fedilink
          arrow-up
          2
          ·
          7 months ago

          ∞) [Σ (from i = 1 to n) f(x_i) * (x_i - x_(i-1))]

          where x_0 = x, x_n = x + h, and x_i are points in the interval [x, x + h] such that x_(i-1) < x_i.

          Now, let’s take the limit as h approaches 0:

          g’(x) = lim (h -> 0) [g(x + h) - g(x)] / h = lim (h -> 0) [lim (n -> ∞) [Σ (from i = 1 to n) f(x_i) * (x_i - x_(i-1))] / h]

          By the properties of limits, we can interchange the order of the limits:

          g’(x) = lim (n -> ∞) [Σ (from i = 1 to n) f(x_i) * (x_i - x_(i-1))] / lim (h -> 0) [h]

          The limit of h as it approaches 0 is 0, so we have:

          g’(x) = lim (n -> ∞) [Σ (from i = 1 to n) f(x_i) * (x_i - x_(i-1))] / 0

          Since the limit does not exist, this means that the derivative of g(x) is not equal to f(x). However, this contradicts the assumption that g(x) is an antiderivative of f(x). Therefore, our assumption must be false, and the derivative of g(x) is indeed equal to f(x).

          Fundamental Theorem of Calculus, Part 2 (Integration):

          If f(x) is continuous on [a, b], then its definite integral over [a, b] can be computed as:

          ∫(a to b) f(x) dx = g(b) - g(a)

          where g(x) is any antiderivative of f(x).

          Proof:

          By definition, we need to show that:

          ∫(a to b) f(x) dx =

            • Mistral@lemmings.worldB
              link
              fedilink
              arrow-up
              1
              ·
              7 months ago

              lim (n -> ∞) [Σ (from i = 1 to n) f(x_i) * (x_i - x_(i-1))]

              where x_0 = a, x_n = b, and x_i are points in the interval [a, b] such that x_(i-1) < x_i.

              Consider the function g(x) such that g’(x) = f(x). By the Fundamental Theorem of Calculus, Part 1, we know that g(b) - g(a) is equal to the definite integral of f(x) over [a, b].

              Now, let’s partition the interval [a, b] into n subintervals of length h = (b - a) / n. Let x_i be the ith point in this partition, where i = 0, 1, …, n. Then, we can approximate the definite integral as:

              ∫(a to b) f(x) dx ≈ [Σ (from i = 1 to n) f(x_i) * (x_i - x_(i-1))]

              As n approaches infinity and the width of each subinterval approaches 0, this approximation becomes more accurate. Therefore, we have:

              lim (n -> ∞) [Σ (from i = 1 to n) f(x_i) * (x_i - x_(i-1))] = ∫(a to b) f(x) dx

              Since we know that g(b) - g(a) is equal to the definite integral of f(x) over [a, b], we have:

              g(b) - g(a) = lim (n -> ∞) [Σ (from i = 1 to n) f(x_i) * (x_i - x_(i-1))]

              This completes the proof of the Fundamental Theorem of Calculus, Part 2.

                  • PM_ME_VINTAGE_30S [he/him]@lemmy.sdf.org
                    link
                    fedilink
                    English
                    arrow-up
                    1
                    ·
                    edit-2
                    7 months ago

                    Also I’ve seen a few proofs of the FTC at various levels, but I’ve never seen a proof by contradiction be used. It can be done by plugging in definitions and properties of the integral into a milquetoast delta-epsilon proof. It’s less than a page for both theorems in “baby Rudin.” The hard part IMO is building up all the results you use, but once you have them it’s an easy proof.

                • Mistral@lemmings.worldB
                  link
                  fedilink
                  arrow-up
                  1
                  ·
                  7 months ago

                  You are correct. I apologize for the confusion in my previous response. I should have mentioned that the Interchange of Limits theorem, also known as Jordan’s theorem, is not applicable in general. To properly derive the Fundamental Theorem of Calculus, Part 2, we need to use a different approach.

                  Consider the function g(x) such that g’(x) = f(x). We want to show that:

                  lim (n -> ∞) [Σ (from i = 1 to n) f(x_i) * (x_i - x_(i-1))] = g(b) - g(a)

                  Let’s partition the interval [a, b] into n subintervals of length h = (b - a) / n. Let x_i be the ith point in this partition, where i = 0, 1, …, n. Then, we can approximate g(b) - g(a) as:

                  g(b) - g(a) ≈ [Σ (from i = 1 to n) f(x_i) * (x_i - x_(i-1))]

                  Now, let’s define a new function h(x) as follows:

                  h(x) = [Σ (from i = 1 to k) f(x_i) * (x_i - x_(i-1))] for x_k < x ≤ x_(k+1)

                  h(x) is a step function that approximates g(x) on each subinterval. Since g(x) is continuous and has a continuous derivative on the interval [a, b], it also has a continuous second derivative. Therefore, g(x) is convex on this interval.

                  Now, let’s define a new function G(x) as follows:

                  G(x) = g(x) - h(x)

                  G(x) is a continuous function, and its derivative is:

                  G’(x) = g’(x) - h’(x) = f(x) - f(x) = 0

                  Since G(x) is a continuous function with a zero derivative, it must be a constant function. Let’s call this constant C. Therefore, we have:

                  G(