作者查詢 / mantour

總覽項目：發文 | 留言 | 暱稱

作者 mantour 在 PTT [ Math ] 看板的留言(推文), 共1185則

限定看板：Math

看板排序：

全部Physics1495Math1185Gossiping1084HOT_Game191Python186medstudent132LAW117BabyMother112C_and_CPP105Army-Sir77nCoV201966NTUH_INTERN65MCBadminton50NTUmed9345Elephants44medache42basketball41PttLifeLaw41Health36Baseball34BaseballXXXX30GO30NtuDormM230NTU29Browsers27Programming24Fortran22Suckcomic21PCSH91_30520Chemistry19NTUAviation19Statistics18Inference16Stock16Windows16Linux15Medicine15NTUmedvolybl13FORMULA112Rockman12basketballTW11image11Kindaichi_Q11Med93_Conote11StarCraft11TY_Research11Free_box10Aviation8IME8Prob_Solve8MATLAB7Lions6TSG-Hawks6AfterPhD4DeathNote4Editor4FJU_physics4java4Lifeismoney4Old-Games4puzzle4CCU_SS973Employee3LaTeX3marriage3NTUSC3Olympics_ISG3Perl3Soft_Job3Web_Design3CMU_M502creditcard2Guardians2Hualien2Hunter2Little-Games2NTUmed942NTUT_IPET4952PC_Shopping2SWORD2Teacher2Tech_Job2Anti-ramp1AntiVirus1cat1CMU_CM421CMU_M481CMU_M491CMU_M511CodeJob1CyberFormula1Detective1Galaxy1graduate1Hong_Kong1KS91-3051L_TalkandCha1NDMC-F81NTUcourse1NtuDormM81NTUmed921NTUmed961NTUot941NTUSA1NTUSO1NTUST-HC-971NTUST_Talk1phys931Rubiks1tennisprince1TFG03_Math1<< 收起看板(111)

首頁

尾頁

[中學] 請問各位前輩一題國三圓內接四邊形

[ Math ]14 留言, 推噓總分: +3

作者: ssuin - 發表於 2025/11/19 23:10(1月前)

11^F→mantour: 跟e大類似的想法, 三個三角形重新排列後用畢氏定理11/22 19:19

12^F→mantour: https://i.ibb.co/rfdSZ7JN/image.png11/22 19:19

13^F→mantour: 圖上算式有誤左邊應該是 30^2-(R-7)^211/22 19:23

14^F→mantour: https://i.ibb.co/TDHG33X7/image.png11/22 19:26

[其他] 我也想問遞迴...

[ Math ]5 留言, 推噓總分: +1

作者: easterday - 發表於 2025/11/15 23:33(1月前)

4^F→mantour: -1/(1-x)^2 = - Σ(n+1)x^n 才對11/16 15:56

Re: [其他] 確定性的失落？創造性的無限？(上)

[ Math ]32 留言, 推噓總分: +7

作者: Bugquan - 發表於 2025/11/06 11:24(1月前)

1^F→mantour: AI不斷快速嘗試各種思路，然後可以自己初步排除掉11/06 14:27

2^F→mantour: 一些明顯錯誤的，剩下的candidate再給數學家去檢查11/06 14:27

3^F→mantour: 。問題是AI提供的解答中黃金：垃圾的比率是否足夠11/06 14:27

4^F→mantour: 高，如果垃圾比率太高也是形同浪費數學家檢查的時11/06 14:27

5^F→mantour: 間。11/06 14:27

12^F推mantour: 謝謝L大分享的論文11/06 22:13

25^F→mantour: LLM很擅長翻譯，把論文的定理轉化成Lean再去檢查推11/11 07:14

26^F→mantour: 論是否通過應該辦得到，不過如果使用的數學家本身11/11 07:14

27^F→mantour: 也不是很熟悉Lean，有沒有可能在LLM輔助下寫出的Le11/11 07:14

