[微積] 證明

看板Math作者 (nono)時間12年前 (2013/11/15 17:47), 編輯推噓7(7019)
留言26則, 8人參與, 6年前最新討論串3/11 (看更多)
1 設f:[0,1]⊆R->R為連續函數且滿足∫f(x)dx = 1/2 0 ,試証存在一點p∈(0,1),使得f(p) = p 我的想法是 積分就是指函數圖形跟x軸之間的區域面積 證明若f(x)跟x=y沒有交點的話 f(x)跟x軸之間的區域面積會不等於1/2 http://ppt.cc/tufK (圖畫的有點醜,請包涵) 我把它分兩個case case.I.f(x)從A_1出發(紅色部分),若不能跟x=y有交點, f(x)最後一定要停在A_2,且面積都會大於1/2(灰色部分) case.II.f(x)從B_1出發(藍色部分),若不能跟x=y有交點, f(x)最後一定要停在B_2,且面積都會小於1/2(灰色部分) 請問這樣算是證明嗎? -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 111.253.28.208

11/15 18:01, , 1F
也許你可以考慮如果f永遠在y=x上方或下方,然後矛盾
11/15 18:01, 1F

11/15 18:21, , 2F
利用恆大於0的連續函數,其積分會大於0
11/15 18:21, 2F

11/15 19:01, , 3F
謝謝 書上的解答是利用積分均值定理,我覺得那方法很
11/15 19:01, 3F

11/15 19:02, , 4F
好,我是想練習自己寫寫看,我很怕考試時我的證明會因
11/15 19:02, 4F

11/15 19:02, , 5F
為不嚴謹而得不到分數
11/15 19:02, 5F

11/15 22:45, , 6F
這是不動點fixed point?
11/15 22:45, 6F

11/15 22:47, , 7F
fixed point跟線代裡的kernel好像有關哩
11/15 22:47, 7F

11/15 22:48, , 8F
找到operator的fixed point就像complex value functi
11/15 22:48, 8F

11/15 22:49, , 9F
以原點為轉軸作旋轉
11/15 22:49, 9F

11/15 22:58, , 10F
廣義來說旋轉維持兩向量inner product(積分不變量)
11/15 22:58, 10F

11/15 22:59, , 11F
所以real value function的fixed point可能可以經過
11/15 22:59, 11F

11/15 22:59, , 12F
affine transformation+rotation
11/15 22:59, 12F

11/15 23:03, , 13F
N體問題到了N=3就是exterior product拓普性無解析解
11/15 23:03, 13F

11/15 23:03, , 14F
但是到了N=4又出現phi4 scalar field
11/15 23:03, 14F

11/15 23:03, , 15F
大概奇偶數form有差吧
11/15 23:03, 15F

11/16 00:47, , 16F
你的證明算正確了,要更求嚴謹就定義 g(x) =f(x)-x
11/16 00:47, 16F

11/16 00:49, , 17F
證明 "g(x) 跟x軸有交點" 應該更容易寫得清楚
11/16 00:49, 17F

11/16 09:30, , 18F
謝謝
11/16 09:30, 18F

11/16 11:22, , 19F
看到這題突然想到一題條件很像的XD
11/16 11:22, 19F

11/16 11:22, , 20F
假設f smooth, f(0)=f(1)=0, int_0^1f(x)dx=1
11/16 11:22, 20F

11/16 11:23, , 21F
請證明有一點c在0,1之間使得 f'(c)≧4
11/16 11:23, 21F

11/16 11:23, , 22F
改成 |f'(c)| 才對Q
11/16 11:23, 22F

11/16 11:27, , 23F
請問int_0^1f(x)dx=1是甚麼意思?
11/16 11:27, 23F

11/16 12:30, , 24F
f的從0到1的積分
11/16 12:30, 24F

01/02 15:36, 7年前 , 25F
所以real valu https://muxiv.com
01/02 15:36, 25F

07/07 11:38, 6年前 , 26F
請證明有一點c在0,1 https://muxiv.com
07/07 11:38, 26F
文章代碼(AID): #1IXUtCS8 (Math)
討論串 (同標題文章)
完整討論串 (本文為第 3 之 11 篇):
微積
0
4
微積
0
1
微積
2
2
微積
0
2
微積
1
1
微積
4
13
微積
7
26
微積
2
5
文章代碼(AID): #1IXUtCS8 (Math)