משפט רושה

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

ניסוח המשפט

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

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

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

כעת נראה כי לכל  מתקיים . מאי שוויון המשולש ההפוך מתקיים:
.

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

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

כעת נגדיר פונקציה חדשה: . מרציפות האינטגרל  רציפה על הקטע הסגור .

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

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


הערות שוליים

רושה