‫אינדוקציה‬

‫⋆ תרגיל עם כמה נקודות עדינות‪ :‬לכל טבעי קיים ייצוג בינארי‬

‫הוכיחו כי כל טבעי 𝑛 ניתן לכתיבה כסכום של חזקות אי־שליליות שונות של ‪ ,2‬כלומר‪ ,‬קיימים שלמים אי־‬

‫שליליים ‪ ℓ < ℓ < ⋯ < ℓ‬כך ש־ ‪.𝑛 = ∑ = 2‬‬

‫פתרון‪ .‬באינדוקציה מלאה על ‪.𝑛 ∈ ℕ‬‬

‫בסיס האינדוקציה‪ :‬בעבור ‪ 𝑛 = 1‬נקבל כי ‪ ,𝑛 = 2‬כנדרש‪.‬‬
‫צעד האינדוקציה‪ :‬יהי ‪ .𝑛 ∈ ℕ‬נניח כי כל טבעי ‪ 1 ≤ 𝑚 ≤ 𝑛 − 1‬ניתן לכתיבה כסכום על חזקות שלמות אי־‬
‫שלילית שונות של ‪ .2‬נתבונן ב־𝑛‪ .‬יהי ‪ ℓ‬השלם האי־שלילי הגדול ביותר שעבורו 𝑛 ≤ ‪ .2‬נסמן ‪,𝑚 = 𝑛 − 2‬‬
‫‪ 𝑛 = 𝑚 + 2 ≥ 2 + 2 = 2‬בסתירה לכך ש־‪ ℓ‬החזקה המקסימלית של ‪ 2‬כך‬ ‫ונבחין ש־ ‪) 𝑚 < 2‬כי אחרת‬
‫ש־𝑛 ≤ ‪ .(2‬אם ‪ ,𝑚 = 0‬סיימנו‪ ,‬כי ‪ .𝑛 = 2‬אחרת‪ ,𝑚 ≥ 1 ,‬וגם 𝑛 < 𝑚‪ ,‬ולכן נוכל להשתמש בהנחת‬

‫האינדוקציה בעבור 𝑚‪ :‬קיימים מספרים שלמים אי־שליליים ‪ ℓ < ℓ < ⋯ < ℓ‬כך ש־ ‪ .𝑚 = ∑ = 2‬לא‬

‫סיימנו כאן‪ ,‬כי אמנם ‪ ℓ , … , ℓ‬שונים זה מזה‪ ,‬אך לא הסברנו מדוע ‪ ℓ , … , ℓ , ℓ‬שונים זה מזה‪ .‬אך אין זה מסובך‬
‫– נבחין כי מתקיים ‪ ,ℓ < ℓ‬שכן ‪ .𝑚 < 2‬אז נסכם כי‬
‫‪𝑛 = 𝑚+2 = 2 +⋯+2‬‬ ‫‪+2 ,‬‬
‫■‬ ‫כאשר ‪ ,ℓ < ⋯ < ℓ < ℓ‬ובזאת הוכחנו את הדרוש‪.‬‬