IB Mathematics: Solving Separable Variable Nonlinear Equations — IB数学：可分离变量型非线性方程解法

📚 IB Mathematics: Separable Variable Nonlinear Equations | IB数学：可分离变量型非线性方程

在IB数学AA与AI的高水平课程中，微分方程是连接微积分与实际应用的重要桥梁。可分离变量型方程是最基础、也是IB考试中最常出现的一类一阶微分方程。本文将从定义出发，系统讲解分离变量法的完整流程、常见积分技巧、三大经典应用模型，以及IB考试中的高频陷阱，帮助你彻底掌握这一考点。

In both IB Mathematics Analysis and Approaches (AA) and Applications and Interpretation (AI) Higher Level courses, differential equations are a key bridge between calculus and real-world applications. Separable equations are the most fundamental type of first-order differential equation and the most frequently tested in IB exams. This article starts from the definition, systematically explains the complete workflow of separation of variables, common integration techniques, three classic application models, and high-frequency exam traps, helping you master this topic thoroughly.

一、可分离变量方程的定义与标准形式 | Defining Separable Equations: The Standard Form dy/dx = g(x)h(y)

一个一阶微分方程被称为”可分离变量”型，当且仅当它可以写成dy/dx = g(x)h(y)的形式，其中g(x)只含变量x，h(y)只含变量y。也就是说，方程右端恰好可以分解为一个x的函数与一个y的函数的乘积。这个结构性的特征是判断一个方程是否可分离的关键判据。

A first-order differential equation is called “separable” if and only if it can be written in the form dy/dx = g(x)h(y), where g(x) contains only the variable x and h(y) contains only the variable y. In other words, the right-hand side factors exactly into a product of a function of x and a function of y. This structural feature is the key criterion for deciding whether an equation is separable.

举例说明：方程dy/dx = 3x²y就是可分离的，因为右端可以看作g(x) = 3x²与h(y) = y的乘积。而方程dy/dx = x + y是不可分离的，因为x + y无法写成x的函数与y的函数的乘积形式。判断时需要留意：所谓”非线性方程”指的是方程中可能出现y的幂次、指数、对数等非线性结构，但只要这种非线性结构能被归入h(y)这一因子，方程仍然可分离。

For example, the equation dy/dx = 3x²y is separable, because the right-hand side can be viewed as the product of g(x) = 3x² and h(y) = y. The equation dy/dx = x + y is not separable, because x + y cannot be written as a product of a function of x and a function of y. Note that a “nonlinear equation” may contain powers of y, exponentials, logarithms and other nonlinear structures; as long as that nonlinear structure can be grouped into the factor h(y), the equation remains separable.

常见的可分离形式还包括：dy/dx = y sin x（乘积形式）、dy/dx = y²/(x² + 1)（商形式，可改写为y²与1/(x²+1)的乘积）、以及含常数系数的情况如dy/dx = ky（指数模型的基础形式）。在IB真题中，出题人常常把方程伪装成看起来复杂的形式，例如先给出dy/dx = (xy + y)/(x²)，表面上有加法，但分子提公因式后得到y(x + 1)/x²，仍然是x的函数与y的函数的乘积，依然可分离。

Common separable forms include: dy/dx = y sin x (product form), dy/dx = y²/(x² + 1) (quotient form, which can be rewritten as the product of y² and 1/(x²+1)), and equations with constant coefficients such as dy/dx = ky (the basis of exponential models). In real IB questions, examiners often disguise equations to look complicated. For example, dy/dx = (xy + y)/x² looks like it contains addition, but factoring the numerator gives y(x + 1)/x², which is still a product of a function of x and a function of y, and therefore remains separable.

二、分离变量法的核心思想：把x和y”分开” | The Core Idea of Separation of Variables: Partitioning x and y

分离变量法的核心思想极其朴素：既然方程右端是g(x)与h(y)的乘积，我们就可以把含有y的项全部移到等号左边，把含有x的项全部留在右边，然后对两边分别积分。形式上，把dy/dx视作一个商，将dx乘到右边：dy/h(y) = g(x)dx。这一步叫做”分离变量”，它把原来的微分方程转化成了两个独立的积分问题。

