建立模型：如图1，已知△ABC，AC=BC，∠C=90°，顶点C在直线l上．

实践操作：过点A作AD⊥l于点D，过点B作BE⊥l于点E，求证：△CAD≌△BCE．