Do chứng minh hôm trước của tôi thiếu điều kiện đủ để công thức đúng. Nên tôi đã chứng minh lại bên dưới.
Chứng minh công thức P₍ₛ₎ = (s - 1) ≡ 9 + 1 tìm được tổng là một chữ số của số nguyên lớn hơn 0 có một hoặc nhiều chữ số.
Chứng minh:
(≡) là dấu chia lấy dư
Gọi A là tập số nguyên {1,2,...,9}
Gọi P₍ₛ₎ là tổng là một chữ số của số có nhiều chữ số.
Dựa vào công thức P₍ₛ₎ = (s-1) ≡ 9 + 1:
Với s > 0, thì s - 1 luôn luôn >= 0, nên P(s) € A
Gọi a1, a2, a3, ..., an là các chữ số trong một số, giá trị thuộc tập {0,1,2,...,9}.
Gọi s là số có 1 hoặc nhiều chữ số.
---------------------------------------------------------------------------------------------------
Ta có công thức tổng quát của s:
s = a1*10⁰ + a2*10¹ + a3*10² + ... + an*10ⁿ⁻¹
<=> s = a1 + a2*10 + a3*10² + ... + an*10ⁿ⁻¹
<=> s = a1 + a2 + a2*(10¹-1) + a3 + a3*(10²-1) + ... + an + an*(10ⁿ⁻¹-1)
<=> s = a1 + a2 + a3 + ... + an + a2*9 + a3*99 + ... + an*(10ⁿ⁻¹-1)
Gọi b là giá trị biểu thức a2*9 + a3*99 + ... + an*(10ⁿ⁻¹-1), dựa vào dấu hiệu chia hết cho 9 thì b luôn luôn chia hết cho 9.
---------------------------------------------------------------------------------------------------
Gọi Cₙ là tổng của n các số, thì các giá trị lần lượt nhận được là:
Cₙ | Tổng các số | Giá trị |
---|
C₁ | a1 | 0 → 1∗10−1 = 9∗1 |
C₂ | a1 + a2 | 0 → 2∗10−2= 9∗2 |
C₃ | a1 + a2 + a3 | 0 → 3∗10−3= 9∗3 |
Cₙ | a1 + a2 + a3 + ... + an | 0 → n∗10−n= 9∗n |
Cₙ = a1 + a2 + a3 + ... + an
<=> Cₙ = a1 + a2*10 + a3*10² + ... + an*10ⁿ⁻¹ - a2*9 - a3*99 - ... - an*(10ⁿ⁻¹-1)
<=> Cₙ = s - b
Rút ra được kết luận [1]: khi s mất đi b giá trị thì ta nhận được 1 tổng các chữ số
[2] Khi n = 1, thì Cₙ € A, s = Cₙ, P₍ₛ₎ = (s-1) ≡ 9 + 1 luôn đúng.
---------------------------------------------------------------------------------------------------
Với giá trị s:
View attachment 283398
Gọi Zₘ là tổng của Cₙ biểu thức của giá trị s, để có được [3] giá trị Zₘ € A thì:
s = b + bZ₀ + bZ₁ + bZ₂ + ... + bZₘ₋₁ + Zₘ
Gọi B là giá trị biểu thức b + bZ₀ + bZ₁ + bZ₂ + ... + bZₘ₋₁ thì:
s = Zₘ + B
Dựa vào [1]:
P₍ₛ₎ = Zₘ + B - B
<=> P₍ₛ₎ = Zₘ + B ≡ 9 (Vì B - B = 0 và B ≡ 9 = 0)
Dựa vào [2] và [3]:
P₍ₛ₎ = (Zₘ-1) ≡ 9 + 1 + B ≡ 9
<=> P₍ₛ₎ = (Zₘ + B - 1) ≡ 9 + 1
<=> P₍ₛ₎ = (s - 1) ≡ 9 + 1
---------------------------------------------------------------------------------------------------
Kết Luận:
Công thức P₍ₛ₎ = (s - 1) ≡ 9 + 1 tìm được tổng là một chữ số của số nguyên lớn hơn 0 có một hoặc nhiều chữ số.