The core idea of separation of variables is extremely simple: since the right-hand side is a product of g(x) and h(y), we can move all terms containing y to the left side, keep all terms containing x on the right, and then integrate both sides separately. Formally, treating dy/dx as a quotient and multiplying dx to the right gives: dy/h(y) = g(x)dx. This step is called “separating the variables”, which transforms the original differential equation into two independent integration problems.

严格地说，把dy和dx当作独立的量来处理是一种形式化的记法，背后是链式法则与换元积分的严谨推导。但在IB考试中，这种形式操作是完全被接受的标准写法，也是几乎所有教材推荐的解题路径。需要注意的是，分离的最终目标一定是：左边只有y与dy，右边只有x与dx，中间没有任何混合项。

Strictly speaking, treating dy and dx as independent quantities is a formal notation, backed by a rigorous derivation using the chain rule and substitution. In IB exams, however, this formal manipulation is completely accepted standard practice and is the solution path recommended by virtually all textbooks. The final goal of separation must be: the left side contains only y and dy, the right side contains only x and dx, with no mixed terms in between.

一个常见的疑问是：为什么分离后可以对两边分别积分？答案在于，此时左边是y的函数的积分，右边是x的函数的积分，它们通过等号联系在一起，积分结果之间相差一个任意常数C。这个任意常数正是微分方程通解（general solution）的体现：一阶方程的通解必然含有一个待定常数，它由初始条件确定。

A common question is: why can we integrate both sides separately after separation? The answer is that the left side is an integral of a function of y, the right side is an integral of a function of x, and they are linked by the equals sign, with the two integration results differing by an arbitrary constant C. This arbitrary constant is exactly what makes up the general solution of the differential equation – a first-order equation always has a general solution containing one undetermined constant, which is fixed by the initial condition.

三、三步求解法：分离、积分、解出y | The Three-Step Method: Separate, Integrate, Solve for y

求解可分离变量方程的标准流程可以浓缩为三个步骤。第一步是分离变量：把所有y及dy移到一边，所有x及dx移到另一边，写成dy/h(y) = g(x)dx的标准形式。第二步是对两边分别积分，得到关于y和x的两个原函数等式，并合并任意常数C：∫dy/h(y) = ∫g(x)dx + C。

The standard workflow for solving separable equations can be condensed into three steps. Step one is separation: move all y terms and dy to one side, all x terms and dx to the other, producing the standard form dy/h(y) = g(x)dx. Step two is integrating both sides separately, obtaining an equation relating the two antiderivatives and merging the arbitrary constants into one C: ∫dy/h(y) = ∫g(x)dx + C.

第三步是解出y：如果可能，用代数手段把y显式地表示为x的函数，即y = f(x)的形式，得到显式解（explicit solution）。如果无法或不宜解出y，则保留F(y) = G(x) + C的隐式形式，得到隐式解（implicit solution）。在这一步中，取对数、取指数、处理绝对值符号都是常见操作，每一步的代数变形都要格外小心，因为IB评分标准非常看重代数过程的完整性。

Step three is solving for y: if possible, use algebraic manipulation to express y explicitly as a function of x, i.e. y = f(x), obtaining an explicit solution. If y cannot be solved for, or is better left unsolved, keep the implicit form F(y) = G(x) + C as an implicit solution. In this step, taking logarithms, exponentials and handling absolute value signs are all common operations, and every algebraic manipulation requires extra care, because IB mark schemes place great weight on the completeness of the algebraic process.

以一个具体例子走一遍全程：求解dy/dx = 2xy。第一步分离：dy/y = 2x dx。第二步积分：ln|y| = x² + C。第三步解出y：取指数得到|y| = e^(x²+C) = e^C · e^(x²)，记A = ±e^C，则y = Ae^(x²)。这里的A是一个可正可负的任意常数，它合并了原来的C以及绝对值带来的符号自由度。这种”常数重新命名”的技巧在微分方程中无处不在，务必熟练掌握。

