CINTA 第一周选做题

CINTA 第一周选做题

第一章

对于任意 $a^2=3k+r$ ,根据 除法原理： 对于任意数 x,都有$x=3q+b$
那么 对于 $x^2=(3q+b{)}^2=9q^2+6qb+b^2$ 其中 b ∈ { 0 , 1 , 2 } b\in \{0,1,2\} b∈{0,1,2}
那么 b 2 ∈ { 0 , 1 , 4 } b^2\in\{0,1,4\} b2∈{0,1,4}, b 2 % 3 ∈ { 0 , 1 } b^2\%3\in\{0,1\} b2%3∈{0,1} 由此可得 $x^2=3k+r$,其中 r ∈ { 0 , 1 } r\in\{0,1\} r∈{0,1}.

#include<stdio.h>
#include<math.h>

bool Issqrt(int n){
    if(n%3==2){
        return false;
    }
    if(n%3==0&&n/3%3==0){
        return Issqrt(n/9);
    }
    else if(n%3==0){
        return false;
    }
    for(int i=0;pow((3*i+1),2)<=n;i++){
        if((3*i+1)*(3*i+1)==n||(3*i+2)*(3*i+2)==n){
            return true;
        }
    }
    return false;
}

int main(){
    int a;
    while(scanf("%d",&a)!=EOF){
        if(Issqrt(a)){
           printf("Yes\n");
        }
        else{
           printf("No\n");
        }
    }
    return 0;
}

对于任意$x=\underset{n}{\underbrace{1111\dots \dots 1111}}=a^2$而言，x必然是奇数，a必然是奇数，令$a=2k+1$,则$a^2=4k^2+4k+1,k\in Z$。而对于形如$\underset{n}{\underbrace{\mathrm{1111....1111}}}=x$而言，$(x-1)/4=\underset{n-1}{\underbrace{555\dots \dots 555}}/2\ne k^2+k$因为前者是小数，后者是整数，矛盾。

第二章

假设$gcd(a,b\ast c)\ne 1$, $gcd(a,b\ast c)=x$
那么必然有 $x|a,x|b或x|c或c|x或b|x$
则分别有 $gcd(a,b)=x或gcd(a,c)=x或gcd(a,c)=c或gcd(a,b)=b$
与题目矛盾。因此$gcd(a,b\ast c)=1$

由上一题可知$gcd(a,b)=1,gcd(a,c)=1$可知$gcd(a,b\ast c)=1$
由$gcd(a,b)=1$,可得$gcd(a,b^2)=1$,同理可得$gcd(a,b^n)=1$

由上一题可知$gcd(a,b)=1,gcd(a,c)=1$可知$gcd(a,b\ast c)=1$
由$gcd(a,b)=gcd(b,a)=1$,
可得$gcd(b,a^2)=1,gcd(a^2,b)=1$
可得$gcd(a^2,b^2)=1$
$gcd(a^n,b^n)=1$

假设
$gcd(a,b)\ast x=a$
$gcd(a,b)\ast y=b$
可得,$gcd(x,y)=1$
由上一题可得$gcd(x^d,y^d)=1$
$gcd(a,b{)}^d\ast x^d=a^d$ $gcd(a,b{)}^d\ast y^d=b^d$
可得$gcd(a^d,b^d)=gcd(a,b{)}^d$
证明完毕。