《几何原本》中的几何代数法（用几何方法研究代数问题）成了后世西方数学家处理问题的重要依据根据这一方法，很多代数公理、定理都能够通过图形实现证明，并称之为“无字证明”如图所示，AB是半圆O的直径，点C是AB上一点（不同于A，B，），点D在半圆O上，且 ， 于点设 ， ， 则该图形可以完成的“无字证明”为（ ）