Let us walk through a concrete example: solve dy/dx = 2xy. Step one, separate: dy/y = 2x dx. Step two, integrate: ln|y| = x² + C. Step three, solve for y: take exponentials to get |y| = e^(x²+C) = e^C · e^(x²); writing A = ±e^C gives y = Ae^(x²). Here A is an arbitrary constant that may be positive or negative; it absorbs both the original C and the sign freedom introduced by the absolute value. This “constant renaming” technique appears everywhere in differential equations, so master it well.

四、初始条件与特解：初值问题的完整解法 | Initial Conditions and Particular Solutions: Solving the Initial Value Problem

IB考试几乎不会只要求通解，绝大多数题目会给出初始条件（initial condition），形如y(x₀) = y₀，要求求出满足条件的特解（particular solution）。求解特解有两种等效路径：第一种是先求通解，再把x₀、y₀代入通解确定常数C；第二种是直接在积分完成后，用定积分形式y₀到y的积分等于x₀到x的积分，一步到位。

IB exams rarely ask for the general solution alone; most questions provide an initial condition of the form y(x₀) = y₀ and require the particular solution satisfying it. There are two equivalent paths: the first is to find the general solution first, then substitute x₀ and y₀ to determine C; the second is to integrate directly in definite-integral form, equating the integral from y₀ to y with the integral from x₀ to x in one step.

路径一的示范：沿用上节例子y = Ae^(x²)，若初始条件为y(0) = 3，代入得3 = A·e⁰ = A，因此特解为y = 3e^(x²)。整个过程干净利落。路径二的示范：从dy/y = 2x dx出发，直接写∫(从3到y) (1/t)dt = ∫(从0到x) 2t dt，得到ln(y/3) = x²，同样解得y = 3e^(x²)。定积分路径的优点是常数处理完全自动化，特别适合初始条件代入容易出错的同学。

Demonstration of path one: continuing with y = Ae^(x²) from the previous section, if the initial condition is y(0) = 3, substituting gives 3 = A·e⁰ = A, so the particular solution is y = 3e^(x²). The whole process is clean and quick. Demonstration of path two: starting from dy/y = 2x dx, write ∫(from 3 to y) (1/t)dt = ∫(from 0 to x) 2t dt directly, giving ln(y/3) = x², which also solves to y = 3e^(x²). The definite-integral path has the advantage of automating constant handling, making it ideal for students who often make mistakes when substituting initial conditions.

需要特别警惕的是”隐藏初始条件”：有些IB应用题不会直接写y(0) = 3，而是用文字描述，例如”初始时刻的种群数量为500″或”物体初始温度为90摄氏度”。这类描述对应的数学表达分别是P(0) = 500和T(0) = 90。读题时务必把文字条件翻译成数学条件，这是应用题得分的第一道关卡，也是许多同学丢分的重灾区。

Be especially alert for “hidden initial conditions”: some IB application questions do not write y(0) = 3 directly, but describe it in words, such as “the initial population is 500” or “the initial temperature of the object is 90 degrees Celsius”. The corresponding mathematical expressions are P(0) = 500 and T(0) = 90. When reading the question, always translate the verbal condition into a mathematical condition – this is the first checkpoint for scoring on application questions and a major source of lost marks.

五、常见积分技巧：换元法、部分分式与三角积分 | Common Integration Techniques: Substitution, Partial Fractions and Trigonometric Integrals

分离变量之后，真正的考验往往在积分环节。IB考试中，∫g(x)dx一侧通常比较直接，难点集中在∫dy/h(y)一侧，因为h(y)可能包含多项式、二次式甚至三角结构。本节整理三类最高频的积分场景及其处理策略。

After separation, the real challenge usually lies in the integration step. In IB exams, the ∫g(x)dx side is usually straightforward; the difficulty concentrates on ∫dy/h(y), because h(y) may contain polynomials, quadratics or even trigonometric structures. This section summarises the three most frequent integration scenarios and their strategies.

第一类是线性因子与幂次型，例如∫1/(ay + b) dy = (1/a)ln|ay + b| + C，以及∫(ay + b)^n dy（n ≠ -1）的幂函数积分。这类积分只需一步换元u = ay + b即可完成，是分离变量方程中占比最大的积分类型。第二类是二次型分母，例如∫1/(y² + a²) dy = (1/a)arctan(y/a) + C，以及∫1/(y² – a²) dy用部分分式分解为(1/(2a))ln|(y – a)/(y + a)| + C。识别分母结构、套用对应公式是关键。

