Vi finner stigningstallet til sekanten gjennom $(-1,p(-1))$ og $(3,p(3))$, og sammenligner med $p^{\prime }(1)$, i CAS.

Fra utklippet:

Videre er $p^{\prime }(x)=2x+3$, slik at

Siden $m_{\text{sekant}}=p^{\prime }(1)=5$, har sekanten og tangenten i $(1,3)$ samme stigningstall. De er derfor parallelle.

Vi lar $q(x)=a\cdot x^2+b\cdot x+c$ og bruker CAS til å derivere $q$ og til å forenkle den symmetriske differenskvotienten $\mathrm{DK}(x,h)={\displaystyle \frac{q(x+h)-q(x-h)}{2h}}$ (samme utklipp som over, linje 7–10).

Fra utklippet:

Siden begge uttrykkene forenkles til $2ax+b$ uavhengig av $h$ (så lenge $h\ne 0$), har vi vist at

for alle $x$ og alle $h\ne 0$.