Ei ole olemassa positiivisia kokonaislukuja a, b sekä c jotka toteuttavat väittämän a^n+b^n=c^n jos n= >2 kuuluu ranskalaisen lakimiehen sekä matemaatikon Pierre Fermat'n suurena lauseena pidetty väittämä, jota kukaan matemaatikko maailmassa ei ole koskaan pystynyt todistamaan. Väitetään että Fermat itse kuitenkin oli tuon todistuksen kirjoittanut erään hallussaan olleen kirjan marginaaliin, mutta Fermat'n oma kappale tuosta opuksesta sitten oli kadonnut.
Syy miksi tuo väittämä on kiehtonut matemaatikoita lähes koko historian ajan siinä määrin, että David Hilbert määritteli sen yhdeksi millenium-ongelmista johtuu siitä että Fermat teki tuon ratkaisun ilman tietokoneita sekä tarvittavia matemaattisia menetelmiä, ja tuo miten kyseinen ranskalainen matemaatikko sitten päätyi tuohon ilmeisesti aikalaistensa hyväksymään ratkaisuun kiehtoi myös Hilbertiä, jonka millennium-ongelmiin löydettävä ratkaisu tuo matemaatikolle miljoona dollaria. Ja kuten tiedämme niin esimerkiksi Grigori Perelmannin kehittelemä Poincaren väittämän ratkaisu tuotti yhtälön, jolla voidaan tuottaa kaikki maailman geometriset muodot. Sen avulla voidaan rakentaa ultratarkkoja virtaussimulaatioita puhtaasti tietokoneen varaan, mikä tietenkin auttaa tuotekehityksessä.
Ja esimerkiksi ilmailuteollisuus hyötyy tästä todella paljon. Ja esimerkiksi STEALTH-lentokoneiden profiileita voidaan tuon yhtälön avulla suunnitella erittäin tehokkaasti niin, että varsinaisesti fyysisiä malleja ei ollenkaan tarvitse tuottaa, mikä parantaa sekä tietoturvaa että alentaa kustannuksia, koska prototyyppiä ei ole fyysisesti olemassa, vaan se sijaitsee tietokoneen muistissa virtuaalisena bittiavaruuteen sijoitetussa mallissa, jota voidaan muokata rajattomasti.
Comments
Post a Comment