Czasami założenie w twierdzeniu jest bardzo ogólne (np. Jeśli liczba $a$ jest dodatnia, to...), zaś teza ma postać rozbudowanej zależności algebraicznej. Dowodzenie takiego twierdzenia metodą wprost jest wówczas bardzo utrudnione, ponieważ zwykle nie wiemy, jak zacząć pracować z założeniem, aby drogą kolejnych kroków rozumowania dojść do tezy. W tym materiale pokażemy, jak w takim przypadku można postąpić.

Materiał zawarty w tej lekcji jest materiałem nadobowiązkowym, więc jeśli nie interesuje Cię ta tematyka, możesz po prostu lekcję pominąć. Ale pamiętaj, że umiejętność dowdzenia twierdzeń jest wymagana na maturze!