The first category is linear factors and power types, such as ∫1/(ay + b) dy = (1/a)ln|ay + b| + C, and power-function integrals like ∫(ay + b)^n dy (for n ≠ -1). These need only a single substitution u = ay + b and are the most common integral type in separable equations. The second category is quadratic denominators, such as ∫1/(y² + a²) dy = (1/a)arctan(y/a) + C, and ∫1/(y² – a²) dy, which is decomposed by partial fractions into (1/(2a))ln|(y – a)/(y + a)| + C. Recognising the denominator structure and applying the corresponding formula is the key.

第三类是三角型结构，例如∫sec² y dy = tan y + C、∫sin y dy = -cos y + C，以及含tan y的积分∫tan y dy = -ln|cos y| + C。这些积分常常与物理模型结合出现，例如简谐运动方程中就会出现∫(1/√(a² – y²)) dy = arcsin(y/a) + C。建议把上述积分公式整理成一张速查表，做题时对照使用，能显著提升速度和准确率。

The third category is trigonometric structures, such as ∫sec² y dy = tan y + C, ∫sin y dy = -cos y + C, and the integral involving tan y, ∫tan y dy = -ln|cos y| + C. These integrals often appear together with physics models; for example, simple harmonic motion leads to ∫(1/√(a² – y²)) dy = arcsin(y/a) + C. We recommend organising the formulas above into a quick-reference table and consulting it while solving problems, which noticeably improves both speed and accuracy.

六、隐式解与显式解：何时必须保留隐式形式 | Implicit vs Explicit Solutions: When to Keep the Implicit Form

并非所有可分离方程都能解出显式的y = f(x)。典型情况是积分后得到F(y) = G(x) + C，而F是一个无法求逆的复杂函数，例如F(y) = y + ln|y|或F(y) = y³ + y。此时强行解y会陷入代数泥潭，IB评分标准也明确接受以隐式形式呈现的解，前提是形式正确且包含常数C。

Not every separable equation can be solved for an explicit y = f(x). A typical case is when integration yields F(y) = G(x) + C where F is a complicated function that cannot be inverted, such as F(y) = y + ln|y| or F(y) = y³ + y. Forcing y out leads into an algebraic swamp, and IB mark schemes explicitly accept solutions in implicit form, provided the form is correct and contains the constant C.

判断”是否要解出y”有三个实用准则。准则一：如果题目问的是”求y关于x的表达式”，则需要显式解；如果题目只问”求微分方程的解”或”证明y满足某关系”，隐式解即可。准则二：如果显式化涉及指数函数与对数的反复操作且初等函数可逆，尽量显式化，因为显式解更容易用于后续计算（如求y(2)的值）。准则三：当初始条件已经给出时，可以先用隐式形式代入初值确定C，再决定是否显式化。

There are three practical criteria for deciding whether to solve for y. Criterion one: if the question asks for “an expression for y in terms of x”, an explicit solution is required; if it merely asks for “the solution of the differential equation” or “show that y satisfies a relation”, implicit form suffices. Criterion two: if explicit extraction only involves repeated exponentials and logarithms of invertible elementary functions, do make it explicit, because explicit solutions are easier to use in subsequent calculations such as evaluating y(2). Criterion three: when an initial condition is given, substitute it into the implicit form first to determine C, then decide whether to make the solution explicit.

一个经典例子是方程dy/dx = y/(x + y²)。分离得到(x + y²)/y dy = dx，即(x/y + y)dy = dx。积分后得到x ln|y| + y²/2 = x + C。这个解以隐式形式呈现是完全可以接受的，强行解出y反而会引入复杂的朗伯W函数，远远超出IB课程范围。遇到这种情况，请放心提交隐式解并写明”implicit solution”。

A classic example is the equation dy/dx = y/(x + y²). Separating gives (x + y²)/y dy = dx, i.e. (x/y + y)dy = dx. Integration yields x ln|y| + y²/2 = x + C. Presenting this solution in implicit form is perfectly acceptable; forcing y out would introduce the complicated Lambert W function, far beyond the IB syllabus. In such cases, submit the implicit solution with confidence and label it “implicit solution”.

