作者查詢 / hwanger

總覽項目: 發文 | 留言 | 暱稱
作者 hwanger 在 PTT [ Math ] 看板的留言(推文), 共4346則
限定看板:Math
看板排序:
[幾何] 請問一題尺規作圖
[ Math ]16 留言, 推噓總分: 0
作者: llww - 發表於 2020/11/10 23:30(3年前)
1Fhwanger: 假設大圓圓心O1 半徑R 小圓圓心O2 半徑r 以O1O2為直11/11 00:15
2Fhwanger: 徑做圓O3 在圓O3上取一點A使得AO1=R-r AO1延伸交圓11/11 00:19
3Fhwanger: O1於B 過O2作AB平行線交圓O2於C 則BC為外切線11/11 00:20
5Fhwanger: 在圓O3上取一點E使得EO2=R+r EO2交圓O3於F 過O1作EF11/11 00:22
6Fhwanger: 平行線交圓O1於H 則FH為內切線11/11 00:23
7Fhwanger: 先等一下 我錯誤理解題目了 我做成切線了11/11 00:24
8Fhwanger: 做O1O2延伸線 依序交圓O1圓O2於A,B,C,D四點 以AD為11/11 00:27
9Fhwanger: 半徑做圓就是外切圓 以BC為半徑做圓就是內切圓11/11 00:27
10Fhwanger: 至於要做指定半徑s的外接圓 就以O1為圓心R-s為半徑11/11 00:31
11Fhwanger: 打錯 s-R為半徑畫圓 並以O2為圓心 s-r為半徑畫圓 兩11/11 00:33
12Fhwanger: 圓交點即為外切圓圓心11/11 00:34
13Fhwanger: 而要做指定半徑q的外切圓 就以O1為圓心R+s為半徑畫11/11 00:36
14Fhwanger: 圓 並以O2為圓心s+r為半徑畫圓 兩圓交點即為圓心11/11 00:37
15Fhwanger: 我好像把外切圓和內切圓兩個名詞搞混了 冏11/11 00:38
[其他] 可以比較兩個多項式的近似度嗎
[ Math ]17 留言, 推噓總分: +1
作者: windisbig - 發表於 2020/11/09 20:31(3年前)
1Fhwanger: 基本上判定兩個函數相似程度大部份都是取一個特別的11/09 21:00
2Fhwanger: norm 常見的norm有L^2 norm, sup norm,或取有限個具11/09 21:01
3Fhwanger: 有代表性的點作有限維的norm 具體而言視你的需求而11/09 21:02
4Fhwanger: 定11/09 21:05
5Fhwanger: 1. 在bounded set上 你可以先將f和g減去平均後得f',11/09 21:06
6Fhwanger: g' 再考慮∫|f'-g'|^2 值越小越"相似"11/09 21:08
7Fhwanger: 2. 對f,g個別微分並配平方得 a1*(x-c1)^2+b1,11/09 21:12
8Fhwanger: a2*(x-c2)^2+b2 再考慮(a1,b1)和(a2,b2)的距離 這樣11/09 21:13
9Fhwanger: 考慮的好處在於距離為0 若且唯若 我們可以透過上下11/09 21:15
10Fhwanger: 左右的平移將f的圖形重合到g上11/09 21:16
12Fhwanger: 3. 考慮曲率函數 這部份比較麻煩 所以略過 XD11/09 21:21
14Fhwanger: XD 我其實是用微分方程的想法 不過泰勒展開式的想法11/10 11:08
15Fhwanger: 好像更好 將f,g對適當的點展開得11/10 11:08
16Fhwanger: a1(x-c1)^3+b1(x-c1)+d1 和 a2(x-c2)^3+b2(x-c2)+d211/10 11:08
17Fhwanger: 再比較(a1,b1),(a2,b2)距離11/10 11:08
[其他] 離散一題
[ Math ]12 留言, 推噓總分: 0
作者: LiquidTLO - 發表於 2020/11/09 04:31(3年前)
1Fhwanger: 目前只有寫程式觀察到的結果(尚未證明) n>2 令h(n)=11/09 11:26
2Fhwanger: [...[(np-n-1)*(p-1)+(-1)^0]*(p-1)+(-1)^1]...]*11/09 11:28
3Fhwanger: Ok 維持符號一致好了 n>3 令h(n)=11/09 11:31
4Fhwanger: [...[(np-n-1)*(p-1)+(-1)^(1-1)]*(p-1)+(-1)^(2-1)11/09 11:33
5Fhwanger: ]...]*(p-1)+(-1)^(n-3-1)11/09 11:35
6Fhwanger: 則當圖形有n nodes時 Var(X)=-n*h(n)*(p-1)^(n-1)*p11/09 11:37
7Fhwanger: 程式碼如下11/09 11:41
8Fhwanger: https://paste.ofcode.org/yf6rjQ6beFN3avwKUECHqc11/09 11:41
9Fhwanger: 可用下列網址執行11/09 11:42
10Fhwanger: https://sagecell.sagemath.org/11/09 11:42
11Fhwanger: 再想想如何解釋好了 抱歉11/09 11:45
12Fhwanger: 下一篇有形式更漂亮 也真的有證明的解答11/09 13:45
Re: [其他] 離散一題
[ Math ]2 留言, 推噓總分: +1
作者: XII - 發表於 2020/11/09 13:15(3年前)
1Fhwanger: Neat 看來我太執著於因式分解合併後的形式了 冏11/09 13:41
2Fhwanger: 推一下11/09 13:43
[中學] 實數系相關問題
[ Math ]9 留言, 推噓總分: +1
作者: csy0504 - 發表於 2020/11/08 15:38(3年前)
1Fhwanger: 第一張 38!-34!=34!*(38*37*36*35-1) 用同餘的概念11/08 16:08
2Fhwanger: 去證38*37*36*35-1沒有2,3,5,7,11,13的因子 所以11/08 16:10
3Fhwanger: a,b,c,d,e,f只會來自34!11/08 16:11
4Fhwanger: 末尾0的個數就是c11/08 16:12
5Fhwanger: 第二張 n^4+8*n^2+1與n^4+8*n^2+16是兩個差15的完全11/08 16:14
6Fhwanger: 平方數 所以n^4+8*n^2+1只能是1或49 解得n=0,2,-211/08 16:15
[微積] 關於拉格朗日函數表示式的疑惑
[ Math ]42 留言, 推噓總分: +6
作者: NINEVEN - 發表於 2020/11/07 22:03(3年前)
1Fhwanger: 沒有差 解出來的λ差一個負號而已 不過λ並不是我們11/07 22:05
2Fhwanger: 關心的重點11/07 22:05
3Fhwanger: Lagrange multiplier的精髓是▽f和▽g會線性相依 你11/07 22:08
4Fhwanger: 換成另一種形式 一樣是問▽f和-▽g有沒有線性相依11/07 22:09
12Fhwanger: 抱歉 對經濟不熟11/07 23:33
13Fhwanger: 只能從數學的角度入手 真的不好意思11/07 23:36
16Fhwanger: XD 完全忘了這回事 我對不起我的熱力學老師 冏11/08 00:42
17Fhwanger: 一堆distributions都忘了 我也太冏了11/08 00:52
21Fhwanger: V大說的應該是像kkt conditions這種有在constraints11/08 01:32
22Fhwanger: 加額外條件的11/08 01:32
23Fhwanger: 原始的lagrange是沒辦法的 因為你沒辦法判別g=0, -g11/08 01:32
24Fhwanger: =0,或者算出來的究竟是不是極值 lagrange說到底就是11/08 01:32
25Fhwanger: 一種first derivative test11/08 01:32
26Fhwanger: lagrange multiplier本身只陳述▽f在極值發生處 會11/08 01:36
27Fhwanger: 是▽gi的線性組合11/08 01:36
28Fhwanger: 但一般而言 我們沒有逆敍述11/08 01:38
33Fhwanger: V大是想考慮Riemannian manifold上的Hessian matrix11/08 08:04
34Fhwanger: 來判定局部極值嗎 這的確做的到11/08 08:04
35Fhwanger: 不過也可以直接用Bordered Hessian來判定局部極值 X11/08 08:04
36Fhwanger: D11/08 08:04
39Fhwanger: XD first & second derivative test的確是有極限11/08 09:57
40Fhwanger: 不過應該是我誤會了 冏 一般是不會特別用Riemannian11/08 09:58
41Fhwanger: manifold上的Hessian matrix來推Bordered Hessian11/08 09:59
42Fhwanger: 畢竟前者是order m-n 後者是order m+n11/08 10:01
[機統] 一題機率問題
[ Math ]13 留言, 推噓總分: +1
作者: s035280236 - 發表於 2020/11/07 21:01(3年前)
1Fhwanger: a部份 A要嘛第一輪贏 要嘛A,B第一輪都沒贏 A在之後11/07 21:41
2Fhwanger: 贏 不過第三輪開始算的話 基本上就是重來11/07 21:43
3Fhwanger: 所以 (第一輪A贏的機率)+(第一輪AB都沒贏的機率)*(11/07 21:45
4Fhwanger: 重頭來過 A贏的機率)11/07 21:45
5Fhwanger: b也是一樣的遞迴想法11/07 21:46
6Fhwanger: 要注意的是E是骰的"次數"的期望值 可能考慮下列這個11/07 21:59
7Fhwanger: 式子會更直觀 E=(5/36) + (31/36)*(1/6)*2 +11/07 22:00
8Fhwanger: (31/36)*(5/6)*(2+E)11/07 22:01
12Fhwanger: 可惜那篇是問"以為一顆一直骰 直到這次跟上次的點數11/07 23:34
13Fhwanger: 總和為六 但之前不能出現和為四的狀況"11/07 23:34
[其他] 《數學原理》第一卷363頁,才推導出1
[ Math ]12 留言, 推噓總分: 0
作者: dharma - 發表於 2020/11/06 23:19(3年前)
3Fhwanger: 因為在那本書中實際上並不是像Peano公設中定義1是011/06 23:41
4Fhwanger: 的後繼數 他實際上是定義cardinal number 111/06 23:42
5Fhwanger: 所以在那之前要先嚴格的講sets and classes11/06 23:44
6Fhwanger: 另外"定義"和"公理"是不同的概念 就算在Peano公設中11/06 23:48
7Fhwanger: 我們可以在這體系下(證明存在並)定義1 是公設推導出11/06 23:49
8Fhwanger: 來的 不是公設定義了111/06 23:50
9Fhwanger: 稍微看了一下Principia Mathematica第二三冊Russell11/07 00:33
10Fhwanger: 的確是試圖構造inductive cardinal來指稱自然數 並11/07 00:35
11Fhwanger: 給出自然數不是先驗存在的結論 不過這終究是在數理11/07 00:37
12Fhwanger: 邏輯上的構造 冏11/07 00:39
[中學] 恆正問題
[ Math ]10 留言, 推噓總分: +1
作者: DrMeredith - 發表於 2020/11/06 22:45(3年前)
2Fhwanger: 這是原題目嗎 如果是(按照省略的法則) 那就是原PO說11/06 23:02
4Fhwanger: 的 如果是P(a,x)在a=1/3時有沒有可能被滿足 那答案11/06 23:03
5Fhwanger: 是"是"11/06 23:03
8Fhwanger: 一個是for all x P(a,x)(一般省略量詞 就是指這個)11/06 23:52
9Fhwanger: 而satisfiable是指∃x,P(a,x)是對的11/06 23:54
10Fhwanger: 因為存在一個x可以"滿足"P(a,x)11/06 23:55
[中學] 國中幾何?
[ Math ]38 留言, 推噓總分: +12
作者: math365 - 發表於 2020/11/06 17:11(3年前)
7Fhwanger: 不是很懂M大如何看出角平分線是中垂線 望解釋 感激11/06 22:35
11Fhwanger: 樓上這個OK 不過其實我一直卡在如果RP=RQ 則PQ//AB11/06 22:53
12Fhwanger: 這邊 目前只能證到∠BQR=∠APR或∠BQR+∠APR=180°11/06 22:55
17Fhwanger: 感謝回覆11/06 23:10
19Fhwanger: 喔喔喔 那這樣至少證明只有兩個解11/06 23:12
20Fhwanger: 先等下 我混亂了 我再釐清一下好了 冏11/06 23:14
23Fhwanger: 喔喔 釐清了 這樣RQ的確是唯一解 然後的確三角形最11/06 23:18
24Fhwanger: 多兩種 因為∠BQR=∠APR或∠BQR+∠APR=180°11/06 23:19
29Fhwanger: 考慮PRQ的外接圓 則C在圓外 或 C在圓上 或 C在圓內11/06 23:29
30Fhwanger: 證明C不在圓外或圓內就可以了11/06 23:30
34Fhwanger: 喔喔喔 那應該是∠BQR+∠APR=180°沒有強到保證唯一11/06 23:37
35Fhwanger: 抱歉11/06 23:37