In matematica, un controesempio viene utilizzato per confutare un'affermazione. Se vuoi dimostrare che un'affermazione è vera, devi scrivere una prova per dimostrare che è sempre vera; fare un esempio non è sufficiente. Rispetto alla scrittura di una prova, scrivere un controesempio è molto più semplice; se si desidera dimostrare che un'istruzione non è vera, è necessario fornire solo un esempio di uno scenario in cui l'istruzione è falsa. La maggior parte dei controesempi in algebra comporta manipolazioni numeriche.
Due classi di matematica

La scrittura di prove e la ricerca di controesempi sono due delle classi primarie di matematica. La maggior parte dei matematici si concentra sulla correzione di bozze per sviluppare nuovi teoremi e proprietà. Quando affermazioni o congetture non possono essere dimostrate vere, i matematici le confutano dando controesempi.
I controesempi sono concreti

Invece di usare variabili e notazioni astratte, puoi usare esempi numerici per confutare un argomento. Nell'algebra, la maggior parte dei controesempi comporta la manipolazione utilizzando diversi numeri positivi e negativi o pari e dispari, casi estremi e numeri speciali come 0 e 1.
Un controesempio è sufficiente

La filosofia del controesempio è che se in uno scenario l'istruzione non è vera, quindi l'istruzione è falsa. Un esempio non matematico è "Tom non ha mai detto una bugia". Per dimostrare che questa affermazione è vera, devi fornire una "prova" che Tom non abbia mai detto una bugia seguendo tutte le dichiarazioni che Tom ha mai fatto. Tuttavia, per confutare questa affermazione, devi solo mostrare una bugia che Tom abbia mai pronunciato.
Esempi famosi

"Tutti i numeri primi sono dispari." Sebbene quasi tutti i numeri primi, compresi tutti i numeri primi sopra 3, siano dispari, "2" è un numero primo che è pari; questa affermazione è falsa; "2" è il controesempio pertinente.

"La sottrazione è commutativa." Sia l'addizione che la moltiplicazione sono commutative: possono essere eseguite in qualsiasi ordine. Cioè, per qualsiasi numero reale a e b, a + b \u003d b + a e a * b \u003d b * a. Tuttavia, la sottrazione non è commutativa; un controesempio che dimostra questo è: 3 - 5 non è uguale a 5 - 3.

"Ogni funzione continua è differenziabile." La funzione assoluta |

x |

 è continuo per tutti i numeri positivi e negativi; ma non è differenziabile in x \u003d 0; dal |

x |

 è una funzione continua, questo controesempio dimostra che non tutte le funzioni continue sono differenziabili.