七、经典应用一：指数增长与放射性衰变模型 | Application 1: Exponential Growth and Radioactive Decay

指数模型是可分离变量方程最著名的应用，其方程为dP/dt = kP，其中P代表种群数量、存款金额或放射性原子核数目等，k为增长（或衰减）常数。这个方程描述的是”变化率与当前总量成正比”的规律，几乎覆盖了IB数学AI课程中所有指数模型场景。

The exponential model is the most famous application of separable equations, with the equation dP/dt = kP, where P represents a population, a bank balance, or the number of radioactive nuclei, and k is the growth (or decay) constant. This equation describes the rule that “the rate of change is proportional to the current amount”, covering almost all exponential model scenarios in the IB Mathematics AI course.

分离变量并积分：∫dP/P = ∫k dt，得到ln|P| = kt + C，进而P = P₀e^(kt)，其中P₀ = P(0)为初始值。当k > 0时得到指数增长（如复利、细菌繁殖），当k < 0时得到指数衰减（如放射性衰变、药物代谢）。半衰期T₁/₂满足P(T₁/₂) = P₀/2，解得T₁/₂ = ln2/k，这是放射性衰变题目的核心考点。

Separating and integrating: ∫dP/P = ∫k dt gives ln|P| = kt + C, hence P = P₀e^(kt), where P₀ = P(0) is the initial value. When k > 0 we get exponential growth (compound interest, bacterial reproduction); when k < 0 we get exponential decay (radioactive decay, drug metabolism). The half-life T₁/₂ satisfies P(T₁/₂) = P₀/2, giving T₁/₂ = ln2/k, which is the central test point of radioactive decay questions.

真题风格示范：某放射性同位素的初始质量为80克，5小时后剩余20克，求其半衰期。由20 = 80e^(5k)得e^(5k) = 1/4，所以k = ln(1/4)/5 = -ln4/5 ≈ -0.2773。半衰期T₁/₂ = ln2/0.2773 ≈ 2.5小时。这类题目的关键是把题目文字准确翻译成P(t) = P₀e^(kt)模型，并注意计算器使用自然对数ln而非常用对数log。

Exam-style demonstration: a radioactive isotope has an initial mass of 80 grams and 20 grams remain after 5 hours; find its half-life. From 20 = 80e^(5k) we get e^(5k) = 1/4, so k = ln(1/4)/5 = -ln4/5 ≈ -0.2773. The half-life is T₁/₂ = ln2/0.2773 ≈ 2.5 hours. The key to such questions is translating the wording accurately into the P(t) = P₀e^(kt) model and remembering to use the natural logarithm ln on your calculator rather than log base 10.

八、经典应用二：逻辑斯蒂增长方程与人口模型 | Application 2: The Logistic Growth Equation and Population Models

当环境承载力（carrying capacity）有限时，单纯指数增长不再适用，取而代之的是逻辑斯蒂方程dP/dt = kP(1 – P/L)，其中L为环境承载力。这个方程是可分离的非线性方程，其右端恰好是P的函数与常数k的乘积，因此可以用分离变量法直接求解，是IB数学AA与AI课程中都可能考察的高阶应用。

When the carrying capacity of the environment is limited, pure exponential growth no longer applies; it is replaced by the logistic equation dP/dt = kP(1 – P/L), where L is the carrying capacity. This is a separable nonlinear equation whose right-hand side is exactly a function of P times the constant k, so it can be solved directly by separation of variables. It is an advanced application that may appear in both IB Mathematics AA and AI courses.

求解过程是部分分式技巧的完美演练：分离得dP/(P(1 – P/L)) = k dt，利用部分分式把左端分解为(1/P + 1/(L – P))dP = k dt（注意1 – P/L = (L – P)/L），积分得ln|P| – ln|L – P| = kt + C，即ln|P/(L – P)| = kt + C。取指数并整理，最终得到著名的逻辑斯蒂函数P(t) = L/(1 + Ae^(-kt))。

