הוכחות מתמטיות/חשבון אינפיניטסימלי/גבולות, סדרות ורציפות/גבולות/הגבול של sin(x)/x

מתוך ויקיספר, אוסף הספרים והמדריכים החופשי
משפט

הערה: למשפט זה אין ערך רב כשלעצמו, אך הוא משמש כבסיס לרוב האנליזה הטריגונומטרית.

בניית העזר הבסיסית

בסיס ההוכחה[עריכה]

הן ההוכחה מבוססת האורך והן ההוכחה מבוססת השטח משתמשות באותה בניית עזר, ופועלות להשגת מטרה משותפת: הוכחת אי-השוויון עבור חיובי וקטן.

לאחר מכן מחלקים את אי-השוויון ב- ועל-ידי העברות אגפים מתקבל אי-השוויון , ומכאן (תוך שימת לב לכך שהחלפת ב- אינה משנה את המנה) הגבול המבוקש נובע על-פי כלל הסנדוויץ'.

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

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

הוכחה מבוססת שטח[עריכה]

בגישה זו, ההוכחה מתבצעת על-ידי השוואת שטחי המשולש , הגזרה (התחומה על-ידי הרדיוסים ו- והקשת ) והמשולש .

שטח המשולש הוא (מחצית מכפלת בצלע שאורכה יחידה). בצורה דומה, שטח המשולש הגדול יותר, , הוא .

החישוב המרכזי הוא זה של שטח הגזרה , ובו טמונה מורכבות ההוכחה. בשל הסימטריה של המעגל, שטח של גזרה הנשענת על זוית רדיאנים מהווה משטח המעגל הכולל. על כן, אם ידוע כי שטח מעגל היחידה הוא , הרי ששטח הגזרה הוא .

מכיון שבבירור המשולש מוכל בגזרה שמוכלת במשולש מתקבל על-ידי השוואת שטחיהם אי-השוויון וממנו נובעת התוצאה המבוקשת.

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

הוכחה מבוססת אורך[עריכה]

חלוקת הקשת לקשתות משנה, והקטעים המתאימים להן

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


כעת, כיון ש- ישר-זוית, מתקיים , אבל מכיון שהקשת שאורכה מחברת את הנקודות שהמרחק ביניהן . בכך סיימנו להוכיח את חלקו השמאלי של אי-השוויון.

השוואת קטעים

כדי להוכיח את אי-השוויון באגף ימין, נבחין כי . נראה שהקשת קצרה מן הקטע .

נניח שהנקודות פזורות לאורך הקשת ומסודרות לפי קרבתן ל- .

נעביר את הרדיוסים מהנקודה אל הנקודות האלה, ונמשיך אותם עד שיפגשו בקטע . את נקודות המפגש נסמן .

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

מכאן ברור ש- . כשמסכמים את אי-השוויונים האלה, מתקבל כדרוש.