a) 设 (αi,βi) 与实数 ⩾0 不同的 n 右,与 (0,0) 不同,且infiαi=infiβi=0。考虑方程
f(x,y)=i=1∑naixαiyβi(1+φi(x,y))=0 其中
ai是实数
=0,
φi是平方
0⩽x⩽a,0⩽y⩽a上连续的函数,随着
(x,y)趋向于
(0,0)而趋于0。假设存在函数
g,其在区间
[0,b]上为正且连续,与
x趋向于0,并且对于所有
x∈[0,b]都有
f(x,g(x))=0。对于每个实数
μ>0,表明
g(x)/xμ趋于极限,有限或无限,因为
x趋于0(使用V,p. 217,道具9,考虑到,对于每个数
t⩾0,方程
f(x,txμ)=0)。
b) 为了使 g(x)/xμ 趋向于有限的极限 =0,μ 必须存在至少两个不同的对 (αh,βh) 和 (αk,βk),使得 αh+μβh=αk+μβk 并且对于每一个其他对 (αi,βi),有一个αi+μβi⩾αh+μβh。 One thus obtains a finite number of possible values μj (1⩽j⩽r); the numbers −1/μj are the gradients of the affine lines in the plane R2 which contain at least two of the set of points (αi,βi) and such that all the other points of this set lie above the line considered ("Newton polygon").
c) 设μ1为数μj中的最小的。证明 g(x)/xμ1 趋向于有限的极限(可能是零)。 (首先证明,如果 i 和 j 是两个不同的指标,则一个不能同时具有 αi⩽αj 和 βi⩽βj;推断出人们可以假设 α1=0、αi>0 和 βi<β1 对于 i=1;现在,将g(x)=t(x)xμ1,表明 t(x) 不能趋于 +∞,而 x 趋于 0。)
d) 从c)中,通过对r的递归推论,存在指标j,使得g(x)/xμj趋向于有限的极限=0,而x趋于0。