原帖由 Superman 於 2023-4-26 16:50 發表
這種建構的方法邏輯上是如果x,y,z是圖中的邊長,則他會滿足題意的方程式,
但是反過來就有問題了。
若x,y,z滿足題意的方程式,就算x,y,z限制在實數的條件下,邏輯上也不能推論x,y,z是圖中的邊長。
https://www.wolframalpha ...
原帖由 DavidGuo 於 2023-4-27 08:52 發表
x,y,z可以全負,但因為最後要算的是xy,yz,xz,所以還是變為正的。
我算只有數值解,沒有symbolic的解
{x = 3.520435185, y = 2.367812516, z = 1.355051591}
{x = -3.520435185, y = -2.367812516, z = -1.355051591} ...
原帖由 Ellipse 於 2023-4-26 23:24 發表
題目條件可能打錯了 (應該要讓x,y,z>0)
這題本來就是考餘弦定理的構造法
如果x,y,z是實數,還需要討論到x,y,z負的情形
例如x
原帖由 Superman 於 2023-4-27 10:16 發表
我前面留言的重點是「邏輯上」箭頭的方向,
並不是用計算機算完知道結果,再回頭解釋論證合不合理。
請問要如何證明
「若x,y,z滿足題意的方程式,且x,y,z>0,則x,y,z一定會滿足圖中的樣子」
? ...
原帖由 Superman 於 2023-4-27 10:16 發表
我前面留言的重點是「邏輯上」箭頭的方向,
並不是用計算機算完知道結果,再回頭解釋論證合不合理。
請問要如何證明
「若x,y,z滿足題意的方程式,且x,y,z>0,則x,y,z一定會滿足圖中的樣子」
? ...
原帖由 DavidGuo 於 2023-4-27 13:21 發表
ellipse只是用計算機驗證而已,
證明也很容易,因為餘弦定理就可以得到了,而且,即使「有向長度」,也是可以用同樣的方法。
chu的解法沒有錯,只是要再討論x,y,z有可能負的情況,依ellipse所列,會有四種情況要討論。 ...
另外不管能不能拼起來,
都還是要知道兩邊和大於第三邊,
三角形才真的存在吧? ...
原帖由 DavidGuo 於 2023-4-27 22:11 發表
不一定會剛好360度喔,但這題它就是設計剛好是(不然做不下去)。
負數可以視為有向邊,或是往反向畫長度|x|,然後角度變成\(\pi-\theta\)。
若有x,y,z正,是會滿足的,從式子上直接可以看出來。
因為c^2=a^2+b^2-2abcost>=(a ...
原帖由 DavidGuo 於 2023-4-27 23:18 發表
不會拼不起來,因為角度就設計好剛好360度。
應該8組,但
正正正跟負負負一樣,圖形轉180度
正正負跟負負正一樣,圖形轉180度
正負正跟負正負一樣,圖形轉180度
正負負跟負正正一樣,圖形轉180度
所以只有四組…
晚點、或明 ...
原帖由 DavidGuo 於 2023-4-28 00:32 發表
應該8組,因為沒有給初始值,所以電腦會自己亂找。
ellipse用mathlab跑,找出4組,已經算好的了。
我用maple跑,只找出2組。
但初始值給的好,跑出比較多,這題應該可以全跑出來。
別的就不一定了,要看解是不是stable,這扯太遠了,詳 ...
要跟教授講一下,我是用Mathematica跑數值解,
不跑數值解算出來是一堆根號加減很醜的數據
然後剛剛又去檢驗一下,應該就只有那四組解喔
我唸書時系上應數的教授他們大致都用maple或mathlab軟體
印象中這兩套也很強,應該都可以跑出正確有幾組數值解
沒全部跑出來我很意外,是不是maple下指令的問題?
但比較麻煩的是,若要寫比較大的程式,後面要花心思去處理數據list的括號{ } 問題
這個需要有人教,最好是去上一學期的課程,不知道現DavidGuo教授您們系上有在開這種課程?
原帖由 Ellipse 於 2023-4-28 08:49 發表
要跟教授講一下,我是用Mathematica跑數值解,
不跑數值解算出來是一堆根號加減很醜的數據
然後剛剛又去檢驗一下,應該就只有那四組解喔
原帖由 thepiano 於 2023-5-1 00:04 發表
112^23 - 2023^12 除以 125 的餘數
相當求 (-13)^23 - 23^12 除以 125 的餘數
這計算量有點大啊
歡迎光臨 Math Pro 數學補給站 (https://math.pro/db/) | 論壇程式使用 Discuz! 6.1.0 |