24小时热门版块排行榜    

查看: 1688  |  回复: 12

lixuemei201

新虫 (小有名气)

[求助] 多项式有理数域能否可约。。上次打错题目

设p1.p2...,pn为两两不等的素数,证明多项式f(x)=(x-p1)^2*(x-p2)^2...(x-pn)^2+1在有理数域上不可约。。。。。。我自己的那种证明,不严格,没用到了素数这一条件,求一个稍微详细的解答,谢谢

上次题目打错了!!!

[ 发自手机版 http://muchong.com/3g ]
回复此楼
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
回帖支持 ( 显示支持度最高的前 50 名 )

Edstrayer

版主 (著名写手)

方寸斗室小天地正气迷漫大世界

引用回帖:
6楼: Originally posted by hank612 at 2014-10-06 05:48:14
楼主, Estrayer的帖子真是葵花宝典,照抄再稍加改动就搞定了。

(1)由Gauss引理, 多项式在UFD 整环上不可约当且仅当在分式域上不可约, 所以用反证法, 设1+\Prod_{i=1}^n (x-p_i)^2=f(x)\cdot g(x), 其中f( ...

正解!
多项式


在有理数域上的不可约性,可以通过待定系数法和艾森斯坦判别法证明。
青葱岁月圣诞夜,浪漫歌舞迎新年。
7楼2014-10-06 06:16:35
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

hank612

至尊木虫 (著名写手)

引用回帖:
4楼: Originally posted by lixuemei201 at 2014-10-05 19:15:04
。。。蛋疼,你给出的那题是建立在2013有多个因子还有相邻数的平方的基础上,我这题是+1的,是没办法按你那题方法推出矛盾。哥哥们,求解,各位大神们,求解!
...

楼主, Estrayer的帖子真是葵花宝典,照抄再稍加改动就搞定了。

(1)由Gauss引理, 多项式在UFD 整环上不可约当且仅当在分式域上不可约, 所以用反证法, 设, 其中f(x), g(x)为首一整系数(最关键的一步!!!)多项式。不妨设 deg(f) <= n <= deg(g).

(2)对每一个p_i, 有f(p_i)*g(p_i)=1, 那么必然有f(p_i)=g(p_i)=1 或 -1。
将n个素数分成两拨,不妨设f,g取值等于1的占多数。, 其中c(x), d(x)为某些 首一整系数多项式。

Case 1: k=0.  从多项式度数可以直接看出 f(x)-1=(x-p_1)*(x-p_2)*...*(x-p_n), 从而 g(x)-1=(x-p_1)*(x-p_2)*...*(x-p_n),这和平方和公式明显不符。排除。

Case 2: 2<=k <=m. 由 及 p_i为不同素数得到: 这和相矛盾。排除

Case 3: k=1. 如果 m>=2, 那么 由 得到 s1=3, r1=2, r2=5. 或 s1=5, r1=3, r2=7. 其中 s1=5, r1=3, r2=7与 c(5)(5-3)(5-7)=-2矛盾。
也就是说, Case 3 无法一下排除的只有:

a)k=1=m, n=2. 两个素数或者是2,3, 或者是孪生素数。
b) k=1, m=2, n=3, 三个素数为 2,3,5。
这几个多项式,理论已经无能为力了, 楼主有没有办法一一验证不可约呢?
We_must_know. We_will_know.
6楼2014-10-06 05:48:14
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

hank612

至尊木虫 (著名写手)

引用回帖:
6楼: Originally posted by hank612 at 2014-10-06 05:48:14
楼主, Estrayer的帖子真是葵花宝典,照抄再稍加改动就搞定了。

