>>317
作図して計測して検証
https://i.imgur.com/6HOE4Y2.png
> angle(A,O,E)/angle(E,O,B) |> fractions()
[1] 6/7

朝飯前に作図が終わってよかった。