MATH102 大炒,唔好問我咩分喇...。
只可以說一句,「A 的炒不了,炒的 A 不了。」唉!
從前提及過 ∏n−1k=1sinkπn=n2n−1 這樣的一條等式。
最近看到一個例子,取某些特定的整數 k,再建立一個新的乘積,便能夠建立一條美麗而簡單的等式。設 n 為大於 1 的奇數,φ(n) 為 Euler-φ 函數,即 φ(n)= 小於 n 及與其互質的正整數的個數。設 a1,a2,…,aφ(n) 為與 n 互質的正整數,那麼它們成為了模 n 的一個簡系 (reduced residue system),又因為 (2,n)=1,從而 2a1,2a2,…,2aφ(n) 也是一個模 n 的簡系,因此我們有|φ(n)∏k=1cosakπn|=12φ(n).
取 n 為質數 p,則有 |p−1∏k=1coskπp|=12p−1, 初等的東西果然很容易讓人``萌" 起來!繼代數不等式後,偶被初等數論萌倒了。
再在本文最開頭所說的等式中取 n=p(質數),兩式相乘,得到 |p−1∏k=1sin2kπp|=p2p−1=p−1∏k=1sinkπp, 看到這等式後,很自然會問:「這是``偶然"嗎?」
最近有同學問我,設 a,b 為正整數,證明:若 4ab−1|(4a2−1)2,則 a=b。
唔知點解果時``發左癲",觀測唔到某 d 明顯到冇得再明顯 ge 野,搞到唔識做。
訓訓下覺呢個問題又彈返出黎,搞到訓唔着,順手寫寫下,``下?!"。
what 某 d 明顯到冇得再明顯 ge 野???
ReplyDelete觀測到 latex4ab−1|(4a2−1)2⟹4ab−1|(a−b)2,也就是說,
ReplyDelete我們需要 latex(a−b)24ab−1 為整數。
最後需要用到 soarer 提及過的 vieta's jumping,有點像 infinite descent 那個。
矛盾應該是 latexa−b≥(a+b)(4ab−1),這是一個謊謬的不等式。