如图,AE是圆O的直径,三角形ABC内接于圆O,AE与BC相交于点D,求证:AD/DE=tanB乘以tanC。