討論:2i
新增話題外觀
由Bluedeck在話題2i與3i不能比較大小的理由(註一)不具說服力上作出的最新留言:6 個月前
| 這裏是討論頁,用於討論如何改善條目2i。 這裏並非討論條目主題的論壇。 |
| 來源搜尋:「"2i"」——Google:網頁、新聞、學術、圖書、圖片;百度:網頁、新聞、學術、圖片;搜狗微信;知網工具書;JSTOR;維基百科圖書館 |
| 2i因符合標準而獲列入優良條目。如有需要,請勇於更新頁面。如條目不再達標可提出重新評選。 | |||||||||||||||||||||||||
| |||||||||||||||||||||||||
|
本條目依照頁面評級標準評為優良級。 本條目屬於下列維基專題範疇: |
|||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
|||||||||||||||||||||||||||||||||||||||||||||||||
|
本頁面曾被多次送交存廢討論。
若要再次提交存廢討論,請先參考下列過往討論記錄: |
各章節大小
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
新條目推薦討論

- 高德納於1995年提出的可以用來表達全體複數的進位制是以哪一個數作為底數?
說明:動員令WP:DC20改善工程達標條目。-- 今晚 我想來點 [雪菲🐉蛋糕🎂] 配 [娜娜奇🐰鮮果茶☕](☎️·☘️) 2022年8月22日 (一) 04:12 (UTC)- (+)支持。BIT0865 · Discussion · 燕房線永遠的神! 2022年8月23日 (二) 08:26 (UTC)
- (+)支持--金色黎明(留言) 2022年8月23日 (二) 12:57 (UTC)
- (+)支持。--Mafalda4144(留言) 2022年8月23日 (二) 18:28 (UTC)
- (+)支持:符合標準,感謝貢獻。 -- JimGrassroot(留言) 2022年8月24日 (三) 00:24 (UTC)
- (+)支持。--飛馬(閃亮飛月) 2022年8月25日 (四) 14:33 (UTC)
存廢覆核討論紀錄
[編輯]- 狀態: 還原
- 連入頁面 · 刪除記錄 · 查看或恢復
- 申請內容:修訂版本還原:申請還原此次刪除的版本
- 覆核理由:本條目已於2022年8月20日通過AFC流程,由User:Newbamboo來執行通過AFC作業,同時,條目也成為第二十次動員令之改善工程科學類的作品並且已通過審核,並於同月29日通過新條目推薦評選,故基本已確立此條目可獨立成條目的事實,因此可以還原此次的刪除版本嗎? (經查,此次於2010年10月27日被刪除,因此與2011年1月4日重新創建的條目沒有版本衝突,因此認為應可直接恢復)-- 宇帆-雪菲蛋糕🎂娜娜奇🐰鮮果茶☕在維基百科尋求休閒是否搞錯了什麼(☎️·☘️) 2023年11月27日 (一) 03:49 (UTC)
- (~)補充:先前已有這種重建條目後合併頁面歷史的先例:例如Wikipedia:存廢覆核請求/存檔/2021年4月#氫氧化鈁。-- 宇帆-雪菲蛋糕🎂娜娜奇🐰鮮果茶☕在維基百科尋求休閒是否搞錯了什麼(☎️·☘️) 2023年11月27日 (一) 04:31 (UTC)
- 處理結果:還原。—— Eric Liu 創造は生命(留言・留名・學生會) 2023年12月4日 (一) 02:50 (UTC)
優良條目評選
[編輯]2i(編輯 | 討論 | 歷史 | 連結 | 監視 | 日誌),分類:物理科學與工程學 - 數學,提名人: 宇帆-娜娜奇🐰鮮果茶☕在維基百科尋求休閒是否搞錯了什麼(☎️·☘️) 2025年5月30日 (五) 05:36 (UTC)
- 投票期:2025年5月30日 (五) 05:36 (UTC)至2025年6月6日 (五) 05:36 (UTC)
下次可提名時間:2025年7月6日 (日) 05:37 (UTC)起
請記得為當選條目撰寫簡介頁面,如此當選條目才有可能出現在首頁。
符合優良條目標準:提名人票。近期,−2剛通過了優良條目評選,而本條目是與−2主題類似,且以相近規格撰寫的作品,並在WP:AFC中已被認為達到
乙級標準;而後續的編輯相信已經讓本條目符合標準。邀請當時相關討論的維基人User:Leiem參與討論。 -- 宇帆-娜娜奇🐰鮮果茶☕在維基百科尋求休閒是否搞錯了什麼(☎️·☘️) 2025年5月30日 (五) 05:36 (UTC)
符合優良條目標準,達標。--Leiem(留言·簽名·維基調查) 2025年5月30日 (五) 06:30 (UTC)
符合優良條目標準--金色黎明(留言) 2025年5月30日 (五) 09:54 (UTC)
符合優良條目標準--Banyangarden(留言) 2025年5月31日 (六) 02:30 (UTC)
符合優良條目標準:😂😂😂😂😂😂(質量過關,主題
)--__Don't bite! 2025年5月31日 (六) 03:02 (UTC)(!)意見:「相鄰的高斯整數」一章只有一個來源?--WiiUf(留言) 2025年5月31日 (六) 04:14 (UTC)- 該章節是收錄一些難以獨立條目的其他數,數字條目都是這麼做的,參見1000#1000至2000的數字,這是數十年來的數字條目慣例。可供查證方針有一條WP:日常計算是在說這些過於基礎的數學運算不可能有文獻來源直接紀錄(因為這些計算機一按就出來了)因此有規定說這些內容符合《可供查證》方針的一些條件。如果你的要求是一定要刪了它嗎,那麼將會導致多個重定向頁符合快速刪除標準,情況會變得複雜。詳見用戶討論頁的說明。-- 宇帆-娜娜奇🐰鮮果茶☕在維基百科尋求休閒是否搞錯了什麼(☎️·☘️) 2025年5月31日 (六) 04:38 (UTC)
- (!)意見,我覺得有病句(2i是一個高斯整數、所有複數的可以表達為2i之冪的線性組合)--Wolfch (留言) 2025年6月1日 (日) 12:58 (UTC)
符合優良條目標準。--花開夜 留言 ·簽名 ·貢獻 2025年6月1日 (日) 13:58 (UTC)- (!)意見,
我對條目的疑慮是在是否符合收錄標準。照理說,之前通過新條目推薦的條目,這方面應該已符合標準,此條目也有許多的參考資料。不過,目前參考資料的放法,不太容易看出哪個參考資料可以佐證此條目收錄標準。(若在條目定義句有一個或兩個參考資料,就比較容易看出這個參考資料是要佐證條目符合收錄標準的)。還請大家再協助確認,謝謝大家。--Wolfch (留言) 2025年6月1日 (日) 22:11 (UTC)- @Wolfch:Wikipedia_talk:收錄標準/數字/存檔一#討論單個高斯整數的關注度你可能沒有留意到這次的方針修訂。關於兩篇論文其一就是「
所有的複數皆可以表達為2i之冪的線性組合
」這一性質(你應該很清楚數字收錄標準是看性質的),另一則是有篇文章對2i進行有效介紹(見導言)。在Wikipedia_talk:收錄標準/數字/存檔一#討論單個高斯整數的關注度此次收錄標準修訂公示通過後,緊接着就是-2、2i和-3的收錄。其中,-2已經WP:GA了(前幾天發生的)。-- 宇帆-娜娜奇🐰鮮果茶☕在維基百科尋求休閒是否搞錯了什麼(☎️·☘️) 2025年6月1日 (日) 22:55 (UTC)- -2、2i、-3是在WP:TG透過即時分享資訊尋找參考來源與User:Leiem等人共同完成的,甚至AFC通過時評為
乙級標準。之所以能收錄是因為客棧方針修訂案通過了《高斯整數收錄標準》,還請您@Wolfch:跟進指引修訂,謝謝!(本條目通過AFC流程,由User:Newbamboo來執行通過AFC作業,同時,條目也成為第二十次動員令之改善工程科學類的作品並且已通過審核,並於通過新條目推薦評選和存廢覆核,符合的是新制訂的《高斯整數收錄標準》很顯然是通過的,都多少維基人檢查過了,我不清楚你是故意找碴還是什麼。如果是故意找碴我將提報到管理員布告板/其他不當行為;大量維基人審核通過就你一個強行阻止條目收錄,違反共識、違反存廢覆核流程,涉嫌遊戲維基規則。)-- 宇帆-娜娜奇🐰鮮果茶☕在維基百科尋求休閒是否搞錯了什麼(☎️·☘️) 2025年6月1日 (日) 23:00 (UTC)
- -2、2i、-3是在WP:TG透過即時分享資訊尋找參考來源與User:Leiem等人共同完成的,甚至AFC通過時評為
- @Wolfch:Wikipedia_talk:收錄標準/數字/存檔一#討論單個高斯整數的關注度你可能沒有留意到這次的方針修訂。關於兩篇論文其一就是「
符合優良條目標準。皇家水手 2025年6月2日 (一) 08:33 (UTC)
符合優良條目標準--Eager Lin 2025年6月3日 (二) 09:39 (UTC)
符合優良條目標準8張,
不符合優良條目標準0張,無效票0張,
入選優良條目—提斯切里(留言) 2025年6月6日 (五) 05:40 (UTC)
優良條目存檔的字體問題
[編輯]@A2569875:目前Wikipedia:優良條目/2i使用的{{math}}模板在wikilink中似乎無法正常以襯線字體顯示,可否使用以下LaTeX排版?
'''[[2i|<math>\definecolor{wikilink}{rgb}{0.2, 0.4, 0.8}\color{wikilink}2i</math>]]'''
顯示效果:是在虛數軸正向距離原點兩個單位的純虛數。--Steven Sun(留言) 2025年8月24日 (日) 04:36 (UTC)
2i與3i不能比較大小的理由(註一)不具說服力
[編輯]2i與3i不能比較大小的理由(註1)不具說服力,且無來源,可以說是原創研究。
就算2i與3i真的不能比較大小,理由也不應是如註1所言,因為如果這個理由成立,則基於同樣的理由,(-2)與(-3)也不能比較大小:
- 若(-3)比(-2)大,則(-3)-(-2)>0,即-1>0,矛盾
- 若(-2)比(-3)大,則(-2)-(-3)>0,即1>0,不等號兩邊同乘以(-1),得-1>0,依然矛盾
當然一定有人會說:不等號兩邊同乘以負數(-1),不等號方向要改變。那請問為什麼不等號兩邊同乘以(),不等號方向就不需要改變?
所以註1不足以說明2i與3i不能比較大小。---游蛇脫殼/克勞棣 2025年8月29日 (五) 10:27 (UTC)
- 如果無來源就可以直接移除;如果有來源,則編者不可按自己的判斷妄言「不具說服力」,應按來源比重說明各方觀點。--1F616EMO(喵留言~回覆請ping~求助?) 2025年8月29日 (五) 12:30 (UTC)
- 我猜編者想說的東西可能是虛數不是有序域。不過我沒學過這塊的數學,所以不便評論。--Srapoj(留言) 2025年8月29日 (五) 12:45 (UTC)
@A2569875:我移除了版本87581393加入的這個腳註。抱歉是我沒想清楚,先復原了。撤回於2025-08-29 13:38 (UTC)--Srapoj(留言) 2025年8月29日 (五) 13:02 (UTC)- 或者替換來源,虛數能不能比較,應該很多教材裏面都有寫--Vertin,do you want to be the timekeeper? 2025年8月29日 (五) 13:14 (UTC)
怎麼虛數用的也是這個不等式兩邊乘i的證明🤦(加入於版本42303163)撤回於2025-08-29 13:38 (UTC)--Srapoj(留言) 2025年8月29日 (五) 13:22 (UTC)- 因為這個證明太經典了。--Vertin,do you want to be the timekeeper? 2025年8月29日 (五) 13:23 (UTC)
- 證明如果有瑕疵,再經典也不行。(-2)與(-3)就是能比較大小,所以這個證明有瑕疵。況且它真的沒有來源。---游蛇脫殼/克勞棣 2025年8月29日 (五) 14:16 (UTC)
- ?你最好不是打錯字。(-2)與(-3)就是能比較大小你確定能推出(-2i)與(-3i)就是能比較大小的結論嗎?--Vertin,do you want to be the timekeeper? 2025年8月29日 (五) 15:24 (UTC)
- 我可以把話說的再明白點 複數域和實數域不等同。明白了嗎?至於他為什麼不等同,因為本來定義就不一樣。你在一個系統上面,你要先把比較這個概念給定義清楚。問題來了,你在實數域裏面可以定義比較這個概念,真的意味着你在複數域裏面可以定義這個概念嗎?--Vertin,do you want to be the timekeeper? 2025年8月29日 (五) 15:26 (UTC)
- 證明如果有瑕疵,再經典也不行。(-2)與(-3)就是能比較大小,所以這個證明有瑕疵。況且它真的沒有來源。---游蛇脫殼/克勞棣 2025年8月29日 (五) 14:16 (UTC)
- 想了一下,這樣反證也不是說不通,因為已經通過假設推導出了i與0的大小關係,所以不等式兩邊同乘時就採用了實數不等式的變號規則。我不清楚教材里是怎麼寫的(當我沒學過在胡扯吧)。--Srapoj(留言) 2025年8月29日 (五) 13:38 (UTC)
- 因為這個證明太經典了。--Vertin,do you want to be the timekeeper? 2025年8月29日 (五) 13:23 (UTC)
- 各位別討論這個陳述的正確性了……我們作爲編者,沒有必要苦惱於來源外資訊的正確性。倒不如看看有沒有來源談過這事。--1F616EMO(喵留言~回覆請ping~求助?) 2025年8月29日 (五) 15:27 (UTC)
- 有,而且很多。比如這個。所以準確來講,取決於"比較"這個概念的定義。一些人定義系統的時候不會定義"比較"這個概念。一些人按照自己定義的比較規則來進行比較,畢竟他是在一個複平面上。--Vertin,do you want to be the timekeeper? 2025年8月29日 (五) 15:38 (UTC)
- 換句話說,目前為止,數學界沒有對虛數的"比較"形成共識--Vertin,do you want to be the timekeeper? 2025年8月29日 (五) 15:40 (UTC)
- 然而實數有--Vertin,do you want to be the timekeeper? 2025年8月29日 (五) 15:41 (UTC)
- 如果是這樣,建議在複數 (數學)介紹這一點,未必需要在這裏單獨說明。--1F616EMO(喵留言~回覆請ping~求助?) 2025年8月29日 (五) 15:50 (UTC)
- 感覺...沒有形成共識的結論能寫在wiki上面嗎?()不過確實沒有必要在這裏單獨說明。--Vertin,do you want to be the timekeeper? 2025年8月29日 (五) 15:52 (UTC)
- 感覺唯一能形成共識的就是這玩意沒有形成共識--Vertin,do you want to be the timekeeper? 2025年8月29日 (五) 15:53 (UTC)
- 當然可以,「共識」就是無共識,照來源實說即可。也就是說——--1F616EMO(喵留言~回覆請ping~求助?) 2025年8月29日 (五) 15:55 (UTC)
- 如果有來源明確說過「數學界沒有共識」:可以在條目說「數學界沒有共識」,並列明來源,可同時按比重敘述雙方觀點;
- 如果沒有來源明確指出:不可以原創總結出「無共識」的結論,只可按比重敘述雙方觀點,讓讀者自行理解。
- 已完成。虛數 2i--Vertin,do you want to be the timekeeper? 2025年8月29日 (五) 16:15 (UTC)
- 感覺...沒有形成共識的結論能寫在wiki上面嗎?()不過確實沒有必要在這裏單獨說明。--Vertin,do you want to be the timekeeper? 2025年8月29日 (五) 15:52 (UTC)
- 我認為這個NI LabVIEW文檔描述的功能是給工程中一定要給一些複數排個序的場景用的,並不代表它是嚴肅的數學概念。--Srapoj(留言) 2025年8月29日 (五) 21:35 (UTC)
- 這話確實,所以俺寫的是算法這種工程概念,而不是定理,定律等數學概念--Vertin,do you want to be the timekeeper? 2025年8月30日 (六) 07:04 (UTC)
- 比如說實信號經傅里葉變換得到的覆信號,其中的某個複數代表的是該頻率下的幅度和相位角(由歐拉公式;而實部虛部沒有明確的物理意義)。此時比較的自然是幅度。這裏的複數是一種在變換域為了將兩個相關的屬性塞進一個數而使用的數學工具,但這無關本文描述的「數學裏的複數」。我感覺我成了胡言亂語的LLM。--Srapoj(留言) 2025年8月30日 (六) 10:14 (UTC)
- 換句話說,目前為止,數學界沒有對虛數的"比較"形成共識--Vertin,do you want to be the timekeeper? 2025年8月29日 (五) 15:40 (UTC)
- 其實就是實數才是有序域/en:Ordered field,我不認同能稱虛數/複數不能比較大小為「沒有共識」,然而我沒有學過這塊的數學(以及如實數的公理系統)所以不敢下更多斷言了。
另一點是關於這個證明的爭議,如上面說的,我沒有去尋找來源。--Srapoj(留言) 2025年8月29日 (五) 15:57 (UTC)- 它不能比較大小是因為沒有定義"比較"這個概念。而沒有定義,不就是沒有共識嗎..如果真的定義不了,那為什麼一些人自己去定義了..實數有序,是因為大家已經對二元關係形成共識,但是虛數大家還沒有形成共識--Vertin,do you want to be the timekeeper? 2025年8月29日 (五) 16:00 (UTC)
- 換句話說,不同的定義,不同的公理導致不同的結果。比如歐式幾何和非歐幾何。--Vertin,do you want to be the timekeeper? 2025年8月29日 (五) 16:01 (UTC)
- common sense是複數/虛數沒法比較大小,工程中一般取複數的模來比較(依場合有自己的物理意義)。我相信代數領域不會有人認真地研究怎麼給複數排序這種問題,因為早已有ordered field的概念了。--Srapoj(留言) 2025年8月29日 (五) 21:35 (UTC)
- 這話確實--Vertin,do you want to be the timekeeper? 2025年8月30日 (六) 06:58 (UTC)
- 它不能比較大小是因為沒有定義"比較"這個概念。而沒有定義,不就是沒有共識嗎..如果真的定義不了,那為什麼一些人自己去定義了..實數有序,是因為大家已經對二元關係形成共識,但是虛數大家還沒有形成共識--Vertin,do you want to be the timekeeper? 2025年8月29日 (五) 16:00 (UTC)
- 有,而且很多。比如這個。所以準確來講,取決於"比較"這個概念的定義。一些人定義系統的時候不會定義"比較"這個概念。一些人按照自己定義的比較規則來進行比較,畢竟他是在一個複平面上。--Vertin,do you want to be the timekeeper? 2025年8月29日 (五) 15:38 (UTC)
- 兩個完全不懂數學的編者達成了所謂的「共識」,根據網絡搜索的「參考來源」(而且是計算機領域,和數學完全無關)修改原本內容正確的條目。其實「非原創研究」方針已經寫明了並不限制日常計算的內容,只要其算法和計算是正確的。--12З4567(留言) 2025年8月29日 (五) 16:46 (UTC)
- 「倘若眾編者同意其算法和計算是正確的。但須確保這類計算所需的信息可以在至少一個來源中全部得到查證」我找了半天,愣是沒找到有個可靠來源的論證方式跟他差不多的,況且現在還有人提出質疑了...
- 而且你就說是不是排序要不要比大小吧()--Vertin,do you want to be the timekeeper? 2025年8月29日 (五) 16:54 (UTC)
- 「複數不能比較大小」的證明過程為:由「有序域」的定義,若0≤a且0≤b,則0≤a⋅b。令a=b,則0≤a2。假設a=i,由i2=-1得0≤-1,矛盾,故複數不是有序域,不能比較大小。證明過程中屬於日常計算的部分無需參考來源,非日常計算所需的信息包括「有序域」的定義,只需要找到「有序域」的參考來源,把正確內容刪除是沒有必要的。
條目中原證明過程有誤,因此僅需修改證明過程即可。--12З4567(留言) 2025年8月29日 (五) 17:47 (UTC)- 我對在此引入「有序域」有所保留(主要因為我沒學過),使用它的性質還需要向讀者解釋為什麼在有序域裏才能排序(?)。我其實覺得原來的證明沒錯,但不確定能否符合WP:CALC。--Srapoj(留言) 2025年8月29日 (五) 21:35 (UTC)
- 我其實也覺得原來證明沒錯,但是.."倘若眾編者同意",而現在有人不同意。--Vertin,do you want to be the timekeeper? 2025年8月30日 (六) 06:59 (UTC)
- 確實原證明沒錯,因為有假設i>0和-i>0,兩邊同乘不變號。--12З4567(留言) 2025年8月30日 (六) 07:33 (UTC)
- 我其實也覺得原來證明沒錯,但是.."倘若眾編者同意",而現在有人不同意。--Vertin,do you want to be the timekeeper? 2025年8月30日 (六) 06:59 (UTC)
- 我對在此引入「有序域」有所保留(主要因為我沒學過),使用它的性質還需要向讀者解釋為什麼在有序域裏才能排序(?)。我其實覺得原來的證明沒錯,但不確定能否符合WP:CALC。--Srapoj(留言) 2025年8月29日 (五) 21:35 (UTC)
- 「複數不能比較大小」的證明過程為:由「有序域」的定義,若0≤a且0≤b,則0≤a⋅b。令a=b,則0≤a2。假設a=i,由i2=-1得0≤-1,矛盾,故複數不是有序域,不能比較大小。證明過程中屬於日常計算的部分無需參考來源,非日常計算所需的信息包括「有序域」的定義,只需要找到「有序域」的參考來源,把正確內容刪除是沒有必要的。
- 複數領域的內容應該已經不屬於日常計算了吧。而且既然有人質疑,即非「眾編者同意」(或暫非如此),不宜以日常計算爲由認爲無需來源。--1F616EMO(喵留言~回覆請ping~求助?) 2025年8月30日 (六) 05:33 (UTC)
- 有人刪除掉這個「證明」並給出來源了。---游蛇脫殼/克勞棣 2025年8月30日 (六) 06:05 (UTC)
- 工程學參考文獻在數學領域應判定為不可靠來源。--12З4567(留言) 2025年8月30日 (六) 06:33 (UTC)
- 這句話請求來源 Wikipedia:可靠來源裏面好像沒有寫一個領域的可靠來源,在另外一個領域就不是可靠來源--Vertin,do you want to be the timekeeper? 2025年8月30日 (六) 07:02 (UTC)
- 採用來源應審慎評估來源的可靠性。來源作者顯著缺乏數學專業領域知識,因此不應使用這些來源。--12З4567(留言) 2025年8月30日 (六) 07:33 (UTC)
- 「LabVIEW是一種程序開發環境,由美國國家儀器(NI)公司研製開發的,類似於C和BASIC開發環境"[1]我很難想像這個官方api文檔的作者缺乏數學專業領域知識...--Vertin,do you want to be the timekeeper? 2025年8月30日 (六) 09:02 (UTC)
- 我在上面回應了。--Srapoj(留言) 2025年8月30日 (六) 10:14 (UTC)
- 「LabVIEW是一種程序開發環境,由美國國家儀器(NI)公司研製開發的,類似於C和BASIC開發環境"[1]我很難想像這個官方api文檔的作者缺乏數學專業領域知識...--Vertin,do you want to be the timekeeper? 2025年8月30日 (六) 09:02 (UTC)
- 採用來源應審慎評估來源的可靠性。來源作者顯著缺乏數學專業領域知識,因此不應使用這些來源。--12З4567(留言) 2025年8月30日 (六) 07:33 (UTC)
- 這句話請求來源 Wikipedia:可靠來源裏面好像沒有寫一個領域的可靠來源,在另外一個領域就不是可靠來源--Vertin,do you want to be the timekeeper? 2025年8月30日 (六) 07:02 (UTC)
- 工程學參考文獻在數學領域應判定為不可靠來源。--12З4567(留言) 2025年8月30日 (六) 06:33 (UTC)
- 有人刪除掉這個「證明」並給出來源了。---游蛇脫殼/克勞棣 2025年8月30日 (六) 06:05 (UTC)
- 我鄭重再向各位強調一遍,我從來沒有認為「(-2)與(-3)就是能比較大小能推出2i與3i就是能比較大小」的結論。我一開始就說了「就算2i與3i真的不能比較大小,理由也不應是如註1所言,因為如果這個理由成立,則基於同樣的理由,(-2)與(-3)也不能比較大小」,亦即「因為(-2)與(-3)就是能比較大小,所以2i與3i不能比較大小不是基於這個理由」。-游蛇脫殼/克勞棣 2025年8月30日 (六) 02:35 (UTC)
- 本人在[↑],以及@12З4567在[↑]表達了對原證明的肯定,即利用實數不等式兩邊同乘正數不變號、同乘負數需變號的性質,通過反證法說明其與虛數單位i2=-1的定義不相容。您首條留言裏的例子忽略了這個實數不等式的基本要求。至於實數不等式為什麼要這樣變號,如果拋開初中數學裏的定義,好像又需要繞回ordered field了,但顯然目前出現的幾個人都不懂。
- 此外本人已經在上面說明了我不認同使用工程領域的資料來佐證複數可以比較,所以先把那兩筆編輯撤銷了。但我真不知道該怎麼處理這個腳註了--Srapoj(留言) 2025年8月31日 (日) 00:10 (UTC)
- 所以化簡得到就表示「是正數」嗎?化簡得到就表示「是正數」嗎?---游蛇脫殼/克勞棣 2025年8月31日 (日) 01:09 (UTC)
- 我承認寫這段的時候有意識到造句偷懶帶來的漏洞,因為我指的實際上是>0或<0(好像又是ordered field的性質);說一個虛數是正/負數固然是無稽之談(),但證明過程中的i>0確實是來自起初的假設。不過我此前也表明了我拿不準這樣的證明在數學上是否是完備的。--Srapoj(留言) 2025年8月31日 (日) 01:42 (UTC)
- 我想您可能誤會了,我上一則意見的兩個問句都是真實的問句,不是「表達相反意思的假問句」(例如用疑問句「你聰明嗎?」來表達否定句「你不聰明」),我並沒有否定你的話。
- 我有再細想過,原先的證明是合理的,反倒我才是錯的。只不過,如果化簡得到就表示是正數的話,那麼到這一步就已經得到矛盾了(因為不是正數),似乎無須再兩邊同乘以得到矛盾?的情況也是一樣。---游蛇脫殼/克勞棣 2025年8月31日 (日) 02:18 (UTC)
- 我總算反應過來我拿不準的是什麼了😓:「不等式兩邊同乘負數要變號」是初中數學,然而如果乘的是「小於0的數」,那依據的又是什麼規則呢?當它是實數然後推導出矛盾的結果,這樣的反證過程在數學上嚴謹嗎?(又繞不過ordered field了)
- 誠然i>0已經很離譜了,但我覺得後續過程不至於說畫蛇添足,因為到這一步只是簡單地消係數,與起初的假設沒有發生衝突(i代表虛數單位,如果沒有用上i2=-1的定義,那不妨將i看作某個普通的未知數?)。需要兩邊同乘i後才能得到-1>0這種不成立的結果。--Srapoj(留言) 2025年8月31日 (日) 12:18 (UTC)
- 我承認寫這段的時候有意識到造句偷懶帶來的漏洞,因為我指的實際上是>0或<0(好像又是ordered field的性質);說一個虛數是正/負數固然是無稽之談(),但證明過程中的i>0確實是來自起初的假設。不過我此前也表明了我拿不準這樣的證明在數學上是否是完備的。--Srapoj(留言) 2025年8月31日 (日) 01:42 (UTC)
- 所以化簡得到就表示「是正數」嗎?化簡得到就表示「是正數」嗎?---游蛇脫殼/克勞棣 2025年8月31日 (日) 01:09 (UTC)
因為乘以-1後不等號方向要改變,而乘以-i不需要,因為乘以-i 等於乘以 i^3。另一方面,如果你定義乘以-i不等號方向要改變(即「-i<0」),則有更明顯的contradiction(導致i<0,進而導致-1>0)。總之就是不論怎麼定義,都有contradiction,所以無序。不像R,我定義-1<0, 1>0,則得出乘-1不等號方向改變,乘1不等號方向不改變的結論,然後就整體自洽了,你的例子就沒用了。Bluedeck 2025年9月1日 (一) 05:05 (UTC)
