אי-שוויון המשולש

מתוך המכלול, האנציקלופדיה היהודית
קפיצה לניווט קפיצה לחיפוש
Triangle inequality.svg

במתמטיקה, אי־שוויון המשולש הוא אי־שוויון מהצורה , כאשר היא פונקציית מרחק.

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

הגרסה החזקה נקראת אי־שוויון המשולש למטריקות לא־ארכימדיות.

אי־שוויון המשולש בין מספרים ממשיים

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

גרסה נוספת של אי־שוויון המשולש היא .

הוכחה פורמלית

אם חיוביים אז . אם שניהם שליליים אז .

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


הוכחה משנית

לכל מתקיים וגם . לכן .

נכפיל ב־2, נוסיף ביטויים מתאימים לשני האגפים ונקבל

המקרה המרוכב

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

אי־שוויון המשולש במרחבים מופשטים

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

הצד השני של אי־שוויון המשולש, אותו ניתן להוכיח על ידי העברת אגפים, הוא .

ראו גם