יתדון

יתדון טטרגונלי

יתדון רומבי

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

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

חבורת הסימטריות של היתדון הרומבי היא חבורת הארבעה של קליין, והיא מאפשרת החלפה (יחידה) של כל זוג קודקודים. ליתדון הטטרגונלי יש אותן סימטריות מרחביות, אבל גם סימטריית שיקוף (שבגינה חבורת הסימטריות דיהדרלית, עם שמונה איברים). (חבורת הסימטריות המרחביות של הארבעון המשוכלל היא חבורת התמורות הזוגיות ${\displaystyle \ A_{4}}$, ועם שיקופים מתקבלת החבורה הסימטרית ${\displaystyle \ S_{4}}$).

תיאור אנליטי

נסמן ב-${\displaystyle \ v_{1},v_{2},v_{3}}$ את וקטורי הצלעות היוצאות מקודקוד שנקבע בראשית הצירים. שאר הווקטורים הם ${\displaystyle \ v_{1}-v_{2},v_{2}-v_{3},v_{3}-v_{2}}$. חפיפת הפאות מאלצת אורכים שווים, כגון עיבוד הנוסחה נכשל (שגיאת המרה. השרת ("https://en.wikipedia.org/api/rest_") השיב: "Cannot get mml. Server problem."): {\displaystyle \ ||v_{1}||=||v_{2}-v_{3}||} , ומכאן נובעים השוויונים עיבוד הנוסחה נכשל (שגיאת המרה. השרת ("https://en.wikipedia.org/api/rest_") השיב: "Cannot get mml. Server problem."): {\displaystyle \ ||v_{i}||^{2}=v_{i}\cdot (v_{j}+v_{k})} לכל i,j,k שונים. פתרון המשוואות מאפשר לתאר את המכפלות המעורבות על-פי ארכי הצלעות: עיבוד הנוסחה נכשל (שגיאת המרה. השרת ("https://en.wikipedia.org/api/rest_") השיב: "Cannot get mml. Server problem."): {\displaystyle \ v_{i}\cdot v_{j}={\frac {1}{2}}(||v_{i}||^{2}+||v_{j}||^{2}-||v_{k}||^{2})} .

התנאי היחיד לקיום וקטורים ${\displaystyle \ v_{1},v_{2},v_{3}}$ עם מטריצה סימטרית עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \ (v_i\cdot v_j)_{i,j}} נתונה של מכפלות פנימיות הוא שזו תהיה מטריצה חיובית לחלוטין. אם מניחים עיבוד הנוסחה נכשל (שגיאת המרה. השרת ("https://en.wikipedia.org/api/rest_") השיב: "Cannot get mml. Server problem."): {\displaystyle \ ||v_{i}||=a_{i}} עבור ${\displaystyle \ a_{1},a_{2},a_{3}}$ המקיימים את אי-שוויון המשולש עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \ a_k<a_i+a_j} (לכל סידור של המקדמים), אז הדטרמיננטות של המינורים הראשיים, ${\displaystyle \ 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.

המשוואות היסודיות מראות גם שאת הווקטורים עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \ v_1,v_2} אפשר להשלים ליתדון, אם ורק אם עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \ v_1 \cdot v_2 \leq \min\{||v_1||^2,||v_2||^2\}} .

המקבילון הנוצר

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

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

ראו גם

• מקבילון