Indirekt bizonyítás definícióját lusta vagyok szépen megfogalmazni, ezért álljon itt a Chat GPT 3.5 válasza a feladatra: Az indirekt bizonyítás (más néven reductio ad absurdum) egy matematikai és logikai módszer, amely során egy állítás igazságát az ellenkezőjének feltételezésével bizonyítják. A bizonyítás folyamán azt mutatják ki, hogy az ellenkez