יתדון

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש
יתדון טטרגונלי
יתדון רומבי

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

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

חבורת הסימטריות של היתדון הרומבי היא חבורת הארבעה של קליין, והיא מאפשרת החלפה (יחידה) של כל זוג קודקודים. ליתדון הטטרגונלי יש אותן סימטריות מרחביות, אבל גם סימטריית שיקוף (שבגינה חבורת הסימטריות דיהדרלית, עם שמונה איברים). (חבורת הסימטריות המרחביות של הארבעון המשוכלל היא חבורת התמורות הזוגיות \ A_4, ועם שיקופים מתקבלת החבורה הסימטרית \ S_4).

תיאור אנליטי[עריכת קוד מקור | עריכה]

נסמן ב-\ v_1,v_2,v_3 את וקטורי הצלעות היוצאות מקודקוד שנקבע בראשית הצירים. שאר הווקטורים הם \ v_1-v_2,v_2-v_3,v_3-v_2. חפיפת הפאות מאלצת אורכים שווים, כגון \ ||v_1||=||v_2-v_3||, ומכאן נובעים השוויונים \ ||v_i||^2=v_i \cdot(v_j+v_k) לכל i,j,k שונים. פתרון המשוואות מאפשר לתאר את המכפלות המעורבות על-פי ארכי הצלעות: \ v_i \cdot v_j = \frac{1}{2}(||v_i||^2+||v_j||^2-||v_k||^2).

התנאי היחיד לקיום וקטורים \ v_1,v_2,v_3 עם מטריצה סימטרית \ (v_i\cdot v_j)_{i,j} נתונה של מכפלות פנימיות הוא שזו תהיה מטריצה חיובית לחלוטין. אם מניחים \ ||v_i||=a_i עבור \ a_1,a_2,a_3 המקיימים את אי-שוויון המשולש \ a_k<a_i+a_j (לכל סידור של המקדמים), אז הדטרמיננטות של המינורים הראשיים, \ a_1^2, \frac{1}{4}\sum_{i,j,k}(a_i+a_j-a_k)(a_i+a_k-a_j), \frac{1}{2}\prod(a_i+a_j-a_k), כולן חיוביות. מכאן שלכל משולש P יש יתדון שפאותיו חופפות ל-P.

המשוואות היסודיות מראות גם שאת הווקטורים \ v_1,v_2 אפשר להשלים ליתדון, אם ורק אם \ v_1 \cdot v_2 \leq \min\{||v_1||^2,||v_2||^2\}.

המקבילון הנוצר[עריכת קוד מקור | עריכה]

המקבילון הנוצר על ידי יתדון טטרגונלי

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

ראו גם[עריכת קוד מקור | עריכה]