18. (18 points) Given the sequence {xn}. Prove: There exists a unique decomposition xn=yn−zn, where the sequence {yn} is non-negative, {zn} is non-decreasing, and yn(zn−zn−1)=0,z0=0.
Solution
18. Prove by mathematical induction.
When n=1, y1(z1−z0)=y1z1=0⇒{y1=0,z1=−x1 or {y1=x1,z1=0.
If x1⩾0, then {y1=x1z1=0; If x1<0, then {y1=0,z1=−x1. Therefore, when n=1, the proposition holds. Assume that when n=k(k⩾1), the proposition holds. Then when n=k+1, the problem is equivalent to ⎩⎨⎧yk+1−(zk+1−zk)=xk+1+zk,yk+1(zk+1−zk)=0,yk+1⩾0,zk+1−zk⩾0,z0=0 ⇒{yk+1=0,zk+1−zk=−(xk+1+zk) or {yk+1=xk+1+zk,zk+1−zk=0.
If xk+1+zk⩾0, then {yk+1=xk+1+zk,zk+1=zk;
Hence, when n=k+1, the proposition holds. By mathematical induction, the proposition holds for any natural number n.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.
Source: NuminaMath-1.5,
licensed Apache-2.0.
Statement and solution reproduced as published; topic and difficulty added by this site.