Prawf trwy ollwng

Gofal! Bathiad yw'r term hwn, gan nad oes, hyd y gwyddus, derm Cymraeg am Proof by exhaustion.
Un o'r dulliau o brofi (neu wrthbrofi) datganiad mathemategol yw prawf trwy ollwng.

Mewn mathemateg, mae mae'r casgliad yn cael ei sefydlu trwy ei rannu nifer gyfyngedig ('meidraidd') o weithiau, gan brofi pob un ar wahân. Gall nifer yr achosion weithiau fod yn enfawr. Er enghraifft, roedd y prawf cyntaf o'r 'pedwar theori lliw' yn brawf trwy ollwng â 1,936 o achosion. Roedd y prawf hwn yn ddadleuol oherwydd bod y rhan fwyaf o'r achosion yn cael eu gwirio gan raglen gyfrifiadurol, nid â llaw. Mae'r prawf byrraf a adnabyddir o'r pedwar lliw theorem (a wnaed yn 2011) yn 600 o achosion..

Mae hwn yn fath o brawf uniongyrchol (gweler uchod).

Mae prawf trwy ollwng yn cynnwys dau gam:

 Prawf bod y set o achosion yn golygu fod pob achos o'r datganiad sydd i'w brofi'n cyd-fynd ag amodau o leiaf un o'r achosion.
 Prawf o bob un o'r achosion.

Mewn theori, gellir defnyddio'r prawf trwy ollwng pryd bynnag y bydd nifer yr achosion yn gyfyngedig (neu'n 'feidraidd'; finite). Fodd bynnag, gan fod y rhan fwyaf o setiau mathemategol yn anfeidraidd, anaml iawn y defnyddir y dull hwn i gael canlyniadau mathemategol.

Cyfeiriadau

Categori:Profion mathemategol