bc+2,3,5倍数看末尾和各位数和+毕竟这个数据为10^30

点击打开链接
#include<stdio.h>
#include<stdlib.h>
#include<iostream>
#include<cstring>
#include<string>
#include<string.h>
#include<algorithm>
#include<math.h>
using namespace std;
int main()
{
    string s1;
    int len=0,sum=0,i=0;
    while(cin>>s1){
        len=s1.length();
        sum=0;
        for(i=0;i<len;i++){
          sum+=s1[i]-0;
        }
        if(s1[len-1]=='0'||s1[len-1]=='2'||s1[len-1]=='4'||s1[len-1]=='6'||s1[len-1]=='8'||s1[len-1]=='5'||sum%3==0)
            printf("YES\n");
        else
            printf("NO\n");
    }
}

我们可以使用反证法来证明$x^5+x^4+x^3+x+1$是不可约的。 假设$x^5+x^4+x^3+x+1$可约,那么它可以表示为两个次小于等于2的多项式的乘积,即: $x^5+x^4+x^3+x+1 = (x^2+ax+b)(x^3+cx^2+dx+e)$ 其中$a,b,c,d,e$都是实。我们注意到,由于$x^5+x^4+x^3+x+1$的系都是1,所以$a,b,c,d,e$都必须是整。 我们首先考虑第一个因子$x^2+ax+b$。由于它的次小于等于2,因此它有两个复根$r_1$和$r_2$。这意味着: $x^2+ax+b = (x-r_1)(x-r_2)$ 同样地,我们考虑第二个因子$x^3+cx^2+dx+e$。它的次也小于等于2,因此它有三个复根$s_1,s_2,s_3$。这意味着: $x^3+cx^2+dx+e = (x-s_1)(x-s_2)(x-s_3)$ 现在我们考虑将两个因子相乘的结果展开: $(x^2+ax+b)(x^3+cx^2+dx+e) = x^5 + (a+c)x^4 + (ac+b+d)x^3 + (ad+bc+e)x^2 + (bd+ae)x + be$ 我们将它与$x^5+x^4+x^3+x+1$进行比较,得到以下等式: \begin{aligned} a+c &= 1 \\ ac+b+d &= 1 \\ ad+bc+e &= 1 \\ bd+ae &= 0 \\ be &= 1 \end{aligned} 我们注意到,由于$a,b,c,d,e$都是整,因此$be$必须等于1或-1。但是,由于$x^5+x^4+x^3+x+1$的系都是正,因此$be$必须等于1。这意味着$b$和$e$都必须等于1或-1。 现在我们考虑可能的情况: 如果$b=e=1$,那么$bd+ae$等于2,与等式$ad+bc+e=1$矛盾。 如果$b=e=-1$,那么$bd+ae$等于-2,与等式$ad+bc+e=1$矛盾。 如果$b=1$且$e=-1$,那么$bd+ae$等于-1,与等式$ad+bc+e=1$矛盾。 如果$b=-1$且$e=1$,那么$bd+ae$等于-1,与等式$ad+bc+e=1$矛盾。 因此,我们无法找到一组整$a,b,c,d,e$,使得$x^5+x^4+x^3+x+1$能够表示为两个次小于等于2的多项式的乘积。因此,$x^5+x^4+x^3+x+1$是不可约的。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值