図で、円に内接する△ABCは正三角形、AF//BCです。
点DはAC上の点です。
このとき、AD=AFであることを証明します。
緑の点を動かして，どんな性質があるか考えましょう。