Twierdzenie Rozjechania

Twierdzenie Rozjechania

Twierdzenie Rozjechania – jedno z podstawowych twierdzeń w dziale matematyki dyskretnej zajmującym się dowodzeniem twierdzeń. Obok dowodu indukcyjnego stanowi jedno z najczęściej stosowanych narzędzi do analizy poprawności hipotez.

W przeciwieństwie do dowodu indukcyjnego, twierdzenie rozjechania służy wyłącznie do wykazywania fałszywości rozważanego przykładu. Oznacza to, że jego zastosowanie nie potwierdza prawdziwości hipotezy, lecz może jednoznacznie wskazać jej błędność.

Jeżeli twierdzenie zostanie zastosowane z wynikiem pozytywnym, dana hipoteza uznawana jest za „ROZJECHANĄ”, co w praktyce oznacza, że jest fałszywa i nie nadaje się do dalszego wykorzystania.

Geneza

Twierdzenie zostało wynalezione w 1567 roku przez nieznanego z imienia filozofa pochodzącego z okolic Kielc. Według dostępnych źródeł, w pracach nad jego opracowaniem uczestniczył również Andrzej Marciniak, który miał odpowiadać za zapewnienie stabilności numerycznej działania twierdzenia.