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

看板Math作者 (悟道修行者)時間10年前 (2015/02/22 11:10), 10年前編輯推噓1(1016)
留言17則, 3人參與, 最新討論串16/26 (看更多)
目前為止我跟上篇y大的觀點差不多, 快速總結我目前為止的觀點。 1. 在證明 lim sinx/x 的時候無論扯到、勾搭上圓面積或者圓周長公式, 都會導致循環論證。 什麼意思? 就是為什麼圓面積=pi*r^2,其證明過程(在一般的大一微積分架構下) 一定會用到了三角函數sin'=cos的事實, 而sin'=cos之所以能證,又是因為先知道 lim(x->0) sinx/x=1。 如果 lim sinx/x 的證明過程扯到圓周長=2pi*r呢?(或弧長, 同一回事) 我認為也會循環論證。問題有二: (i)曲線弧長的嚴謹定義還沒給出來, 怎麼知道怎麼算 或者知道怎麼算, 過程又會用到積分, 積分的過程中的一環又會用到 sin'=cos (ii)假如放水一下, 睜一隻眼閉一隻眼, 允許偷渡弧長的定義, 這也有問題, 因為為什麼全世界不管各式各樣的圓,它的圓周長和半徑的比值是定值, 這件事情並沒有證過。什麼「圓都相似啊」的論述,我認為太粗糙,不能解釋。 你可能會問,那圓周長和半徑的比值固定,我說用相似不嚴謹,難道有辦法嚴謹證嗎? 有,就在剛剛,我找到了一本高微課本嚴謹的用分析的手段證明 為什麼所有的圓的圓周長和其半徑的比值會固定這件事。 http://ppt.cc/PM0b (這本書的系統是先定義pi =2∫0~1 1/sqrt(1-x^2)dx 再定義arcsin, 再用反函數定義sin ) 2. gj聲稱圓面積證明法不需用到sin'=cos, 但他所給出的證明我覺得非常不嚴謹,在此等待他的進一步說明。 我是完全看不懂。至於他所援引的wikipedia,指出那個證明用到shell method (但gj沒正面指出他用了shell method, 他也說它沒變數變換或換成極坐標之類), 很遺憾,就我所知,shell method的嚴謹的證明,用到了圓的面積=pi*r^2這公式XD -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 114.44.251.200 ※ 文章網址: https://www.ptt.cc/bbs/Math/M.1424574640.A.EA1.html

02/22 13:18, , 1F
圓周長和半徑 弧度的關係是定義 不需要證明
02/22 13:18, 1F

02/22 13:19, , 2F
圓周長=2pir是可以使用的
02/22 13:19, 2F

02/22 15:24, , 3F
為什麼不管大圓小圓, 圓周長和半徑的比值是定值
02/22 15:24, 3F

02/22 15:25, , 4F
要嚴謹的證這個就很麻煩.
02/22 15:25, 4F

02/22 18:30, , 5F
因為大圓小圓都是相似形 就這樣
02/22 18:30, 5F
為什麼大圓小圓會相似? 你相似的定義是所有圖形的對應邊會成比例嗎? Is it? ※ 編輯: alfadick (114.44.251.200), 02/22/2015 21:15:51

02/22 21:38, , 6F
你回想國中學過的相似形 難道只有對應邊成比例就夠
02/22 21:38, 6F

02/22 21:39, , 7F
了嗎? 其他非三角形的圖形就沒有全等概念? 既然有全
02/22 21:39, 7F

02/22 21:39, , 8F
等概念 同樣就可以用在圓上
02/22 21:39, 8F
對應邊邊長都成比例才叫相似 可是圓周長不會算 又遑能談它成不成比例 ※ 編輯: alfadick (114.44.251.200), 02/22/2015 21:46:25

02/24 00:53, , 9F
根本不必扯到周長
02/24 00:53, 9F

02/24 07:33, , 10F
你接受JohnMash的說法的話 取半徑和無限小角度弧長
02/24 07:33, 10F

02/24 07:33, , 11F
出來的三角形AA相似
02/24 07:33, 11F

02/24 07:45, , 12F
這哪算什麼證明= =
02/24 07:45, 12F

02/24 07:45, , 13F
覺得超奇怪, 完整證出來才算數
02/24 07:45, 13F

02/24 08:14, , 14F
AA相似 同樣小角度下圓周成比例 積一圈後就是圓周
02/24 08:14, 14F

02/24 08:14, , 15F
成比例了啊
02/24 08:14, 15F

02/24 09:38, , 16F
似乎有點可行 積一圈的動作裡面不知道會不會用到什
02/24 09:38, 16F

02/24 09:38, , 17F
麼三角函數之類的
02/24 09:38, 17F
文章代碼(AID): #1KwKYmwX (Math)
討論串 (同標題文章)
以下文章回應了本文 (最舊先):
完整討論串 (本文為第 16 之 26 篇):
文章代碼(AID): #1KwKYmwX (Math)