Services & Resources / Wolfram Forums
MathGroup Archive
*Archive Index
*Ask about this page
*Print this page
*Give us feedback
*Sign up for the Wolfram Insider

MathGroup Archive 2003

[Date Index] [Thread Index] [Author Index]

Search the Archive

RE: Epsilon-Delta proofs

  • To: mathgroup at
  • Subject: [mg39560] RE: [mg39540] Epsilon-Delta proofs
  • From: "David Park" <djmp at>
  • Date: Sun, 23 Feb 2003 05:00:11 -0500 (EST)
  • Sender: owner-wri-mathgroup at


What about something like this...


InequalitySolve[Abs[4 - f[2 + del]] < eps \[And] del != 0, del]
% /. eps -> 0.001


0 < del < eps || -eps < del < 0
0 < del < 0.001 || -0.001 < del < 0

Or would you prefer a graphical "proof"?

David Park
djmp at 

From: Will Self [mailto:wself at]
To: mathgroup at

It occurred to me that it might be interesting to write a Mathematica
program that would do epsilon-delta proofs for limits, e.g., prove
that the limit of (x^2-4)/(x-2), as x approaches 2, is 4.  Perhaps
restricting the expressions involved to rational functions.  Has
anybody done something like this?

email replies greatly appreciated

  • Prev by Date: MathKernel access Internet?
  • Next by Date: Re: Programing in MATHEMATICA
  • Previous by thread: Re: Epsilon-Delta proofs
  • Next by thread: Re: Epsilon-Delta proofs