Question

いつき

画像は、円内に正七角形の近似を描くための作図にあります。

正七角形の中心角度51.428571...に対して、中心角51.471...と誤差0.05以下になります。
画像の作図により、中心角51.471の三角形BAJがなぜ作図できるのか、証明していただけませんか。
辺の長さの情報などは、画像に記載してあります。
よろしくお願いします。

H
F
[1]
E
J
B
K
51.471°
A
G
D
AB = BA = EA = 1, DK = BG = √√3, GH = 2

作図 正七角形 近似 証明