MathLabs

第3题

设 ABCDABCD 是平行四边形。点 WW, XX, YY, ZZ 分别在边 ABAB, BCBC, CDCD, DADA 上,使得三角形 AWZAWZ, BXWBXW, CYXCYX, DZYDZY 的内心构成平行四边形。证明 WXYZWXYZ 是平行四边形。
第 3/3 步:由循环不等式矛盾推出 AZ=CX 与 AW=CY
AZ>CX ⟹ CY>AW ⟹ BW>DY ⟹ DZ>BX ⟹ CX>AZAZ>CX\ \Longrightarrow\ CY>AW\ \Longrightarrow\ BW>DY\ \Longrightarrow\ DZ>BX\ \Longrightarrow\ CX>AZ
详细分析

三角形 AWZAWZ 与 CYXCYX 有相同的顶角 ∠A=∠C\angle A=\angle C 和相同的内切圆半径 r1=r3r_1=r_3,故两邻边满足同一递减关系;同理 △BXW\triangle BXW 与 △DZY\triangle DZY 共享 ∠B=∠D\angle B=\angle D 与 r2=r4r_2=r_4。若 AZ≠CXAZ\ne CX,不妨设 AZ>CXAZ>CX。由 A,CA,C 处的单调性得 CY>AWCY>AW;用 AB=CDAB=CD 相减得 BW=AB−AW>CD−CY=DYBW=AB-AW>CD-CY=DY;再由 B,DB,D 处的单调性得 DZ>BXDZ>BX;用 DA=BCDA=BC 相减得 CX=BC−BX>DA−DZ=AZCX=BC-BX>DA-DZ=AZ,与 AZ>CXAZ>CX 矛盾。因此 AZ=CXAZ=CX 且 AW=CYAW=CY(从而 DZ=BXDZ=BX 且 BW=DYBW=DY)。于是据边角边有 △AWZ≅△CYX\triangle AWZ\cong\triangle CYX 及 △BXW≅△DZY\triangle BXW\cong\triangle DZY,得 WZ=YXWZ=YX 且 WX=ZYWX=ZY,故 WXYZWXYZ 是平行四边形。