[spec] implicit differentiation
authorAndrew Lorimer <andrew@lorimer.id.au>
Tue, 2 Apr 2019 22:40:28 +0000 (09:40 +1100)
committerAndrew Lorimer <andrew@lorimer.id.au>
Tue, 2 Apr 2019 22:40:28 +0000 (09:40 +1100)
spec/calculus.md
index a085f3b542432402e4b3ba30ffe3514a5433695d..c2390847c889916098938a0431b7fd82a7e53440 100644 (file)
@@ -260,13 +260,25 @@ $${dy \over dx} = {{dy \over dt} \over {dx \over dt}} \> \vert \> {dx \over dt}
 
 $${d^2 \over dx^2} = {d(y^\prime) \over dx} = {{dy^\prime \over dt} \over {dx \over dt}} \> \vert \> y^\prime = {dy \over dx}$$
 
-# Rational functions
+## Rational functions
 
 $$f(x) = {P(x) \over Q(x)} \quad \text{where } P, Q \text{ are polynomial functions}$$
 
-## Addition of ordinates
+### Addition of ordinates
 
 - when two graphs have the same ordinate, $y$-coordinate is double the ordinate
 - when two graphs have opposite ordinates, $y$-coordinate is 0 i.e. ($x$-intercept)
 - when one of the ordinates is 0, the resulting ordinate is equal to the other ordinate
 
+
+## Implicit Differentiation
+
+On CAS: Action $\rightarrow$ Calculation $\rightarrow$ `impDiff(y^2+ax=5, x, y)`. Returns $y^\prime= \dots$.
+
+Used for differentiating circles etc.
+
+If $p$ and $q$ are expressions in $x$ and $y$ such that $p=q$, for all $x$ nd $y$, then:
+
+$${dp \over dx} = {dq \over dx} \quad \text{and} \quad {dp \over dy} = {dq \over dy}$$
+
+