24小时热门版块排行榜    

查看: 1685  |  回复: 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 的主题更新
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[考博] 售SCI一区T0P文章,我:8.O.55.1.O.5.4,科目全,可+急 +3 Qj98d49dHFb9 2026-08-25 4/200 2026-08-26 03:08 by cNXvBfCpiZOM
[考研] 售SCI一区T0P文章,我:8.O.55.1.O.5.4,科目全,可+急 +3 7K1CJE38xLG4 2026-08-25 4/200 2026-08-26 02:04 by cNXvBfCpiZOM
[论文投稿] 售SCI一区T0P文章,我:8O.55.1.O.5.4,科目齐全,可+急 +3 7K1CJE38xLG4 2026-08-25 4/200 2026-08-26 02:04 by cNXvBfCpiZOM
[基金申请] 2026年8月25日国自然放榜前突然收到列入评审专家邮件,有关系吗? +17 木水思豆 2026-08-25 20/1000 2026-08-26 01:26 by chengyan1220
[基金申请] 在坚冰还盖着北海的时候,我看到了怒放的梅花。 (金币+10) +6 ziyangfang 2026-08-25 9/450 2026-08-25 20:26 by huagongfeihu
[基金申请] 有没有大神帮我看看基金代码 28+4 1234567wang 2026-08-24 10/500 2026-08-25 19:15 by lfy8008
[基金申请] 放榜前的不淡定 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
[基金申请] 2026国自然函评费到账 +20 羊腰板 2026-08-21 23/1150 2026-08-25 16:34 by zsna
[基金申请] 没有任何消息-是不是就凉了 +9 图啦图啦 2026-08-24 10/500 2026-08-25 11:59 by 南海小哥
[教师之家] 导师吐槽:我怎么摊上了这么个极品研究生! +3 苏东坡二世 2026-08-23 3/150 2026-08-25 10:35 by shisan1313
[基金申请] 2026年的国家社科基金项目通讯评审的新规则与新动向、新挑战 +5 process2012 2026-08-23 7/350 2026-08-25 09:42 by huixian257
[基金申请] 今天基金会出结果吗?20260819 +17 kkkl_v 2026-08-19 18/900 2026-08-25 09:41 by windflowerwy
[基金申请] 范进中举一文的中心思想 +7 炎黄贵胄 2026-08-22 8/400 2026-08-25 08:48 by ZJTJZ
[基金申请] 只有每年这种时候来逛逛小木虫 +25 yaoyewhu2008 2026-08-20 27/1350 2026-08-25 08:01 by Equinoxhua
[基金申请] 能否退出参与的面上项目解除限项 +21 koalala 2026-08-24 24/1200 2026-08-24 19:25 by 家与远方
[基金申请] 建议基金发布提前给出明确的时间点 +13 kulium 2026-08-21 16/800 2026-08-24 16:27 by superceng
[基金申请] 时间戳又变了 +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
[基金申请] 基金啊基金 +4 longfie172 2026-08-20 4/200 2026-08-21 08:58 by mark mao
信息提示
请填处理意见