Cho \(\bigtriangleup ABC\) vuông cân tại A. D là điểm tùy ý của cạnh AC. Từ A kẻ đường vuông góc với BD cắt BC tại E. Từ C kẻ đường vuông góc với AC cắt AE tại G. Kéo dài ED lấy điểm F sao cho DF=DE. Chứng minh rằng:
a) \(\bigtriangleup BAD = \bigtriangleup ACG\)
b) \(\bigtriangleup AEF \) cân