Wielu uczniów i nauczycieli nie lubi zadań dowodowych i uważa je za trudne. Jednak wystarczy zauważyć, że twierdzenie jest stwierdzeniem faktu, a dowód – wyjaśnieniem, dlaczego to twierdzenie jest prawdziwe. Rozwiązując dowolne zadanie rachunkowe, wielokrotnie dowodzimy prawdziwość drobnych faktów, nawet tego nie zauważając. Dowód to każde uzasadnienie „dlaczego” coś jest prawdziwe.W tym zbiorze zajmiemy się takimi twierdzeniami, których dowody wymagają tylko dwóch kroków. Zazwyczaj jeden z tych kroków wykorzystuje podane założenia, drugi – posiadaną wiedzę matematyczną.Wiele twierdzeń ma taką formę: Twierdzenie 1. Jeśli zdanie A jest prawdziwe, to zdanie B też jest prawdziwe.Dowód takiego twierdzenia (implikacji) to wyjaśnienie, dlaczego zdanie B musi być prawdziwe, jeśli zdanie A jest prawdziwe. Dowód wprost zaczyna się od założenia, że zdanie A jest prawdziwe (w końcu piszemy „jeśli A jest prawdziwe” i to jest nasze założenie). Zresztą, jeśli zdanie A jest fałszywe, to nie mamy się czym martwić. A raczej – w takiej sytuacji – nie musimy nic robić, bo to nie ma znaczenia. A więc, przypuszczamy, że zdanie A jest prawdziwe i zapisujemy to w dowodzie jako pierwszy krok. To jest informacja, której możemy użyć w dalszych działaniach. Dalej postępujemy logicznie, krok po kroku, aż dojdziemy do stwierdzenia, że zdanie B jest prawdziwe.Ważne jest, aby takie działania zapisywać w języku polskim. Są wprawdzie znaki matematyczne, którymi można zapisać część rozumowania, ale dla czytelności takiego zapisu nie należy moim zdaniem zastąpić całkowicie języka polskiego w zapisie.Koniec rozumowania zapisujemy słowami „koniec dowodu” lub innym oznaczeniem (cbdu – co było do udowodnienia, cnd – czego należało dowieść, qed = quod erat demonstrandum lub znak końca dowodu ∎ nazywany czasem „halmosem”).