Re: [微積] 如何證明lim sinx/x=1如果面積概念未定義

看板Math作者 (Paul)時間10年前 (2015/02/22 14:03), 編輯推噓1(107)
留言8則, 2人參與, 最新討論串17/26 (看更多)
※ 引述《sightseer ()》之銘言: : 常見的證明lim sinx/x=1 as x approaches 0的方法如下(夾擠定理) : http://tinyurl.com/kgkuehy : 其中用到 扇形OKA的面積=1/2*R^2*x : 但是這已經先假設我們已知如何定義並計算扇形面積了 : 所以如果"面積"概念尚未定義的情況下 : lim sinx/x=1如何證明? 微積分(不論是初等 高等 或是 超級高等) 都建立在一個公設上 圓的無窮小弧長 和 圓的無窮小弦長 是一樣的東西 因此有限大的弧長是 無窮小弦長的積分 捨此公設 我們連 sin θ < θ 都無法證明 不信的話 你再試試看 如果你接受這個公設 那麼你必定接受 我上篇貼文只用到此公設 就嚴格證明了這個問題 -- Sent from my Android -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 123.194.229.234 ※ 文章網址: https://www.ptt.cc/bbs/Math/M.1424585010.A.150.html

02/22 14:22, , 1F
用無窮小這種說法不太精確,極限出來之後已經不太用
02/22 14:22, 1F

02/22 14:24, , 2F
這字眼,非典型分析除外。現代的定義是用直線段去逼
02/22 14:24, 2F

02/22 14:25, , 3F
近,如果所有分割之下的線段長度有個上界,那它的
02/22 14:25, 3F

02/22 14:26, , 4F
最小上界就定義為弧長。
02/22 14:26, 4F

02/22 14:28, , 5F
這種精神跟阿基米得用的方法一樣
02/22 14:28, 5F

02/22 14:33, , 6F
推ERT312的說明, 我沒學過非標準分析, 但如果是
02/22 14:33, 6F

02/22 14:33, , 7F
是分析, 就要用分析的語言跟論述來說明跟證明
02/22 14:33, 7F

02/22 14:35, , 8F
我從來沒聽說過微積分是建立在這奇奇怪怪的公設上..
02/22 14:35, 8F
文章代碼(AID): #1KwN4o5G (Math)
討論串 (同標題文章)
以下文章回應了本文
完整討論串 (本文為第 17 之 26 篇):
文章代碼(AID): #1KwN4o5G (Math)