
którą metoda, spośród podanych ostatnio u nas na zajęciach najlepiej rozwiązać to zadanie? Jak miałoby wyglądać owe rozwiązanie.
W odpowiedziach (link) jest przykładowe rozwiązanie do tego zadania, które mnie zdziwiło. Zawsze myślałem, że tezy nie ruszamy, jeśli już to możemy ją przekształcić ale bez wykorzystywania/podstawiania założeń. A tam jest tak, że wrzucamy do tezy założenia i dalej rozwiązujemy. Jeśli dobrze myślę, to jest to przecież to samo jakbyśmy w zadaniu 2020.8 wzięli sobie z tezy a=2b i podstawili do założenia a^2 + 2a = 4b^2 + 4b, a przecież tak nie można. Dlaczego w tym zadaniu jest to uznawane za poprawne?
Zadania dowodowe polegają na tym by wykorzystać założenia w dowodzie tezy, więc możemy podstawiać założenia do tezy którą chcemy udowodnić, bo traktujemy założenia jako prawdę nam znaną.
To tezy nie można podstawiać do założeń, bo tezę musimy udowodnić czyli nie wiemy czy jest poprawna, a założenia są z założenia poprawne.
Najlepiej tak to zrobić: