两道IMO几何题的另证

题1在ΓABC中,已知∠BCA=90°,D为过顶点C的高的垂足。设X为线段CD内部的一点,K为线段AX上一点,使得BK=BC,L为线段BX上一点,使得AL=AC。设M为AL与BK的交点。证明：MK=ML。（第53届IM0）证法1如图1,设H为ΓXAB的垂心,AX⊥HB于点F,BX⊥HA于点E。联结HK、HL、DK、DL。