§2.

4 一阶隐方程与参数表示 一、参数形式的解

dy
对于一阶隐方程 F ( x, y, ) = 0 ，有时不仅显示解难于求得，就是
一、参数形式的解 dx
隐式解也不容易寻求。
二、可以解出 x （或 y ）的方程 dy
) = 0 的解，如果存在，则在 ( X , Y ) 平面
注意到微分方程 F ( x, y,
三、就 x , y 与 dd yx 都不能解出的方程 dx
上的图象一般是一条曲线（常称之为积分曲线）。由数学分析课程知
道，对于平面曲线，除可用显式 y = f ( x) 或 x = ϕ ( y ) 来表示外，也容

许有参数表示，为此先给出参数形式解的定义：

下面主要介绍介绍下面几种类型的隐方程初等解法。
dy
定义一：对于微分方程 F ( x, y , ) = 0 ，如果存在定义在 (α , β ) 上的可微函数
dx (1) y = f ( x, y '),
x = ϕ (t ) 与 y = ψ (t ) 使得当 t ∈ (α , β ) 时， (2) x = f ( y, y '),
F (ϕ (t ),ψ (t ),
ψ ' (t )
)=0
(3) F ( x, y ') = 0,
ϕ '(t )
(4) F ( y, y ') = 0.
⎧ x = ϕ (t ) dy
则称 ⎨ , t ∈ (α , β ) 为方程 F ( x, y , ) = 0 的参数形式解。 思路：通过引进参变量，设法把所求的方程化为正规
⎩ y = ψ (t ) dx
形方程，再利用前面所学过的方法求解。
dy ⎧ x = ϕ (t , c )
同样可定义方程 F ( x, y , ) = 0 的参数形式通解为 ⎨ , t ∈ (α , β ) 。
dx ⎩ y = ψ (t , c )

dy
1. y = f (x, dx )
dy dy
二、可以解出 x（或 y ）的方程 这里假设函数 f ( x,
dx
) 关于 x 和 有连续的偏导数。
dx
dy
基本解法：设 p = ，则原方程化为 y = f ( x, p ) ，两端关于
1、 y = f (x, dy ) dx
dx dy
x 求导并用 p = 代入，得到：
dx
dy
2、 x = f ( y,
dx
)
∂f ∂f dp ∂f ∂f
p= + 或[ p − ( x, p )]dx − ( x, p )dp = 0.
∂x ∂p dx ∂x ∂p
此为关于 x, p 的正规形方程。于是可用前面的方法求解。

1
 附注一：在参数形式通解中的参数 p，通常用 t 来替代，一方面这是
习惯所至，另一方面，这也可表明在通解中的 p 也只起参数作用，
dy
而不再表示 = y ' 了。
dx
如果所求得的通解为 p = ϕ ( x, c) ，则原方程的 dy
附注二：在求得通解后，比如 p = ϕ ( x, c) ，不应把通解中的 p 看成 ，
dx
dy
通解为： y = f ( x, ϕ ( x, c)) ； 即 = ϕ ( x, c) ，并进而两边关于 x 积分，得到 y = ∫ ϕ ( x, c )dx + c1 。
dx
我们可这样去理解，因为 y = f ( x, y ') 是一阶方程，通解中只有一个任意
如果所求得的通解为 x = ψ ( p, c) ，则原方程的
常数，而 y = ∫ ϕ ( x, c)dx + c 中有两个相互独立的任意常数 c 和 c ，这显
⎧ x = ψ ( p, c )
1 1

参数形式通解：⎨ ，其中 p 为参数， 然是不对的。

⎩ y = f (ψ ( p, c), p)
c 为任意常数.

3 4
dy 3 dy c− p
) + 2 x − y = 0 的解。 3 p4 4
例 1：求方程 ( 经分项组合后，得到通解 + xp 2 = c ，即 x = 。
dx dx 4 p2
dy
解：解出 y ，并令 p = ，则原方程化为
dx 3 4
2(c − p )
2c 1 3
y = p 3 + 2 xp ， 将它代入 y = p + 2 xp ，得到 y = p +
3 3 4 = − p
p p 2
dy
两端关于 x 求导并用 p = 代入，得到
dx ⎧ 3
⎪ c − p4
4
p = 3 p2
dp dp
+ 2x + 2 p ⎪ x=
dx dx 因此，原方程的参数形式的通解为 ⎨ p2 ( p ≠ 0)
⎪ 2c 1 3
即 ⎪y = − p
⎩ p 2
(3 p 2 + 2 x)dp + pdx = 0
⎧ c 3 2
经检验，它不是一个恰当方程，但有一个积分因子 μ = p ，于是当 p ≠ 0 时， ⎪⎪ x = t 2 − 4 t
或 ⎨ (t ≠ 0)
上式两边同以积分因子 μ = p ，得到恰当方程 ⎪ y = 2c − 1 t 3
⎪⎩ t 2
(3 p 3 + 2 xp )dp + p 2 dx = 0
当 p = 0 时，由方程直接推知 y = 0 也是方程的解且它不包含在通解中。

dy 2 dy x 2
例 2：求方程 y = ( ) − x + 的解
dx dx 2

dy x2
解：设 p = ，则原方程化为 y = p − xp +
2
，
dx 2
x
两端关于 X 求导并用 p =
dy
代入，得到 又从 2 p − x = 0 解得 p =
dx 2
dp dp
p = 2p − x − p + x x2
dx dx 将它代入 y = p − xp +
2
得到原方程的一个解
或
dp
( − 1)(2 p − x) = 0
2
dx
dp x4
由此得 −1 = 0 或 2 p − x = 0 。 y= ，
dx
4
dp x2
从 − 1 = 0 解得 p = x + c ，并将它代入 y = p 2 − xp + 得到原 且此解不能由通解取适当的 C 得到，所以原方程的解为：
dx 2
x2 x4
x2 通解 y = + cx + c 2 及一个解 y = 。
方程的通解 y = + cx + c 2 2 4
2

2
 如果所求得的通解为 p = ϕ ( y , c) ，则原方程的通解为：

dy
2、 x = f ( y , ) x = f ( y, ϕ ( y, c )) ；
dx

dy 如果所求得的通解为 y = ψ ( p, c) ，则原方程的通解为参数形式通解：
设p= ，则原方程化为 x = f ( y, p ) 并把 y 看成是自变量，两端关于 y
dx
⎧ x = f ( y = ψ ( p, c), p )
1 dx
= ⎨
求导并用 代入，得到 ⎩ y = ψ ( p, c )
p dy
其中 p 为参数，c 为任意常数；
1 ∂f ∂f dp
= + ， 如果所求得的通解为 φ ( y, p, c) = 0 ，则原方程的通解为参数形式通解：
p ∂y ∂p dy
或
⎧ x = f ( y, p )
⎡ 1 ∂f ( y, p ) ⎤ ∂f ( y, p) ⎨
⎢ p − ∂y ⎥ dy − ∂p dp = 0 ⎩φ ( y, p, c) = 0
⎣ ⎦
其中 p 为参数，c 为任意常数。
此为关于 y, p 的一阶正规形方程，于是可用前面的方法求解。

c − p4
− p3
y − p3 2p c − 3 p4
将它代入 x = 得到 x = = 。
⎛ dy ⎞
3
dy 2p 2p 4 p2
例 3：求方程 ⎜ ⎟ + 2 x − y = 0 的解。
⎝ dx ⎠ dx 因此，原方程的参数形式的通解为
⎧ c − 3 p4
⎪x =
dy dy
≠ 0 时，解出 x ，并令 p = 代入，得到 ⎪ 4 p2
解：当 ⎨ ( p ≠ 0)
⎪y= −p
dx dx c 4

⎛ dp ⎞ dp ⎪⎩ 2p
p ⎜1 − 3 p 2 − ( y − p3 )
1 ⎝ dy ⎟⎠ dy
= 或
p 2 p2
⎧ c 3 2
或 ( y + 2 p3 )dp + pdy = 0 ⎪⎪ x = 4t 2 − 4 t
⎨ (t ≠ 0)
经检验，它是一个恰当方程，经分项组合后，得到通解 ⎪ y = c − 1 t3
⎪⎩ 2t 2
c − p4
2 yp + p 4 = c ，即 y =
2p 当 p = 0 时，由方程直接推知 y = 0 也是方程的解此解不能由通解取适当

c 得到。

3、 F ( x , y ') = 0
dy
dy 基本解法：设 p = y ' = ，则从几何上看， F ( x , p ) = 0 表示 ( x , p ) 平面
三、就 x , y 与 都不能解出的方程 dx
dx 上的一条曲线。如果能找到这条曲线的参数表示 x = ϕ ( t ), p = ψ ( t ) ，其

我们仅讨论方程中不显含 y 或不显含 x 的所 中 t ∈ (α , β ) 是参数，即满足

F (ϕ ( t ),ψ ( t )) ≡ 0, t ∈ (α , β )
谓非完全微分方程 F ( x, y ') = 0 或 F ( y, y ') = 0
注意到这样一个事实：沿方程 F ( x , y ') = 0 的任何一条积分曲线上，恒
dy
（显然，方程中必显含 ）
。 满足基本关系式：
dx
dy = y ' dx = pdx
3、 F ( x, y ') = 0
把 x = ϕ ( t ), p = ψ ( t ) 代入上式，得到

4、 F ( y, y ') = 0 dy = ψ (t ) d ϕ (t ) = ψ ( t )ϕ '( t ) dt

两边积分，得到 y = ∫ ψ ( t )ϕ '( t ) dt + c

3
于是得到原方程的参数形式的通解为：
⎧⎪ x = ϕ (t )
⎨
⎪⎩ y = ∫ψ (t )ϕ '(t )dt + c 一般要根据方 程 F ( x, p ) = 0 的 特点来
其中 c 为任意常数，由上面的基本想法可知，解这种方程
的困难在于：对于方程 F ( x, p ) = 0 ，如何找到函数 定，没有统一的方法可循，下面通过例子
x = ϕ (t ), p = ψ (t )
来说明。

使得 F (ϕ (t ),ψ (t )) ≡ 0 。

两边积分，得到
9(1 − 2t 3 )t 2 1 − 2t 3 3 −2(t 3 + 1) + 3 3
例 4：求解 x + y ' − 3 xy ' = 0
3 3
y=∫ dt + c = 3∫ dt + c = 3∫ dt + c
(1 + t 3 )3 (1 + t 3 )3 (1 + t 3 )3
−2 1 6 9
解：令 y ' = p = tx ，则原方程得 = 3∫ d (t 3 + 1) + 9 ∫ +c = − +c
(1 + t 3 ) 2 (1 + t 3 )3 dt 1 + t 3 2(1 + t 3 )
3t 3(1 + 4t 3 )
x= = +c
1+ t3 2(1 + t 3 ) 2
从而

3t 2 因此，原方程的参数形式的通解为
p=
1+ t3 ⎧ 3t
⎪⎪ x=
把它们代入基本关系式 dy = y ' dx = pdx ，得到
1+ t3
⎨
⎪ y = 3(1 + 4t ) + c
3

9(1 − 2t 3 )t 2 ⎪⎩ 2(1 + t 3 ) 2
dy = dt 。
(1 + t 3 )3

两边积分，得到
4、 F ( y, y ') = 0
dy ϕ '(t )
设 p = y' = ，则从几何上看， F ( y, p) = 0 表示 ( y, p) 平 x=∫ dt + c
dx ψ (t )
面上的一条曲线。如果能找到这条曲线的参数表示
于是得到原方程的参数形式的通解为：
y = ϕ (t ), p = ψ (t ) ，
⎧ ϕ '(t )
⎪x = ∫ dt + c
⎨ ψ (t )
其中 t ∈ (α , β ) 是参数，即满足
⎪ y = ϕ (t )
⎩
F (ϕ (t ),ψ (t )) ≡ 0, t ∈ (α , β ) 。
其中 c 为任意常数。此外，不难验证：若代数方程
则由基本关系式 dy = y ' dx = pdx 得到
F ( y, 0) = 0 有实根 y = k ，则 y = k 也是方程 F ( y, y ') = 0 的
ϕ '(t )
dx = dt 。
ψ (t ) 解。

4
 例 5：求解方程 y 2 (1 − y ') = (2 − y ') 2

解：令 2 − y ' = yt ，则原方程消去 y ' 后，得到

y 2 ( yt − 1) = y 2t 2 1
两边积分，得到 x = + c
1 t
由此得 y = +t ， 并 且 y ' = 1− t2 ， 即 原 方 程 因此，原方程的参数形式的通解为：
t
⎧ 1
y 2 (1 − y ') = (2 − y ')2 有参数表示： ⎪⎪ x = t + c
1 ⎨
y = + t, p = y ' = 1 − t 2 ⎪y = 1+t
t ⎪⎩ t
利用基本关系式 或消去参数 t 后，得到方程的通解
1
y = x+ −c，
dy = y ' dx = pdx ， x−c
其中 C 为任意常数。此外，当 y ' = 0 时，原方程变为
1 1
得到 dx = dy = − 2 dt 。
y' t
y 2 = 4 ，于是 y = ±2 也是方程的解。

因为
∂ϕ ∂ψ ∂ψ ∂ψ
dy dy dx = ds + dt , dy = ds + dt ，
附注 2：如果方程 F ( x, y, ) = 0 就 x, y 与 都不能解出， ∂s ∂s ∂s ∂t
dx dx 所以由基本关系式 dy = y ' dx = pdx, 得到
且 方 程 也 不 是 所 谓 非 完 全 微 分 方 程 F ( x, y ') = 0 或 ∂ϕ
ds +
∂ψ
dt = (
∂ψ
ds +
∂ψ
dt )k ( s, t )
∂s ∂s ∂s ∂t
dy ∂ϕ ∂ψ ∂ψ ∂ψ
F ( y, y ') = 0 ，则和上面类似，设 p = y ' = ，将代数方程 或 ( − k )ds + ( − k )dt = 0
dx ∂s ∂s ∂s ∂t

F ( x, y, p) = 0 看成 ( x, y, p) 空间中的一个曲面。如果能找到 设这个方程的通解为

s = ω (t , c)或t = ω ( s, c) ，
这个曲面的参数表示：
dy
代入 x = x = ϕ ( s, t ), y = ψ ( s, t ) 即得方程 F ( x, y, ) = 0 的参数形式的通
dx
x = ϕ ( s, t ), y = ψ ( s, t ), p = y ' = k ( s, t ) ，
解：
其中 s, t 是参数。 x = ϕ (ω (t , c), t ), y = ψ (ω (t , c), t )

或 x = ϕ ( s, ω ( s, c)), y = ψ ( s, ω ( s, c)) 。