A theorem on regular n-gons (n is even)

AB=BR. D is the vertex number n/2 if A is the 0th vertex, B is the second one, and so on. Here n=16.

Information: A theorem on regular n-gons (n is even)