The solution process is a perfect exercise in partial fractions: separating gives dP/(P(1 – P/L)) = k dt, and decomposing the left side by partial fractions yields (1/P + 1/(L – P))dP = k dt (noting 1 – P/L = (L – P)/L). Integrating gives ln|P| – ln|L – P| = kt + C, i.e. ln|P/(L – P)| = kt + C. Taking exponentials and rearranging finally produces the famous logistic function P(t) = L/(1 + Ae^(-kt)).

逻辑斯蒂模型的图像是一条S形曲线：当P远小于L时，种群近似指数增长；当P接近L时，增长率趋近于零，种群趋于稳定在L。IB题目常考察三类问题：其一，根据初始条件求A；其二，求拐点（即增长率最大的时刻，出现在P = L/2处）；其三，讨论P = L与P = 0两个平衡解。理解S形曲线的几何含义，远比死记公式更能应对变化多端的考题。

The graph of the logistic model is an S-shaped curve: when P is much smaller than L, the population grows approximately exponentially; when P approaches L, the growth rate tends to zero and the population stabilises at L. IB questions often test three things: first, determining A from the initial condition; second, finding the inflection point (the moment of maximum growth rate, which occurs at P = L/2); third, discussing the two equilibrium solutions P = L and P = 0. Understanding the geometric meaning of the S-shaped curve is far more effective for tackling varied exam questions than memorising formulas by rote.

九、经典应用三：牛顿冷却定律与物体温度变化 | Application 3: Newton’s Law of Cooling

牛顿冷却定律指出：物体的温度变化率与物体和环境之间的温差成正比，其方程为dT/dt = -k(T – Tₐ)，其中T为物体温度，Tₐ为环境温度（室温），k > 0为冷却常数。负号保证当物体比环境热（T > Tₐ）时温度下降，符合物理直觉。这个方程同样是可分离的，是IB物理与数学交叉题目的常客。

Newton’s law of cooling states that the rate of change of an object’s temperature is proportional to the temperature difference between the object and its surroundings: dT/dt = -k(T – Tₐ), where T is the object temperature, Tₐ is the ambient (room) temperature, and k > 0 is the cooling constant. The minus sign ensures the temperature falls when the object is hotter than the surroundings (T > Tₐ), matching physical intuition. This equation is also separable and is a regular in IB physics-mathematics crossover questions.

求解：分离得dT/(T – Tₐ) = -k dt，积分得ln|T – Tₐ| = -kt + C，因此T = Tₐ + (T₀ – Tₐ)e^(-kt)，其中T₀为初始温度。这个解的结构非常清晰：物体温度从初始值T₀指数地逼近环境温度Tₐ，且永远不会真正等于Tₐ（除非t趋于无穷）。这就是为什么热咖啡放再久也不会降到室温以下。

Solving: separating gives dT/(T – Tₐ) = -k dt; integrating yields ln|T – Tₐ| = -kt + C, hence T = Tₐ + (T₀ – Tₐ)e^(-kt), where T₀ is the initial temperature. The structure of this solution is very clear: the object temperature approaches the ambient temperature Tₐ exponentially from the initial value T₀, and never truly equals Tₐ (except as t tends to infinity). This is why hot coffee never drops below room temperature no matter how long it sits.

典型真题：一杯90摄氏度的咖啡放在20摄氏度的房间里，10分钟后温度为60摄氏度，问咖啡何时降到30摄氏度。先由60 = 20 + 70e^(-10k)解出e^(-10k) = 40/70 = 4/7，得k = (ln(7/4))/10 ≈ 0.05596。再解30 = 20 + 70e^(-kt)，即e^(-kt) = 1/7，t = ln7/k ≈ 34.8分钟。注意：这类题目必须用题目给出的两组数据（初始与10分钟后的温度）先确定k，再求时间，顺序不能颠倒。

Typical exam question: a cup of coffee at 90 degrees Celsius sits in a 20 degree room; after 10 minutes the temperature is 60 degrees. Find when the coffee reaches 30 degrees. First, from 60 = 20 + 70e^(-10k), solve e^(-10k) = 40/70 = 4/7, giving k = (ln(7/4))/10 ≈ 0.05596. Then solve 30 = 20 + 70e^(-kt), i.e. e^(-kt) = 1/7, so t = ln7/k ≈ 34.8 minutes. Note: such questions must use the two given data points (initial and 10-minute temperatures) to determine k first, then find the time; the order cannot be reversed.

