Кіріспе

Сандар теориясындағы Znám мәселесі, жиынтықтағы әрбір бүтін санның, жиынтықтағы басқа бүтін сандардың көбейтіндісіне 1 қосылған санның дұрыс бөлгіші болу қасиетіне ие жиынтықтарды анықтауға қатысты. Znám мәселесі 1972 жылы оны ұсынған словак математигі Штефан Знамның есімімен аталады, бірақ сол кезде басқа математиктер де осыған ұқсас мәселелерді қарастырған. Сильвестр тізбегінің алғашқы мүшелері бұл мәселенің жақыт шешімі болар еді, бірақ соңғы таңдалған мүше басқаларының көбейтіндісіне 1 қосылған санға тең болады, дұрыс бөлгіш емес. (Нақты) Znám мәселесінің әрбір Sun шешімі үшін кем дегенде бір шешім бар екені көрсетілді. Бұл шешім Сильвестр тізбегіне ұқсас рекурренттік қатынасқа негізделген, бірақ бастапқы мәндердің басқа жиынтығын қолданады. Znám мәселесі египеттік бөлшектермен тығыз байланысты. Кез келген белгілі сан үшін тек шекті санда ғана шешімдер бар екені белгілі. Знам мәселесін тек тақ сандарды қолдана отырып шешуге бола ма, әлі белгісіз, және тағы да бірнеше ашық сұрақтар бар.

Тарих

Znám проблемасы словак математигі Штефан Знамның есімімен аталған, ол оны 1972 жылы ұсынған. есімді математиктер Znám-ға тәуелсіз түрде , және үшін дұрыс емес Znám проблемасын қойған, ал барлық шешімдерін тапқан. , Znám проблемасының үшін шешілмейтінін көрсетті және оның шешімін тапқандығы үшін Й. Янақтың еңбегін атап өтті.

Мысалдар

Сильвестрдің тізбегі – әрбір мүшесі алдыңғы мүшелердің көбейтіндісіне 1 қосылғаннан құралатын бүтін сандар тізбегі. Тізбектің алғашқы бірнеше мүшелері:

Тізбені ерте тоқтату, Znám проблемасының шарттарына жақындасқан жиынды тудырады, бірақ ең үлкен мән нақты бөлгіш емес, қалған мүшелердің көбейтіндісіне тең болады. Осылайша, бұл дұрыс емес Znám проблемасының шешімі, бірақ дәстүрлі түрде анықталған Znám проблемасының шешімі емес. Znám проблемасының бір шешімі, үшін, мынаны көрсетеді:

3 × 7 × 47 × 395 + 1 = 389866, бұл 2-ге бөлінеді, бірақ тең емес, 2 × 7 × 47 × 395 + 1 = 259911, бұл 3-қа бөлінеді, бірақ тең емес, 2 × 3 × 47 × 395 + 1 = 111391, бұл 7-ге бөлінеді, бірақ тең емес, 2 × 3 × 7 × 395 + 1 = 16591, бұл 47-ге бөлінеді, бірақ тең емес, және 2 × 3 × 7 × 47 + 1 = 1975, бұл 395-ке бөлінеді, бірақ тең емес.