28^F→mantour: an跟本來要證的定理其實是不等價的11/11 07:14

Re: [其他] 確定性的失落？創造性的無限？(上)

[ Math ]18 留言, 推噓總分: 0

作者: Bugquan - 發表於 2025/11/07 09:47(1月前)

5^F→mantour: 意思是在把我要證明的定理，翻譯成Lean語言，跟Lea11/11 07:06

6^F→mantour: n語言中發現的定理翻譯成人能懂的命題，這兩個轉換11/11 07:06

7^F→mantour: 的過程可能還有困難和錯誤。結果是機器實際證明出11/11 07:06

8^F→mantour: 的東西，跟我以為機器證明出的東西，可能根本是不11/11 07:06

9^F→mantour: 同的。是這樣嗎？11/11 07:06

[中學] 幾何面積求解

[ Math ]10 留言, 推噓總分: +2

作者: ccccc7784 - 發表於 2025/10/18 12:49(2月前)

6^F→mantour: 三個有顏色的三角形，左邊的邊長分別是正三角形邊10/19 00:27

7^F→mantour: 長的1,2/3,1/310/19 00:27

8^F→mantour: 右邊邊長分別是正三角形邊長的3/4,1/2,1/410/19 00:27

9^F→mantour: 故三個三角形面積分別是正三角形的3/4,1/3,1/1210/19 00:27

10^F→mantour: 總面積=27+12+3=4210/19 00:27

[中學] 三角的角度判定

[ Math ]8 留言, 推噓總分: 0

作者: flyIssac - 發表於 2025/10/10 11:44(2月前)

3^F→mantour: cosA跟cosB都是負的話，A+B>pi不合，所以cosA跟cos10/10 13:36

4^F→mantour: B都>=010/10 13:36

5^F→mantour: 0 <= cosA=cosB/根號2 <= 1/根號210/10 13:37

6^F→mantour: 因為C可以根據A和B調整所以唯一的constraint 只有A10/10 13:38

7^F→mantour: +B<pi10/10 13:38

8^F→mantour: 所以pi/4<=A<=pi/210/10 13:39

請教大大一題數學

[ Math ]8 留言, 推噓總分: +3

作者: rfvbgtsport - 發表於 2025/10/01 15:41(3月前)

3^F→mantour: 每對中比較小的那個數字只能是1~710/01 22:13

[其他] 每個自然數都是有限大嗎？

[ Math ]42 留言, 推噓總分: +9

作者: ginstein - 發表於 2025/09/02 11:54(4月前)

24^F→mantour: “我家人有爸爸、媽媽、我和弟弟”，應該不需要自09/04 11:59

25^F→mantour: 然數的概念。“我家有4個人”才需要自然數的概念。09/04 11:59

26^F→mantour: “爸爸跟媽媽是不同人”也不需要數字的概念09/04 12:02

[其他] 判斷函數可否變數分離

[ Math ]16 留言, 推噓總分: +2

作者: saltlake - 發表於 2025/07/15 04:07(5月前)

13^F→mantour: 找一點(a,b)使得對所有x,y f(a,y)和f(x,b)都不為007/15 14:21

14^F→mantour: 如果找得到的話, 只要檢查f(x,y)/[f(a,y)f(x,b)]07/15 14:22

15^F→mantour: 是否為常數07/15 14:22

16^F→mantour: 如果找不到的話...還沒想出來...請其他高手解答07/15 14:23

[中學] 分數組合乘積總和

[ Math ]13 留言, 推噓總分: +3

作者: altecgp125 - 發表於 2025/07/11 10:34(5月前)

4^F→mantour: (f(x)-f(-x))/2=x^7+a2x^5+a4x^3+a6x07/11 23:03

5^F→mantour: a2+4a4+16a6=(f(1/2)-f(-1/2)-2*(1/2)^7)*2^407/11 23:04

首頁

尾頁