十、IB考试陷阱与易错点：丢掉绝对值、忘记任意常数C | IB Exam Traps: Dropped Absolute Values and the Lost Constant C

在分离变量法的求解过程中，有四个高频丢分点值得反复强调。第一个是丢掉绝对值符号：从∫1/y dy = ln|y|得到的必须是ln|y|，很多同学直接写ln y，这在y可能为负时会导致错误，IB评分标准会扣掉相应的方法分。第二个是忘记任意常数C：通解必须含C，把C合并进指数或重新命名是可以的，但彻底丢弃C会导致特解无法确定，直接丢失应用题的后续分数。

During the solution of separable equations, four high-frequency mark-loss points deserve repeated emphasis. The first is dropping absolute value signs: ∫1/y dy must give ln|y|, yet many students write ln y directly, which leads to errors when y can be negative, and IB mark schemes deduct the corresponding method marks. The second is forgetting the arbitrary constant C: the general solution must contain C. Merging C into an exponential or renaming it is fine, but discarding C entirely makes the particular solution impossible to determine and directly loses the follow-up marks in application questions.

第三个陷阱是分离变量时的代数错误：例如把dy/dx = y/(x² + 1)错误地分离成dy/y = (x² + 1)dx，颠倒了分子分母。正确的分离是dy/y = dx/(x² + 1)。检验方法很简单：把分离后的形式交叉相乘，必须还原出原方程。第四个陷阱是初始条件代入时机错误：必须在通解中包含C之后再代入，而不是在积分前代入，否则会得到完全错误的结果。

The third trap is algebraic errors during separation: for example, incorrectly separating dy/dx = y/(x² + 1) into dy/y = (x² + 1)dx, flipping numerator and denominator. The correct separation is dy/y = dx/(x² + 1). The check is simple: cross-multiplying the separated form must reproduce the original equation. The fourth trap is substituting the initial condition at the wrong time: it must be substituted after the general solution contains C, never before integration, otherwise you obtain a completely wrong result.

此外还有两个计算器相关的提醒。其一，IB考试（尤其是AI课程）允许使用图形计算器，但微分方程的手动求解步骤仍然需要完整书写，计算器只能用于最终数值计算与模型拟合验证。其二，涉及指数衰减的题目中，k通常为负；如果算出的k为正，请回头检查符号。养成”解完代入检验”的习惯，用初始条件验证特解是否满足方程，能拦截大部分低级错误。

There are also two calculator-related reminders. First, IB exams (especially the AI course) allow graphing calculators, but the manual solution steps of differential equations must still be written out in full; calculators are only for final numerical evaluation and model-fitting verification. Second, in exponential decay questions k is usually negative; if you compute a positive k, go back and check the sign. Develop the habit of “substituting back to verify”: use the initial condition to check that the particular solution satisfies the equation, which catches most careless errors.

十一、与其他考点的联系：斜率场、欧拉法与积分因子 | Connections: Slope Fields, Euler’s Method and the Integrating Factor

可分离变量方程不是孤立考点，它与IB课程中的多个主题紧密相连。首先是斜率场（slope field）：给定dy/dx = f(x, y)，在每个网格点(x, y)处画出斜率为f(x, y)的小线段，就得到斜率场。对于可分离方程，斜率场可以帮助你直观验证解曲线的形状，例如逻辑斯蒂方程的S形曲线在斜率场中清晰可见。IB题目常要求”画出斜率场并据此描绘解曲线”，这时通解公式就是你的对照基准。

Separable equations are not an isolated topic; they connect closely with several themes in the IB course. The first is the slope field: given dy/dx = f(x, y), drawing a small segment with slope f(x, y) at each grid point (x, y) produces a slope field. For separable equations, the slope field helps you visually verify the shape of solution curves – for instance, the S-shaped curve of the logistic equation is clearly visible in its slope field. IB questions often ask you to “draw the slope field and sketch solution curves accordingly”, and your general solution formula serves as the reference for checking.

