Re: [微積] 值域

看板Math作者 (312)時間11年前 (2014/08/25 16:40), 編輯推噓3(3012)
留言15則, 2人參與, 最新討論串7/7 (看更多)
※ 引述《alfadick (悟道修行者)》之銘言: : ※ 引述《ERT312 (312)》之銘言: : : 標題: Re: [微積] 值域 : : 時間: Mon Aug 25 12:39:36 2014 : : 這步沒錯,其實只要知道 x=3 => y=0 就可以說值域有包括 0 了 : : 這步說明 值域\{0} 包含於 { y | y大於等於1 或 y小於等於1/9 } : 我不知道為什麼明明是錯的解法,還要有人護航。 : 大方向的錯誤,我已經挑了。 : 再挑一個錯,因為這錯誤太多人也會犯,足以警世,加上推文寫不下,再寫一篇。 : 他說:「 : (ii)y不等於0時(此時x不等於3),方程式為二次式 : (=>) x屬於R 且 x不等於2 且x不等於-1 : => x屬於R : => 判別式大於等於0 : => ... => y大於等於1 或y小於等於1/9」 : 所以他是想是假設y!=0時,要得到那個一元二次方程式 (y)x^2-(y+1)x+(-2y+3)=0, : y的範圍是多少對吧?(當然對,因為他這樣寫,就是這個意思!) : 你不覺得很奇怪嗎?你第一句就說:「x屬於R 且 x不等於2 且x不等於-1」這怎麼來的? : 有證明過嗎?理由是什麼?依據是什麼? : y!=0的時候,為什麼x就一定滿足「x屬於R 且 x不等於2 且x不等於-1」啊? : y=1/3,你算算看, : 你告訴我x有滿足「x屬於R 且 x不等於2 且x不等於-1」嗎?沒有嘛! 原 po 的意思是 在 y≠0 的條件之下 可以證明出:當 x 在定義域時, y大於等於1 或 y小於等於1/9 即 「x屬於R 且 x不等於2 且x不等於-1」 => y大於等於1 或 y小於等於1/9 你的解讀卻變成 y≠0 => 「x屬於R 且 x不等於2 且x不等於-1」=> y大於等於1 或 y小於等於1/9 : 沒有的東西,怎麼可以寫下去?莫名其妙。 : ... : 啊我猜你可能會說:「我就是要要求「x屬於R 且 x不等於2 且x不等於-1」, : 然後往下推推推推推推推推,推出在那個要求之下,我要的結果。」 : 這就更荒謬了,你用p=>q, 再用 q=> r 一直推推推,你一開始p都不確定是真是假的了 : 你怎麼能夠往下推推推,最後推出他的那一行: : 「=> ... => y大於等於1 或y小於等於1/9」是對的? : 前提都沒驗證是對是錯了,怎麼可以說結果是對的? : 這比倒果為因還嚴重,而是無因生果,生出無花果。 : 邏輯不是兒戲,寫「=>」不是在寫作文= = : 這種錯誤不只邏輯學家不會原諒你,連數學家看到都會跳腳。 : 看完的版友認同的推一下,不認同的在下面發表看法。 -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 61.227.246.217 ※ 文章網址: http://www.ptt.cc/bbs/Math/M.1408956019.A.77E.html

08/25 16:43, , 1F
「x屬於R 且 x...」=> 「y大於等於1 或 y小於等..
08/25 16:43, 1F

08/25 16:43, , 2F
這一步中間的那些 「=>」 的過程
08/25 16:43, 2F

08/25 16:44, , 3F
用到了「因為x是方程式的實根,根據一元二次的判
08/25 16:44, 3F

08/25 16:45, , 4F
別式」這麼一回事。
08/25 16:45, 4F

08/25 20:54, , 5F
看起是原po final 想法、邏輯上正確,但表示上
08/25 20:54, 5F

08/25 20:55, , 6F
或說是符號上,沒有真正在處理值域
08/25 20:55, 6F

08/25 20:56, , 7F
而是在處理在某個條件關係下y=f(x),不等式的等價性
08/25 20:56, 7F

08/25 21:16, , 8F
yap! 樓上一針見血
08/25 21:16, 8F

08/25 21:16, , 9F
final大如果仔細嗑完命題邏輯述詞邏輯
08/25 21:16, 9F

08/25 21:17, , 10F
再把函數的定義,及image,preimage等等定義操作熟練
08/25 21:17, 10F

08/25 21:17, , 11F
寫出來的證明自然而然會是好證明
08/25 21:17, 11F

08/25 21:19, , 12F
而且他很有心要把東西寫仔細, 我覺得這精神很棒
08/25 21:19, 12F

08/25 21:31, , 13F
而final大的不等式等價性離目標值域也只有一紙之隔
08/25 21:31, 13F

08/25 21:32, , 14F
而已,剩下的是文字符號上的修飾,把exists寫清楚
08/25 21:32, 14F

08/25 21:33, , 15F
把做出來的東西拿來驗值域
08/25 21:33, 15F
文章代碼(AID): #1J-lPpT- (Math)
討論串 (同標題文章)
本文引述了以下文章的的內容:
完整討論串 (本文為第 7 之 7 篇):
微積
3
15
微積
1
11
微積
3
20
微積
1
4
微積
9
24
微積
2
16
文章代碼(AID): #1J-lPpT- (Math)