13. 그림과 같이 선분 ABABAB를 지름으로 하는 반원의 호 ABABAB 위에 두 점 C,DC,DC,D가 있다. 선분 ABABAB의 중점 OOO에 대하여 두 선분 AD,COAD,COAD,CO가 점 EEE에서 만나고, CE‾=4, ED‾=32, ∠CEA=34π\overline{CE}=4,\ \overline{ED}=3\sqrt{2},\ \angle CEA=\frac{3}{4}\piCE=4, ED=32, ∠CEA=43π이다. AC‾×CD‾\overline{AC}\times\overline{CD}AC×CD의 값은? [4점]
