Как выражается длина хорды a через радиус R и опирающийся на хорду вписанный угол A? ( формула + доказательство)

теорема косинусов c^2 = a^2 + b^2 - 2ab*cos
Здесь с - хорда, a,b - радиусы
хорда = корень из (2 R^2 - 2 R^2 cos A) = корень (R^2 (2- 2cosA)) = R корень (2 - 2cosA)