עקום אליפטי
עקום אליפטי הוא סוג של עקומה מתמטית. עקומה היא קו או צורה המוגדרים על ידי משוואה. עקומים אליפטיים חשובים בלימוד המתמטיקה. על העקומה אפשר "להוסיף" נקודות. נקודת האינסוף היא האפס של הפעולה הזו. כלל פשוט קובע: אם ישר חותך את העקום בשלוש נקודות אז שלושתן קשורות ביחד. אם הישר משיק, אז נקודה נחשבת פעמי...
הצפנה מבוססת עקום אליפטי
הצפנה בעקום אליפטי היא דרך להצפין מידע. עקום אליפטי הוא צורה מתמטית שנראית כמו עקומה מיוחדת. השיטה משתמשת בנקודות על העקום. הרעיון הופיע בשנות ה-80. מאז חוקרים משתמשים בו כדי לשמור סודות במחשבים וטלפונים. עקום אליפטי מוגדר על ידי משוואה. הנקודות שעונות עליה יוצרות קבוצה שאפשר לחבר ביניהן. יש נקודה...
עקום אלגברי
עקום אלגברי הוא צורה במתמטיקה שממד שלה הוא 1. זה אומר שהיא דומה ל"קו" מתמטי. בדרך כלל רוצים שהיא לא תתפרק לחלקים קטנים. עקום שלם הוא עקום מלא וסגור. עקום חלק הוא עקום בלי נקודות בעייתיות. לכל עקום חלק אפשר להוסיף כמה נקודות כדי לקבל עקום שלם. ההשלמה הזאת ייחודית. לכל עקום שלם חלק יש מספר בשם גנוס....
עקום פרמה
עקום פרמה הוא צורה מתמטית שמוגדרת על ידי המשוואה X^n+Y^n=Z^n. קואורדינטות הומוגניות הן שלושה מספרים X:Y:Z שמראים מיקום על מישור מיוחד. אם בוחרים Z=1 מקבלים את המשוואה הפשוטה x^n+y^n=1. משפט פרמה קובע שאין פתרונות במספרים שלמים ל־a^n+b^n=c^n כאשר n גדול מ־2. מספרים שלמים הם מספרים בלי שברים. העקום חל...
בעיית הלוגריתם הבדיד
בעיית הלוגריתם הבדיד היא למצוא מספר x כך ש-g^x = h בתוך קבוצת מספרים סופית. זה קשה יותר מלוגריתם רגיל. חבורה ציקלית היא קבוצה של איברים שמתקדמים בחזקות. יוצר (פרימיטיבי) הוא איבר שיוצר את כל הקבוצה כאשר מעלים אותו בחזקות. עם המספר הראשוני p=97, יש קבוצה \mathbb{Z}_{97}^*. אם g=5 ו-h=35, אז 5^{32} ...
השערת ברץ' וסווינרטון-דייר
השערת ברץ' וסווינרטון-דייר היא רעיון גדול במתמטיקה. היא נכתבה ב-1963 על ידי ברץ' וסווינרטון-דייר. זהו אתגר חשוב שהמכון קליי סימן כ"מילניום". עקום אליפטי הוא משוואה מיוחדת שיוצרת עקומה. נקודות עם מספרים רציונליים הן הפתרונות שהמתמטיקאים בוחנים. ההיטל אומר שבודקים את העקום עם קבוצת מספרים קטנה. חוק ח...
פרוטוקול דיפי-הלמן
דיפי־הלמן הוא דרך לשני אנשים לשתף סוד בלי להיפגש. אנשים אלה שולחים מספרים בערוץ פתוח. המאזין רואה חלק מהמסרים אך לא יכול לדעת את הסוד. הרעיון הוצג ב־1976. זה היה צעד גדול בהצפנה הציבורית. שני הצדדים בוחרים מספרים סודיים. כל אחד מחשב ערך משלו ושולח אותו. אחרי שקיבלו אחד מהשני, כל אחד עושה חישוב ...
אנדרו ויילס
אנדרו ויילס נולד ב־1953. הוא מתמטיקאי בריטי שמלמד בארצות הברית. הוא פתר בעיה ידועה בשם המשפט האחרון של פרמה. כשהיה בן עשר מצא ויילס ספר על המשפט הזה. הוא ניסה לפתור את הבעיה אפילו אז. הבעיה קשורה לעצמים מתמטיים שנקראים עקומים אליפטיים. עקום אליפטי הוא צורה מיוחדת של גרף מתמטי. יש גם תבניות מודולרי...
יריעת קאלאבי-יאו
יריעות קאלאבי-יאו הן צורות מיוחדות בגאומטריה. "יריעה" כאן אומרת "צורה חלקה". הן נחשבות חשובות כי יש להן תכונה מתמטית מיוחדת. בשנת 1957 הציע מתמטיקאי בשם קאלאבי רעיון על צורות כאלה. בשנת 1977 יאו הוכיח שהוא צודק. באופן פשוט, יריעה כזו היא צורה חלקה וסגורה שיש עליה "תבנית עליונה הולומורפית". זה אומר...
המשפט האחרון של פרמה
פייר דה פרמה, מתמטיקאי מהמאה ה-17, כתב שאין פתרון למשוואה x^n+y^n=z^n כאשר n גדול מ-2. זה נקרא "המשפט האחרון של פרמה". הוא אמר שיש לו הוכחה, אבל לא השאיר אותה. כמה מתמטיקאים הוכיחו את הטענה במקרים מסוימים. למשל פרמה הראה את n=4, אוילר הראה את n=3, ועוד הוכיחו מקרים נוספים. הוצעו פרסים כדי לעודד ...
משפט המודולריות
משפט המודולריות (טניאמה-שימורה) אומר שיש קשר בין שתי רעיונות במתמטיקה. עקום אליפטי הוא צורה מתמטית. תבנית מודולרית היא פונקציה עם חוקיות מיוחדת. המשפט אומר שלכל עקום אליפטי שמוגדר על המספרים הרציונליים, יש קשר לתבנית מודולרית. יש גם קשר בין פונקציית L של העקום, שהיא סדרת מספרים, לתבנית זו. הרעיו...
צופן אל-גמאל
אל-גמאל היא שיטה להצפין הודעות. היא הומצאה ב-1984 על ידי טאהר אל-גמאל. אליס בוחרת מספר גדול שנקרא p ופרמטר g. היא בוחרת מספר סודי a. היא מחשבת A=g^a ומפרסמת את A. A הוא המפתח הציבורי. כדי לשלוח הודעה, בוב בוחר מספר סודי חד-פעמי k. הוא עושה שני חישובים וקבל זוג מספרים. הוא שולח את הזוג לאליס. אליס מ...