Dowody Tech: trafiłem na mała zagwostkę, otóż nie jestem pewny kiedy mogę przekształcać tezę w celu jej udowodnienia, tzn mam zadanie: Wykaz ze dla dowolnych liczb rzeczywistych a i b prawdziwa jest nierowsc: a²+b²≥2(a−b−1) Zakładam ze tutaj mogę z niej skorzystać? Są jakieś ogólne zasady kiedy można a kiedy jie można przekształcać tezy?

ABC: znowu to samo... przekształcaj równoważnie a²−2a+1+b²+2b+1≥0 itd.

Tech: chodzi mi o to kiedy można przekształcać rownowaznie..?

Adamm: Zawsze