یه اثبات فوق العاده. گر چه به درد المپیاد نمی خوره ولی چون خیلی حد اقل برای خودم شگفت انگیزه گفتم بد نیست بگمش. اثبات رو از جایی بازنویسی می کنم.
برهان خلف می زنیم. فرض کنید ریشه نداره. لذا تابع پیوسته ی
به صورت زیر در تمام نقاط قابل تعریفه.(S[SUP]
1[/SUP] مرز دایره واحده)
حالا فرض کنید S دیسکی به مرکز مبدا مختصات صفحه ی مختلط و شعاع به اندازه ی کافی بزرگ R باشد. طبق قضیه ای(غیر مقدماتی) می دانیم درجه ی(عدد چرخش) f روی S صفره.
اما می دانیم اگر z عددی باشد با نرم خیلی بزرگ آنگاه
پس اگر z نقطه ای روی مرزSباشد آنگاه این دو عدد مختلط که هر دو روی دایره واحد اند خیلی به هم نزدیکند. اما به راحتی می توان دید عدد چرخش سمت راست رابطه یعنی
برابر n است. که با فرض صفر بودن عدد چرخش سمت چپ که همان f است در تناقض است و اثبات تمام است.
پ.ن: عدد چرخش یا درجه ی یه تابع از مرز یه دایره به مرز یه دایره ی دیگه به طور نادقیق و شهودی یعنی وقتی x روی دامنه یک دور می چرخه اونوقت f(x) روی برد چند دور میچرخه.