The Bezout identity states that for integers , not both zero, there are integers such that
If the prime number divides but does not divide , then . Thus for some integers , and multiplication by gives
Both terms on the right are divisible by , so . Hence
If , choose with . Then
satisfies and . If are two simultaneous solutions, both and divide . Coprimality implies , so the solution is unique modulo . This proves the two-modulus Chinese remainder theorem.
Let be odd and suppose
Then . Since divides , the odd prime cannot divide both factors. The full power must therefore divide one of them, giving
These are distinct, so there are exactly two solutions.
For an odd integer
the Chinese remainder theorem identifies a solution modulo with independent solutions modulo the prime powers. Each component has two choices, hence
For , there is one solution when and two when . If , a solution is odd, and of the consecutive even integers , exactly one is divisible by . The 2-adic valuations therefore have minimum one; for their sum to be at least , the other must be at least . Thus , giving the four distinct classes
Consequently the answer is
Let
If were rational, then
would make rational. But if in lowest terms, then , which is impossible by unique prime factorization: the exponent of on the two sides is respectively a multiple of three and one more than a multiple of three. Therefore
Use the given convergent series
Suppose this number were . Choose large enough that . Multiplication by makes both the rational number and the partial sum through integers. Their difference
would therefore be an integer. It is positive, while
for sufficiently large , a contradiction. Hence
A transcendental number is a complex number that is not a root of any nonzero polynomial with rational, equivalently integer, coefficients. Let
If and were an algebraic number, then would satisfy
over the algebraic extension . By transitivity of algebraic extensions, would be algebraic over , contradicting its transcendence. If , then and would again be algebraic. Thus
Suppose there were only finitely many prime numbers congruent to modulo , and list them as . Consider
No divides , and does not divide . In the prime factorization of , not every prime factor can be congruent to modulo , since their product would then also be congruent to , whereas
Thus some prime factor is congruent to modulo , contradicting the completeness of the list. Hence
Now let be prime. If , then either , giving
or is not divisible by , so . In the latter case
and is greater than , hence is composite. For the number is , which is prime. Therefore

There are unlisted articles, also show them or only show them.