在RT三角形ABC中，角ACB=90度，AC=BC，D为BC中点，CE垂直AD于点E，交AB于F，连DF，求证角ADC=角BDF。