فرمول را در بالا مي بينيد. دو مطلب زير را ثابت مي كنم.
(1) براي m هايي كه 2m+1 اول است داريم: H(m)=2m+1
(2) برايm هايي كه 2m+1 اول نيست داريم : H(m)=2
اگر دورابطه بالا براي تابع H ثابت شود به سادگي مي توان نتيجه گرفت كه H فقط غدد اول توليد مي كند و همه اعداد اول را نيز توليد مي كند.
دو لم براي اثبات روابط يك ودو مي گويم.
لم يك.
قضيه ويلسون:براي هر عدد اول n داريم:
عكس قضيه ويلسون:اگر براي عدد طبيعي n>1 داشته باشيم:
انگاه n عددي اول است.
لم دو.فرض كنيد x عددي حقيقي ومثبت باشد:
اگر x طبيعي باشد:
و اگر x طبيعي نباشد:
لم يك كه قضيه ويلسون و عكس ان است.
در لم دو وقتي x طبيعي است با توجه به اينكه x با جز صحيح x برابر است داريم:
وقتي xطبيعي نيست داريم:
حالا روابط (1),(2) را ثابت مي كنم:
(1):فرض كنيد m عددي باشد كه 2m+1 اول است.پس طبق قضيه ويلسون ازلم يك براي عدد اول 2m+1 داريم:
پس
عددي طبيعي است و طبق لم دو داريم:
پس:
(2):فزض كنيد m عددي باشد كه 2m+1 اول نباشد.پس طبق عكس قضيه ويلسون از لم يك:
عددي طبيعي نيست و طبق لم دو :
پس:
اين هم يك فرمول مشابه:
البته اين فرمولها ارزشي ندارند!