Why Collecting Terms Carefully Matters
When differentiating an implicit equation, \(y\) depends on \(x\), so the chain rule produces terms containing \(\frac{dy}{dx}\). Sometimes those terms appear in several places, including on both sides of the equation. The derivative is not isolated until all of its terms have been collected and their shared factor has been made explicit.
This step is algebra, but it is algebra with an important consequence: an incorrect sign or an unjustified division can change the derivative or make an expression appear to exist where it does not. A reliable method is to move all derivative terms to one side, move all remaining terms to the other, factor \(\frac{dy}{dx}\), and then check whether its coefficient is nonzero before dividing.
A General Form for Collecting Derivative Terms
Write \(y'=\frac{dy}{dx}\) as a compact alternative for the derivative. Suppose differentiation has produced an equation of the form
Here \(A,B,C,\) and \(D\) stand for expressions that do not contain \(y'\). Subtract \(C(x,y)y'\) from both sides and subtract \(B(x,y)\) from both sides. The result is
If \(A(x,y)-C(x,y)\ne 0\), divide both sides by that coefficient to obtain
The subtraction order matters. The coefficient of \(y'\) is the left-side coefficient minus the right-side coefficient. The terms without \(y'\) are moved in the opposite direction, so their new right-side expression is \(D-B\).
Why the Method Works
The reasoning is the ordinary algebraic rule for solving a linear equation in one unknown. At a particular point on an implicitly defined curve, regard \(x\) and \(y\) as fixed values and regard \(y'\) as the quantity to solve for. An equation \(K y'=R\) has the unique solution \(y'=R/K\) if \(K\ne 0\). Multiplying that proposed solution by \(K\) gives \(K(R/K)=R\), so it satisfies the equation. Uniqueness follows because if both \(u\) and \(v\) satisfy \(Ku=R\) and \(Kv=R\), then \(Ku=Kv\), and \(K\ne0\) implies \(u=v\).
In the general form above, \(K=A-C\) and \(R=D-B\). This explains both the rearrangement and the condition on division: if \(A-C=0\), division by that expression is not allowed. The collected equation then becomes \(0\cdot y'=D-B\). If \(D-B\ne0\), the equation is inconsistent at that point; if \(D-B=0\), it does not determine a unique value of \(y'\). Either way, the usual quotient formula cannot be used there.
A Reliable Collection Process
Use the following sequence whenever \(\frac{dy}{dx}\) occurs more than once. Keep each sign attached to its term while moving terms; do not change signs merely because a term looks complicated.
Identify each term that contains \(y'\), including terms such as \(x y'\) or \(-3y'\).
Choose a side and subtract or add each term on both sides. Write the sign of each term after the move.
Use the same add-or-subtract operation on both sides, so the equality is preserved.
Combine its coefficients and display their difference as one coefficient multiplying \(y'\).
Confirm that the coefficient is nonzero before dividing, then substitute the result into the collected equation.
Worked Examples
In each example, the displayed equation is the result after differentiating an implicit equation. The task here is specifically to collect and isolate its derivative terms.
Worked Example: A Derivative Term on Each Side
Suppose the differentiated equation is \(2x y' + 3y' = 4x-1\). Collect the derivative terms and find \(y'\). Then check the result at \(x=1\).
Both derivative terms are already on the left. Factor out their common factor \(y'\):
Therefore the equation becomes
Division is valid when \(2x+3\ne0\), or \(x\ne-\frac{3}{2}\). For those values,
At \(x=1\), the coefficient is \(2(1)+3=5\), which is nonzero, and the right side is \(4(1)-1=3\). Thus \(y'=\frac{3}{5}\). Substituting this value into the original differentiated equation at \(x=1\) gives \(2(1)\left(\frac35\right)+3\left(\frac35\right)=\frac65+\frac95=3\), matching \(4(1)-1=3\).
Worked Example: Moving Terms Without Losing a Sign
Suppose differentiation gives \(5-2y'=3x y'-4\). Solve for \(y'\), and check at \(x=1\).
Add \(2y'\) to both sides. This removes the negative derivative term on the left and adds it to the derivative term on the right:
Add \(4\) to both sides, then factor \(y'\):
The coefficient is nonzero when \(3x+2\ne0\), or \(x\ne-\frac23\). Therefore
At \(x=1\), \(3x+2=5\), so \(y'=\frac95\). Check by substitution into the original equation: the left side is \(5-2\left(\frac95\right)=\frac{25}{5}-\frac{18}{5}=\frac75\). The right side is \(3(1)\left(\frac95\right)-4=\frac{27}{5}-\frac{20}{5}=\frac75\). Both sides agree.
Worked Example: Collecting Derivative Terms from Both Sides
Suppose the differentiated equation is \(4x y'-6=2y'+x\). Isolate \(y'\), state the restriction on \(x\), and check at \(x=1\).
Subtract \(2y'\) from both sides so that the derivative terms are together on the left. Add \(6\) to both sides so the terms without \(y'\) are on the right:
Factor \(y'\):
Division requires \(4x-2\ne0\), so \(x\ne\frac12\). For those values,
At \(x=1\), the numerator is \(1+6=7\) and the denominator is \(4(1)-2=2\), giving \(y'=\frac72\). Substitute into the original equation: the left side is \(4(1)\left(\frac72\right)-6=14-6=8\), and the right side is \(2\left(\frac72\right)+1=7+1=8\). The equality holds.
Common Sign and Division Errors
A frequent mistake is to move a term across the equals sign without changing its sign. For example, starting from \(5-2y'=3x y'-4\), one might incorrectly write \(5+4=(3x-2)y'\). This changes \(-2y'\) to \(-2y'\) on the right without correctly applying an operation to both sides. The correct collection is
The sign of the left-side term changes when it is moved to the right: \(-2y'\) becomes \(+2y'\). The constant \(-4\) moves to the left as \(+4\). Both changes follow from adding the appropriate terms to both sides.
Another error is to divide before collecting every derivative term. In \(4x y'-6=2y'+x\), dividing the left side by \(4x\) does not isolate \(y'\), because \(2y'\) remains on the right. First form \((4x-2)y'=x+6\), then divide only when \(4x-2\ne0\).
Finally, do not cancel terms that are added or subtracted. For instance, \((4x-2)y'=x+6\) does not simplify by cancelling the \(x\) in the coefficient with the \(x\) in the numerator. Cancellation applies to common factors in a quotient, not to terms joined by addition. The quotient \(\frac{x+6}{4x-2}\) should remain as written unless a valid factorization gives a common factor.
What Happens When the Coefficient Is Zero?
The condition on division is part of the answer, not a technical detail to ignore. In the third example, the collected equation is \((4x-2)y'=x+6\). At \(x=\frac12\), the coefficient \(4x-2\) is zero, while the other side is \(\frac12+6=\frac{13}{2}\). The equation would require \(0\cdot y'=\frac{13}{2}\), which has no solution for \(y'\). Therefore the quotient formula cannot be applied at that value.
More generally, after collecting terms into \(K y'=R\), first check \(K\). If \(K\ne0\), division gives a unique value. If \(K=0\) and \(R\ne0\), the equation cannot hold at that point. If both \(K=0\) and \(R=0\), the equation reduces to \(0=0\) and does not determine \(y'\). These cases explain why a denominator restriction must be stated whenever the derivative is written as a quotient.
Check Your Understanding
For each equation, collect the derivative terms, isolate \(y'\) when possible, and state any value excluded by division. Check your algebra by multiplying the proposed derivative by its coefficient.
- Starting from \(3y'+2x=7x y'-5\), what is the collected equation and the expression for \(y'\)?
- Starting from \(8-4y'=x y'+2\), what is the coefficient of \(y'\) after collection?
- For \((2x-6)y'=x+1\), which value of \(x\) must be excluded before dividing?
- Why is it incorrect to cancel the \(x\)-terms in \(\frac{x+6}{4x-2}\)?
- In \(K y'=R\), what should you do if \(K=0\) rather than divide by \(K\)?