Can the Divisibility Rule of 9 be Proven by Using an Assumed Number?

[Kartik.]

Question - A proof of divisibility by the number 9 with a assumed number. The aim is to prove two assertions state within divisibility rule of 9 -
1. the sum of the digits of the number should be divisible by 9 and vice-versa

Attempt-
Let the number be N
N=a₀a₁a₂a₃...a_n-1a_n (They do not represent the product but denotes the digits)
As in decimal number system -
N = a_n.10ⁿ+a_n-1.10^n-1+...+a₂.10²+a₁.n¹
Where 10ⁿ = 9999...9(n times)+1, and n\geq1
Then,
N= [a_n.99999...9(n times)+a_n-1.99...9(n-1 times)+...+a₂.99+a₁.9]+(a₀+a₁+a₂+a₃+...+a_n-1+a_n)

The first summand is definitely divisible by 9 but i am stuck over here to prove the remaining assertions, either verbally or I'm missing some computation too.

 

[DonAntonio]

Question - A proof of divisibility by the number 9 with a assumed number. The aim is to prove two assertions state within divisibility rule of 9 -
1. the sum of the digits of the number should be divisible by 9 and vice-versa

Attempt-
Let the number be N
N=a₀a₁a₂a₃...a_n-1a_n(They do not represent the product but denotes the digits)
As in decimal number system -
N = a_n.10ⁿ+a_n-1.10^n-1+...+a₂.10²+a₁.n¹

What happened to a_0\, here?

Where 10ⁿ = 9999...9(n times)+1, and n\geq1
Then,
N= [a_n.99999...9(n times)+a_n-1.99...9(n-1 times)+...+a₂.99+a₁.9]+(a₀+a₁+a₂+a₃+...+a_n-1+a_n)

The first summand is definitely divisible by 9 but i am stuck over here to prove the remaining assertions, either verbally or I'm missing some computation too.

Is N a number divisible by 9? What direction are you trying to prove? You must be clearer.

You can try the following. Provide details:

=== Suppose N is a natural number divisible by 9. We must prove the final sum of its digits is 9.

So we can write \,\,N=9k\,\,,\,\,k\in\mathbb{N}\,\, and induction of k: for k=1 this is clear, so assume for k and let us prove for k+1:

9(k+1)=9k+9\,\, , and now you've the easy task to show that if the final sum of the digits of a numer is 9, then the same is true for the number + 9.

=== Suppose now N is a number s.t. that the final sum of its digits is 9. You must show N is a multiple of 9.

Now write \,\,N=a_0+a_1\cdot 10+...+a_n\cdot 10^n\,\,so\,\,F(a_0+a_1+...+a_n)=9\,\, , with the F indicating the final digit sum, and now write N=a_0+a_1(9+1)+a_2(99+1)+...+a_n((10^n-1) +1) Continue from here, proving first that for any \,\,n\in\mathbb{N}\cup\{0\}\,\,,\,\,10^n-1\,\, is a multiple of 9.


DonAntonio