(1)由Gauss引理, 多项式在UFD 整环上不可约当且仅当在分式域上不可约, 所以用反证法, 设1+\Prod_{i=1}^n (x-p_i)^2=f(x)\cdot g(x), 其中f( ...

刚刚一想,n=2,  两个素数的情况很好淘汰,原因如下:
让h(x)=(x-p1)(x-p2), 那么 h(x)| ( f(x)-g(x)). 由于f(x)和g(x)不能为一次的, 所以都是二次的, 然后都是首一的,所以 f(x)-g(x)次数小于等于一次, 只能等于0。 这和 h^2+1不是平方和相矛盾。

那楼主只需要证明 [(x-2)(x-3)(x-5)]^2 +1 不可约就够了。
We_must_know. We_will_know.
8楼2014-10-06 06:19:00
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
普通回帖

lixuemei201

新虫 (小有名气)

这个是n个平方式子相乘。。题目没错了。。。素数这条件到底怎么使用,求思路。。。大神赶紧来吧!

[ 发自手机版 http://muchong.com/3g ]
2楼2014-10-05 11:58:48
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

Edstrayer

版主 (著名写手)

方寸斗室小天地正气迷漫大世界

青葱岁月圣诞夜,浪漫歌舞迎新年。
3楼2014-10-05 17:34:09
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

lixuemei201

新虫 (小有名气)

引用回帖:
3楼: Originally posted by Edstrayer at 2014-10-05 17:34:09
http://www.math.org.cn/forum.php?mod=viewthread&tid=29199&extra=page%3D7%26filter%3Dtypeid%26typeid%3D2%26typeid%3D2

。。。蛋疼,你给出的那题是建立在2013有多个因子还有相邻数的平方的基础上,我这题是+1的,是没办法按你那题方法推出矛盾。哥哥们,求解,各位大神们,求解!

[ 发自手机版 http://muchong.com/3g ]
4楼2014-10-05 19:15:04
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

lixuemei201

新虫 (小有名气)

引用回帖:
3楼: Originally posted by Edstrayer at 2014-10-05 17:34:09
http://www.math.org.cn/forum.php?mod=viewthread&tid=29199&extra=page%3D7%26filter%3Dtypeid%26typeid%3D2%26typeid%3D2

不是2013是2014。。。。兄弟,谢谢你,有空再帮俺想想这题,谢谢

[ 发自手机版 http://muchong.com/3g ]
5楼2014-10-05 19:22:37
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

lixuemei201

新虫 (小有名气)

引用回帖:
6楼: Originally posted by hank612 at 2014-10-06 05:48:14
楼主, Estrayer的帖子真是葵花宝典,照抄再稍加改动就搞定了。

(1)由Gauss引理, 多项式在UFD 整环上不可约当且仅当在分式域上不可约, 所以用反证法, 设1+\Prod_{i=1}^n (x-p_i)^2=f(x)\cdot g(x), 其中f( ...

我的证明是设f(x)=f1(x)+f2(x),令g=f1-f2,有n个跟,从而推到f1=f2,f=f1^2,再系数对比得到a^2=(p1p2...pn)^2+1,从平方差公式得知不可能。。。我的证明很简单,却没有用到素数这关键条件。。。

[ 发自手机版 http://muchong.com/3g ]
9楼2014-10-06 08:43:49
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

lixuemei201

新虫 (小有名气)

我的想法错了,g的次数不一定为0,这题解决了。。感谢大家

[ 发自手机版 http://muchong.com/3g ]
10楼2014-10-06 08:48:32
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 lixuemei201 的主题更新
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[基金申请] 国合现在查不到了吗? +8 chengyan1220 2026-08-24 16/800 2026-08-26 08:50 by paperzjh
[基金申请] 2026年8月25日国自然放榜前突然收到列入评审专家邮件,有关系吗? +24 木水思豆 2026-08-25 27/1350 2026-08-26 08:26 by yanchen918
[基金申请] 范进中举一文的中心思想 +8 炎黄贵胄 2026-08-22 9/450 2026-08-26 07:47 by WASM
[基金申请] 2026国自然函评费到账 +21 羊腰板 2026-08-21 24/1200 2026-08-26 07:20 by finnigan
[考研] 售SCI一区T0P文章,我:8.O.55.1.O.5.4,科目全,可+急 +3 7K1CJE38xLG4 2026-08-25 5/250 2026-08-26 07:17 by cNXvBfCpiZOM
[考博] 售SCI一区T0P文章,我:8.O.55.1.O.5.4,科目全,可+急 +3 Qj98d49dHFb9 2026-08-25 5/250 2026-08-26 04:57 by cNXvBfCpiZOM
[基金申请] 在坚冰还盖着北海的时候,我看到了怒放的梅花。 (金币+10) +6 ziyangfang 2026-08-25 9/450 2026-08-25 20:26 by huagongfeihu
[基金申请] 放榜前的不淡定 20+4 snowwithsea 2026-08-19 19/950 2026-08-25 17:57 by chick875
[基金申请] 某些机构,以效率低为荣,以效率低作为存在感 +9 yuleib84 2026-08-25 10/500 2026-08-25 17:14 by alexon
[基金申请] 今日不放榜?网传国自然预计 8 月 27 日可查结果 +17 医学老男孩 2026-08-20 22/1100 2026-08-25 15:36 by 医学老男孩
[教师之家] 导师吐槽:我怎么摊上了这么个极品研究生! +3 苏东坡二世 2026-08-23 3/150 2026-08-25 10:35 by shisan1313
[基金申请] 能否退出参与的面上项目解除限项 +21 koalala 2026-08-24 24/1200 2026-08-24 19:25 by 家与远方
[基金申请] filecode,4个jtjc了 +14 ziyangfang 2026-08-19 17/850 2026-08-24 18:37 by 哈哈蛤?
[基金申请] 建议基金发布提前给出明确的时间点 +13 kulium 2026-08-21 16/800 2026-08-24 16:27 by superceng
[教师之家] 跳槽后在研项目怎么办? +5 简单化xn 2026-08-22 10/500 2026-08-23 12:38 by 简单化xn
[基金申请] 看来今天不会放榜了? +8 chengyan1220 2026-08-21 11/550 2026-08-21 17:52 by dcqxinyang
[基金申请] 时间戳又变了 +13 wuchongjun 2026-08-20 19/950 2026-08-21 17:21 by 紫杉醇
[基金申请] 应该是下周三26日公布了吧? +4 哈哈蛤? 2026-08-21 4/200 2026-08-21 10:58 by Vivilian
[基金申请] 今天放榜没戏了吧 +9 yuleib84 2026-08-19 11/550 2026-08-21 10:06 by gltch
[基金申请] 基金啊基金 +4 longfie172 2026-08-20 4/200 2026-08-21 08:58 by mark mao
信息提示
请填处理意见