已知角1等于角2等于角3,试说明AB*AE=AD*AC