Hogyan lehetne ezt belátni?

Ha van egy Ax^3+Bx^2+Cx+D alakú függvényed, ahol A=/=0, akkor deriválás után ezt kapod:

3Ax^2+2Bx+C, ha ide beírjuk az (a+b)/2 pontot, akkor megkapjuk az egyenes meredekségét.

Ha beírod a függvénybe az (a+b)/2 pontot, akkor a függvény egy pontját kapod. Felírod annak, és a (c;0) pontnak a koordinátáira a vektort, majd megnézed annak a meredekségét. Ha megegyezik a fenti meredekséggel (vagy az ellentettjével), akkor igaz, egyébként nem.