mmath گفت
من فقط n=1 در اوردم
(گفته حداقل ...)
بعدشم تابعش که تابلو بود !! قسمت باحال سوال پیدا کردن همه تابع ها است ... (راهنمایی : اتحاد Lagrange)
تمام توابع غیرثابت f همونجوری هستن که نوشتم (البته اگه بازم سوتی نداده باشم! )
راه من اینجوریه :
راحت میشه دید مقدار f یا صفره یا یک. حالا (چه برای n = 1، چه برای n = 2)
داریم
و
که با استقرا نتیجه میده اگه k عامل اولی به شکل 4k+3 نداشته باشه، اونوقت f(k) = 1 و
اگه n =1 داریم
که نتیجه میده
دقیقا یه عدد اول p هست که f(p) = 0
اگه n = 2 هم نتیجه میگیریم مجموعه S از اعداد اول به شکل 4k+3 وجود داره که f(t) = 0 اگر و
فقط اگر t بر حداقل یکی از اعضای S بخشپذیر باشه.
(راستی، سوتی داده بودم !!! مجموعهی S لزوما متناهی نیست ولی من فرض کرده بودم متناهیه)
راه حل شما چه جوریه ؟