三角形 AWZ 与 CYX 有相同的顶角 ∠A=∠C 和相同的内切圆半径 r1=r3,故两邻边满足同一递减关系;同理 △BXW 与 △DZY 共享 ∠B=∠D 与 r2=r4。若 AZ=CX,不妨设 AZ>CX。由 A,C 处的单调性得 CY>AW;用 AB=CD 相减得 BW=AB−AW>CD−CY=DY;再由 B,D 处的单调性得 DZ>BX;用 DA=BC 相减得 CX=BC−BX>DA−DZ=AZ,与 AZ>CX 矛盾。因此 AZ=CX 且 AW=CY(从而 DZ=BX 且 BW=DY)。于是据边角边有 △AWZ≅△CYX 及 △BXW≅△DZY,得 WZ=YX 且 WX=ZY,故 WXYZ 是平行四边形。