Մաթեմատիկոսները շարունակում են ապացուցել հայտնի թեորեմները
Մաթեմատիկոսները պարբերաբար նոր ապացույցներ են ներկայացնում արդեն իսկ հայտնի պնդումների համար, ինչը պատմական խոր արմատներ ունի:
Մոտավորապես մ.թ.ա. 350 թվականին Արիստոտելը նկարագրել էր հավասարասրուն եռանկյան մի ապացուցում, որը գծեր է տանում շրջանագծի կենտրոնից դեպի նրա շրջագիծը։ Մոտ 50 տարի անց էլ Եվկլիդեսը նկարագրեց հավասարասրուն եռանկյունների վերաբերյալ մի այլ ապացույց։ 2023 թվականին իրականացված հարցումը ցույց է տվել, որ գոյություն ունի Եվկլիդեսի այս թեորեմի 200 տարբեր ապացույց, ինչը վկայում է գիտական հետաքրքրության շարունակականության մասին։ Այս երևույթը ցույց է տալիս, թե ինչպես են տարբեր դարաշրջանների գիտնականներն անդրադարձել նույն հիմնարար խնդիրներին՝ փնտրելով նոր մոտեցումներ ու լուծումներ հին հարցերի համար:
Բանաձևեր և սխալներ
Ժամանակի ընթացքում գիտնականները շարունակել են աշխատել նմանատիպ խնդիրների շուրջ՝ հաճախ ստեղծելով նոր մաթեմատիկական գործիքներ։ Լեոնարդ Էյլերը 1737 թվականին հրապարակել էր մի բանաձև, որը կապում է բոլոր թվերի գումարը պարզ թվերի արտադրյալի հետ։ Ավելի ուշ՝ 1933 թվականին, Վիլհելմ Գրունվալդը հրապարակեց մի ապացույց՝ պարզ թվերին առնչվող թվային հատկության վերաբերյալ։ Արդեն 1942 թվականին Ջորջ Վհապլեսը ներկայացրեց Գրունվալդի թեորեմի նոր ապացույցը՝ օգտագործելով բոլորովին այլ մաթեմատիկա։
Վերջին հետազոտությունները
Գիտական որոնումները երբեմն հանգեցնում են նաև նախկինում արված աշխատանքների վերլուծությանն ու սխալների բացահայտմանը։ 1948 թվականին Սիանգհաո Վանգը հայտնաբերեց մի թերություն Գրունվալդի ապացույցում՝ կոնկրետ 16 թվի մասով։ Տարիներ անց՝ 2022 թվականին, Սքոթ Վիտերին և Սայմոն ԴեԴեոն հրապարակեցին մի հոդված, որտեղ մաթեմատիկորեն ուսումնասիրվում են ապացույցների ուղիները։ Այս բոլոր փաստերը միասին բացահայտում են մաթեմատիկական միտքը և այն երկար ճանապարհը, որով հետազոտողները գալիս են արդեն հայտնի փաստերի նորովի հիմնավորմանը:
Աղբյուրներ
- New Scientist · Why do mathematicians keep proving things they already know? ·