?@((a, b), c)=(a, (b, c)) 証明を証明してください ?Aa,b>0とする。(a,b)=a⇔a|bの証明お願いします
|
No.21573 - 2013/05/29(Wed) 19:49:05
| ☆ Re: 整数論 / IT | | | >?@((a, b), c)=(a, (b, c)) の証明
((a, b), c)=dとおくと dは(a, b), cの公約数なのでd|(a,b)かつd|c よって(a,b)=sdとなる整数sが存在 また、(a,b)の定義よりa=t(a,b)、b=u(a,b)となる整数t,uが存在 よって,a=tsdかつb=usd よってd|aかつd|bかつd|c すなわち、((a, b), c)|aかつ((a, b), c)|bかつ((a, b), c)|c…?@
また、整数xについて x|aかつx|bかつx|c ならば x≦((a, b), c)…?A なぜなら、 x|aかつx|bより、xはa,bの公約数 よって xは(a,b)の約数 ※ここも証明がいるかも よってxは(a,b)とcの公約数 一方((a, b), c)は(a,b)とcの最大公約数なので x≦((a, b), c) 同様に (a, (b, c)) |aかつ(a, (b, c))|bかつ(a, (b, c))|c…?B また整数xについて x|aかつx|bかつx|c ならば x≦(a, (b, c)) …?C
?@?Cより ((a, b), c)≦(a, (b, c)) ?B?Aより (a, (b, c))≦((a, b), c) よって ((a, b), c)=(a, (b, c))
> ?Aa,b>0とする。(a,b)=a⇔a|bの証明お願いします (a,b)=a⇒a|bを示す。 a,bは整数、a,b>0、(a,b)=aとする。 最大公約数の定義より(a,b)|b (a,b)=aよりa|b
a|b⇒(a,b)=aを示す。 a,bは整数、a,b>0、a|bとする。 一般にa|aなので,a|bとで、aはa,bの公約数 一方、(a,b)はa,bの最大公約数 よって、a≦(a,b)…?@
最大公約数の定義より(a,b)|aかつ(a,b)>0 これとa>0より a=k(a,b) なる整数k>0が存在 よって、a-(a,b)=(k-1)(a,b)≧0 すなわち、a≧(a,b)…?A ?@?Aよりa=(a,b)
|
No.21574 - 2013/05/29(Wed) 22:26:04 |
|