Re: [討論] 關於微積分的公式
: y = arctanx
: tany = x
背arctan的definition
: 2
: sec y * y' = 1
背tan(z),f(z) = z 的導函數,還有請Q大導一下Chain Rule(背了Chain Rule)
: y' = 1/(secy)^2 = 1/[1 + (tany)^2] = 1/(1+x^2)
背了三角函數的平方關係 還是請Q大推導一下吧
: -1
: ∴∫y'dx = ∫dx/(1+x^2) = y = tan x
背了微積分基本定理(少了常數) 再請Q大導一下
[當然還背了整個推導的流程,還是請Q大"推導"一下 ,要怎麼"推導"出這個推導的流程]
整理一下
三角函數部分 :
tan的定義 →sin cos 的定義
→Complex field上的Power Series
→Power Series 的微分 四則運算
→Power Series 的收斂 絕對收斂
→Series 的收斂 絕對收斂
→Sequence 的收斂
→Complex Field的完備性
→Real Field的完備性
→Dedikind Cut (or Similar Construction)
→有理數是有序體
→構造整數
→構造自然數
→構造Inductive Sets
→ZF 公理
微積分部分 :
Fund Theorem of Calculus
→ Mean Value Theorem
→ Rolle Theorem, Fermat Principle
→ Definition of Derivatives, Operations, Chain Rules
→ Fund Theorem of Continuous Function on [0,1]
→ 實數的完備性
嗯 這些還不包含 Product Sets, Functions, Relations的構造...
打這些我都是用背的
但Q大都能全部從 ZF(ZFC) + Logic
如果我來考試 就算全部用抄的也抄不完吧
只能說Q大的快手也許比Laser Printer還快吧~
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.4.181
※ 編輯: euphrate 來自: 140.112.4.181 (10/26 16:25)
※ 編輯: euphrate 來自: 140.112.4.181 (10/26 16:27)
※ 編輯: euphrate 來自: 140.112.4.181 (10/26 16:27)
推
10/26 17:23, , 1F
10/26 17:23, 1F
推
10/26 19:45, , 2F
10/26 19:45, 2F
→
10/26 19:46, , 3F
10/26 19:46, 3F
→
10/26 21:58, , 4F
10/26 21:58, 4F
→
10/26 21:59, , 5F
10/26 21:59, 5F
→
10/26 21:59, , 6F
10/26 21:59, 6F
→
10/26 22:06, , 7F
10/26 22:06, 7F
推
10/26 22:18, , 8F
10/26 22:18, 8F
→
10/26 23:30, , 9F
10/26 23:30, 9F
推
10/26 23:43, , 10F
10/26 23:43, 10F
→
10/26 23:53, , 11F
10/26 23:53, 11F
→
10/26 23:54, , 12F
10/26 23:54, 12F
→
10/26 23:54, , 13F
10/26 23:54, 13F
→
10/26 23:56, , 14F
10/26 23:56, 14F
推
10/27 01:54, , 15F
10/27 01:54, 15F
→
10/27 01:55, , 16F
10/27 01:55, 16F
→
10/27 01:59, , 17F
10/27 01:59, 17F
→
10/27 01:59, , 18F
10/27 01:59, 18F
推
10/27 02:09, , 19F
10/27 02:09, 19F
→
10/27 02:09, , 20F
10/27 02:09, 20F
→
10/27 02:09, , 21F
10/27 02:09, 21F
→
10/27 02:10, , 22F
10/27 02:10, 22F
→
10/27 02:10, , 23F
10/27 02:10, 23F
→
10/27 02:11, , 24F
10/27 02:11, 24F
→
10/27 02:11, , 25F
10/27 02:11, 25F
推
10/27 02:15, , 26F
10/27 02:15, 26F
→
10/27 02:16, , 27F
10/27 02:16, 27F
→
10/27 02:16, , 28F
10/27 02:16, 28F
推
10/27 02:48, , 29F
10/27 02:48, 29F
→
10/27 02:48, , 30F
10/27 02:48, 30F
→
10/27 02:50, , 31F
10/27 02:50, 31F
→
10/27 02:51, , 32F
10/27 02:51, 32F
→
10/27 02:52, , 33F
10/27 02:52, 33F
→
10/27 02:53, , 34F
10/27 02:53, 34F
→
10/28 15:52, , 35F
10/28 15:52, 35F
→
10/28 15:53, , 36F
10/28 15:53, 36F
→
10/28 15:54, , 37F
10/28 15:54, 37F
→
10/28 15:55, , 38F
10/28 15:55, 38F
→
10/28 15:57, , 39F
10/28 15:57, 39F
→
10/28 15:59, , 40F
10/28 15:59, 40F
→
10/28 15:59, , 41F
10/28 15:59, 41F
推
10/28 22:44, , 42F
10/28 22:44, 42F
推
10/29 01:34, , 43F
10/29 01:34, 43F
推
10/29 01:37, , 44F
10/29 01:37, 44F
推
10/29 01:44, , 45F
10/29 01:44, 45F
→
10/29 01:46, , 46F
10/29 01:46, 46F
→
10/29 01:50, , 47F
10/29 01:50, 47F
→
10/29 01:50, , 48F
10/29 01:50, 48F
→
10/29 01:53, , 49F
10/29 01:53, 49F
推
11/06 00:16, , 50F
11/06 00:16, 50F
→
11/06 00:17, , 51F
11/06 00:17, 51F
→
11/06 00:17, , 52F
11/06 00:17, 52F
→
11/06 00:18, , 53F
11/06 00:18, 53F
→
11/06 00:18, , 54F
11/06 00:18, 54F
→
11/06 00:18, , 55F
11/06 00:18, 55F
→
11/06 00:19, , 56F
11/06 00:19, 56F
→
11/06 00:20, , 57F
11/06 00:20, 57F
→
11/06 00:20, , 58F
11/06 00:20, 58F
→
11/06 00:21, , 59F
11/06 00:21, 59F
→
11/06 00:21, , 60F
11/06 00:21, 60F
→
11/06 00:21, , 61F
11/06 00:21, 61F
→
11/06 00:22, , 62F
11/06 00:22, 62F
→
11/06 00:22, , 63F
11/06 00:22, 63F
→
11/06 00:23, , 64F
11/06 00:23, 64F
推
11/07 14:03, , 65F
11/07 14:03, 65F
→
11/07 14:04, , 66F
11/07 14:04, 66F
推
11/07 14:09, , 67F
11/07 14:09, 67F
討論串 (同標題文章)
study 近期熱門文章
PTT職涯區 即時熱門文章