Dowodzenie Jumper: Wykaż, że dla dowolnych liczb rzeczywistych a i b zachodzi nierówność 2a²+3b²≥4a+6b−5

Metis: 2a²+3b²≥4a+6b−5 2a²−4a+3b²−6b+5≥0 2(a²−2a)+3(b²−2b)+5≥0 2(a−1)²−2+3(b−1)²−3+5≥0 2(a−1)²+3(b−1)²≥0 Zapisz komentarz,założenie, teza, kwantyfikatory itd.