可证RT三角形OBE和RT三角形ODE全等,所以BE=DE.OD=OA=OB 可证角C等于角EDC ,所以DE=EC.所以DE=BC的一半
TAN是什么呢?你可以根据上一步的结果来证,我不明白你说的TAN角C?