لم:برای تابع اگر ضربی باشد انگاه ضربی میشود.(اثبات این تو میرزاخانی هست )حال اگر تعریف کنیم که این تابع ضربی است انگاه ضربی میشود.
حال با مقایسه طرفین بدست میاید که n باید حداکثر 2 عامل اول باید داشته باشد بعد میتوان توان عاملها را محدود کرد و جواب را بدست اورد.
براحتی بدست میاید که A مرکز دایره SKN و B مرکز SLM است.و این دو دایره بر هم مماس خارجی اند و B روی محور اصلی این دو دایره میباشد.با انعکاسی به مرکز B و با ثابت قوت نسبت به دو دایره K و L ثابت مانده و E و F به N و M تبدیل میشوند.حال کافی است ثابت کنیم KLMN محاطی است.از ایجا به بعد چیزی جز...
فرض کنید متناوب است و دوره تناوب ان k میباشد.
داریم (پس x گویاست)
و هم چنین داریم حال با ثابت نگهداشتن مخرج میتوان نوان x را افزایش داد و اگر مخرx را a فرض کنیم باید (برای هر n طبیعی) صحبح شود پس x باید صحیح شود
تناقض.
x_1<x_2<...<x_k<x_k+1<=2k
اگر هیچ x_i برابر k نباشد به پیمانه k در نظر میگیریم بنا بر اصل لانه کبوتری ...
اگر وجود داشته باشد و x_k+1 برابر 2k شود ....
و اگر کوچکتر از 2k باشد همه را به جز x_i=k به پیمانه k و بعد لانه کفتری ....!