其次是欧拉法（Euler’s method）：当方程不可分离或积分过于复杂时，欧拉法提供数值逼近：y_(n+1) = y_n + h·f(x_n, y_n)。IB AI课程要求掌握欧拉法的计算流程，并能与解析解对比误差。理解”解析解（可分离方程给出）是精确的，数值解是近似的”这一本质区别，是回答”比较两种方法结果”类题目的关键。第三是积分因子（integrating factor）：对于线性但不可分离的方程dy/dx + P(x)y = Q(x)，需要用积分因子法。学会识别”该用分离变量还是积分因子”，本身就是一个重要的考点区分。

The second connection is Euler’s method: when an equation is not separable or its integral is too complex, Euler’s method provides a numerical approximation: y_(n+1) = y_n + h·f(x_n, y_n). The IB AI course requires mastery of the Euler’s method computation procedure and the ability to compare its error against the analytic solution. Understanding the essential difference – that the analytic solution (given by separable equations) is exact while numerical solutions are approximate – is the key to answering “compare the two methods” questions. The third connection is the integrating factor: for linear but non-separable equations of the form dy/dx + P(x)y = Q(x), the integrating factor method is required. Learning to recognise whether to use separation of variables or the integrating factor is itself an important exam skill.

从考试策略的角度看，建议按以下顺序处理微分方程大题：第一步，先判断方程是否可分离（检查能否写成g(x)h(y)的乘积）；第二步，若可分离，按分离、积分、解出y的三步流程推进；第三步，若不可分离但关于y是线性的，改用积分因子法；第四步，若两者都不适用且题目允许，考虑欧拉法数值求解。这个决策树可以帮助你在考场上快速定位解题路径，避免在错误的方法上浪费时间。

From an exam-strategy perspective, we recommend handling differential equation questions in the following order: first, determine whether the equation is separable (check whether it can be written as a product g(x)h(y)); second, if separable, proceed with the three-step workflow of separate, integrate, solve for y; third, if not separable but linear in y, switch to the integrating factor method; fourth, if neither applies and the question permits, consider Euler’s method for numerical solution. This decision tree helps you locate the correct solution path quickly in the exam hall and avoids wasting time on the wrong method.

Summary | 总结

本文系统梳理了IB数学可分离变量型非线性方程的完整知识体系：从定义与判断标准出发，掌握了分离、积分、解出y的三步求解法；通过初值问题求解特解的两条路径；整理了换元、部分分式、三角积分三大积分技巧；讨论了隐式解与显式解的取舍准则；并深入剖析了指数增长与衰变、逻辑斯蒂增长、牛顿冷却定律三大经典应用模型。最后，我们强调了IB考试中最常见的四个陷阱：绝对值符号、任意常数C、分离变量代数错误与初始条件代入时机。

This article systematically reviews the complete knowledge system of separable variable nonlinear equations in IB Mathematics: starting from the definition and identification criteria, we mastered the three-step solution method of separate, integrate, solve for y; worked through the two paths for finding particular solutions from initial value problems; organised the three major integration techniques of substitution, partial fractions and trigonometric integrals; discussed the criteria for choosing between implicit and explicit solutions; and analysed in depth the three classic application models of exponential growth and decay, logistic growth, and Newton’s law of cooling. Finally, we emphasised the four most common traps in IB exams: absolute value signs, the arbitrary constant C, separation algebra errors, and the timing of substituting initial conditions.

掌握分离变量法的关键在于”识别结构”与”熟练积分”两个能力的结合。建议你在练习时先做结构判断训练：随机给出10个一阶方程，快速判定哪些可分离、哪些需要积分因子，然后只对可分离方程完整求解。坚持这种有针对性的训练，配合对三大应用模型的深入理解，你将在IB微分方程题目上建立起稳定的得分优势。

The key to mastering separation of variables lies in combining two abilities: “recognising structure” and “integrating fluently”. We recommend starting your practice with structure-identification drills: randomly take 10 first-order equations, quickly decide which are separable and which need the integrating factor, then fully solve only the separable ones. Persist with this targeted training, combined with a deep understanding of the three application models, and you will build a stable scoring advantage on IB differential equation questions.

更多咨询请联系16621398022（同微信）