«Այո, մաթեմատիկոսները գոհ են, որ Ֆերմատի վերջին թեորեմն ապացուցված է: Էնդրյու Ուայլսի «կիսակայուն մոդուլյարության ենթադրության» ապացույցը, նրա ապացույցի հիմնական մասը, ունի ուշադիր ստուգվել և նույնիսկ պարզեցվել է:
Ե՞րբ է ապացուցվել Ֆերմատի վերջին թեորեմը:
1630-ականներին-ում Պիեռ դե Ֆերմատը մաթեմատիկայի համար ծանր մարտահրավեր դրեց էջի լուսանցքում խզբզած նշումով:
Ֆերմատն իսկապե՞ս ապացուցեց իր վերջին թեորեմը:
Ոչ, նա չէր Ֆերմատը պնդում էր, որ գտել է թեորեմի ապացույցն իր կարիերայի վաղ փուլում: Շատ ավելի ուշ նա ծախսեց ժամանակ և ջանք՝ ապացուցելու n=4 և n=5 դեպքերը։ Եթե նա ավելի վաղ ապացույց ունենար իր թեորեմի համար, նրա համար հատուկ դեպքեր ուսումնասիրելու կարիք չէր լինի:
Ինչու Ֆերմատը չապացուցեց իր վերջին թեորեմը:
Նրա գրվածքներից քիչ են պահպանվել՝ գուշակելու համար, թե որն է այդ մեթոդը, և ապացույցը, որը նա տվել է n=4-ի համար, ոչ մի ակնհայտ ձևով չի ընդհանրացվում այլ ցուցիչների համար: Պարզապես հնարավոր չէ, որ Ֆերմատը հայտնաբերել է մի ապացույց, որը համարժեք է Ուայլսի ապացույցին:
Որքա՞ն ժամանակ պահանջվեց Էնդրյու Ուայլսից՝ ապացուցելու Ֆերմայի վերջին թեորեմը:
1993-ին, 6 տարի խնդրի վրա գաղտնի աշխատելուց հետո, Ուայլսին հաջողվեց ապացուցել բավականաչափ ենթադրություններ՝ ապացուցելու Ֆերմայի վերջին թեորեմը:
