הצגת המקור של הדף "מתמטיקה תיכונית/מתמטיקה לבגרות/פתרונות מבחני בגרות/אינטרני/קיץ א, תשע"א/035006/תרגיל 2"

=התרגיל=
{| border="1" 
|
'''א.''' הוכח באינדוקציה או בכל דרך אחרת כי לכל <math>\ n</math> טבעי גדול מ-<math>\ 1</math> מתקיים :<br />
<math>
\begin{align}
&2^{n-1}(2^n+3^n)>5^n\\
\end{align}
</math>
<br /><br />
'''ב.''' בהסתמך על סעיף א' הוכח : <br />
<math>
\begin{align}
&2^{1+2+3+\cdots+100}(2^2+3^2)(2^3+3^3)(2^4+3^4)*\cdots*(2^{101}+3^{101})>5^{5150}
\end{align}
</math>
|-
|נושא: [[מתמטיקה תיכונית/אלגברה תיכונית/אינדוקציה מתמטית|אינדוקציה]] [[מתמטיקה תיכונית/אלגברה תיכונית/אינדוקציה מתמטית/אינדוקציה על אי שיויונות|אי שיוויונים]]! (נוסף סעיף מספיק לומר)
|-
|מקור : [http://meyda.education.gov.il/sheeloney_bagrut/2011/6/HEB/35006.PDF]
|}

=סעיף א'=
<math>
\begin{align}
&2^{n-1}(2^n+3^n)>5^n\\
\end{align}
</math>


===בדיקה עבור <math>\ n>1</math>, נציב <math>\ n=2</math> :<br />===
<math>
\begin{align}
&2^{2-1}(2^2+3^2)>5^2\\
&26>25\surd\\
\end{align}
</math>


===נניח כי הטענה נכונה עבור <math>\ n=k</math> טבעי===
<math>
\begin{align}
&2^{k-1}(2^k+3^k)>5^k\\
\end{align}
</math>

===נוכיח כי הטענה נכונה עבור  <math>\ n=k+1</math>===
<math>
\begin{align}
&2^{k}(2^{k+1}+3^{k+1})>5^{k+1}\\
\end{align}
</math>

===מספיק לומר===
שמו לב, בדרך כלל, אנו נעזרים בהצבה בכדי להיפטר מה"שלוש נקודות" או בכדי להיפטר מהגורמים 
מהמשוואה השמאלית. בתרגיל זה, אנו נציב את ההנחה בצידו הימני של התרגיל. כי אם נוכיח שמתקיים האי שויון 

<math>
\begin{align}
&2^{k}(2^{k+1}+3^{k+1})>5{\color{blue}(2^{k-1}(2^k+3^k))}\\
\end{align}
</math>

אז לפי הנחת האינדוקציה מתקיים

<math>
\begin{align}
&2^{k}(2^{k+1}+3^{k+1})>5{\color{blue}(2^{k-1}(2^k+3^k))} > 5 5^k = 5 ^{k+1}\\
\end{align}
</math>

מש"ל

===פישוט===
<math>
\begin{align}
&2^{k}(2^{k+1}+3^{k+1})>5(2^{k-1}(2^k+3^k))\\
&2^{2k+1}+2^k*3^{k+1}>5(2^{2k-1}+2^k*3^k)\\
&2^{2k}*2+2^k*3^{k}*3>5*2^{2k-1}+5*2^{k+1}*3^k/*2\\
&2^{2k}*4+2^k*3^{k}*6>5*2^{2k}+5*2^k*3^k/:2^k\\
&2^{k}*4+3^{k}*6>5*2^{k}+5*3^k/-2^{k}*4-5*3^k\\
&3^k>2^k\\
\end{align}
</math>

הטענה נכונה לכל <math>\ n>1</math> על פי שלושת שלבי האינדוקציה

=סעיף ב'=
'''האינדוקציה : ''' <math>\ 2^{n-1}(2^n+3^n)>5^n</math>

<u>[[מתמטיקה תיכונית/אלגברה תיכונית/אינדוקציה מתמטית/הקדמה - אינדוקציה#אינדוקציה מתמטית|הוכחה]]</u> של אי שיוויון (זה לא חישוב סכום) : 
<math>
\begin{align}
&2^{1+2+3+\cdots+100}(2^2+3^2)(2^3+3^3)(2^4+3^4)*\cdots*(2^{101}+3^{101})>5^{5150}
\end{align}
</math>

===מה הולך פה?===
ראשית נבין מה הולך בתרגיל, נחלק אותו לחלקים על פי האינדוקציה וכו'
'''האינדוקציה : ''' <math>{\color{blue}2^{n-1}}{\color{green}(2^n+3^n)}>5^n</math><br />
ההוכחה :<math> {\color{blue}2^{1+2+3+\cdots+100}}{\color{green}(2^2+3^2)}(2^3+3^3)(2^4+3^4)*\cdots*(2^{101}+3^{101})>5^{5150}</math><br />
'''הסבר : ''' אם נביט בצידו השמאלי של אי השיוויון נוכל לראות שלמעשה צמצמו את הסדרה, באמצעות שימוש [[מתמטיקה תיכונית/אלגברה תיכונית/חוקי החשבון/חוקי חשבון חזקות|חוקי חזקות]], כך, שבמקום לרשום מספר פעמים את הספרה <math>\ 2</math> הוסיפו לחזקה שלה את מספר הפעמים שהופיע בתרגיל, כלומר, הסדרה הייתה אמורה להראות : <math> 2^{1}*(2^2+3^2)*2^2*(2^3+3^3)*2^3(2^4+3^4)*\cdots</math>. נזכור את שלב זה, זהו רמז לכך שכאשר פתור את התרגיל, יהיה עלינו [[מתמטיקה תיכונית/מתמטיקה לבגרות/פתרונות מבחני בגרות/2011 קיץ מועד א'/שאלון 006/תרגיל 2#נחשב את סכום הסדרה|לפרקו]].

===מה ה-<math>\ n</math>?===
על פי צידו השמאלי של אי השיוויון, קל לראות כי באמצעות האיבר הראשון בסדרה אפשר לגלות את מספר האיברים בה <math>\ 2^{{\color{red}n}-1}</math> הוא <math>\ 2^{101}</math> ומכאן ש <math>\ n-1=101 \Rightarrow n=100</math>. <br />
באסה, אי אפשר לחשב ידנית, כך, שאי אפשר לדעת אם טעינו בחישוב או לא.

===נחשב את סכום הסדרה===

{| class="wikitable"
| כרגע, יש לנו ערך עם הרבה נקודות, אנחנו רוצים להיפטר ממנו, בכדי שנוכל לדעת האם הוא באמת גדול מ <math>\ 5^{5150}</math>. <br />
<u>'''למה לא לפנות אל צידו השני של אי השיוויון?'''</u> <br />
* כי אין לנו מושג מה לעשות איתו ורק ניחוש יהיה יעיל (יתכן .
* הוא לא מפריע לנו, <math>\ 5^{5150}</math> ניתן לחשב אותו (טרכנית - במחשבון לא - רמז), לעומת זאת, איבר שיש בו מלא נקודות לא ניתן לחישוב
|}

כפי שצינו, נפרק את התרגיל (בדרך כלל, זה מה שקורה בהוכחה - אי שיוויון) בכדי להבין את את טיבו.  <br />
<math>
\begin{align}
\begin{array}{|c|c|} n & 2^{1+2+3+\cdots+100}(2^2+3^2)(2^3+3^3)(2^4+3^4)*\cdots*(2^{101}+3^{101})>5^{5150} \\
\hline
n=2&2^{1}(2^2+3^2)>5^{2}\\
n=3&2^{2}(2^3+3^3)>5^{3}\\
 \vdots&\vdots\\
n=101&2^{100}(2^{101}+3^{101})>5^{101}\\
\end{array}\\
&\Rightarrow 2^{2-101}*()>{\color{blue}5^{2-101}}\\
\end{align}
</math>

אם נמצא את הקשר בין המספר <math>\ 5^{2-101}</math> (קטן למשוואה) למספר <math>\ 5^{5150}</math>, נוכל לעמוד על טיב מערכת היחסים המוצגת <ref>יתכן כי הבנת שגם צידו השני של המשוואה מבטא סכום של <math>\ 5^{5150}</math> בחזקת מספרים שחוברו יחדיו (בצד הראשון לא חיברו את המספרים, בכדי שנבין את טיב המשוואה, בצידו השני, כבר ביצדו פעולת חיבור בין החזקות) וכך התקבל המספר <math>\ 5^{2-101}</math></ref>. 

נניח ולא עלינו על הערת השולים. נמצא את גודל האיבר <math>\ 5^{2-101}</math>. החזקה של האיבר היא [[מתמטיקה תיכונית/אלגברה תיכונית/סדרות/סדרות חשבוניות|סדרה חשבונית]] נעזר בנוסחא [[מתמטיקה תיכונית/אלגברה תיכונית/אינדוקציה מתמטית/מציאת הנוסחא הכללית של הסדרה|סכום סדרה]] בכדי לגלות את ערכה :<br />
<math>
\begin{align}
&s=(a_1+a_n)\frac{n}{2}\\
&s=(2+101)\frac{100}{2}\\
&S=5150\\
\end{align}
</math>

הפלא ופלא, הסכום שמצאנו שווה לסכום החזקה ומכאן שהוכחנו את הטענה.

=הערות שוליים=
<references/>
[[קטגוריה:אינדוקציה - שאלון 035306]]
[[קטגוריה:בגרות במתמטיקה, קיץ א, תשע"א (035006)]]