Number of form 28000...0007 is Divisible by 7/Proof 1
Jump to navigation
Jump to search
Theorem
Let $x$ be a natural number in the form:
- $\sqbrk {28 \underbrace {000 \cdots 0}_n 7}_{10}$
Then $x$ is divisible by $7$.
Proof
We have:
\(\ds \sqbrk {28 \underbrace {000 \cdots 0}_n 7}_{10}\) | \(=\) | \(\ds 2 \times 10^{n + 2} + 8 \times 10^{n + 1} + 0 \times 10^n + \cdots + 0 \times 10^1 + 7\) | ||||||||||||
\(\ds \) | \(=\) | \(\ds 28 \times 10^{n + 1} + 7\) |
Then:
\(\ds 28 \times 10^{n + 1} + 7\) | \(\equiv\) | \(\ds 0 \times 3^{n + 1} + 0\) | \(\ds \pmod 7\) | Fermat's Little Theorem and Congruence of Powers | ||||||||||
\(\ds \) | \(\equiv\) | \(\ds 0 + 0\) | \(\ds \pmod 7\) | Congruence of Product | ||||||||||
\(\ds \) | \(\equiv\) | \(\ds 0\) | \(\ds \pmod 7\) |
$\blacksquare$
This article, or a section of it, needs explaining. In particular: How does Fermat's Little Theorem apply in the above? You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by explaining it. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Explain}} from the code. |