Do tam giác \(OAB\) cân tại \(O\) nên ta có \(\widehat {AOB} = 2\alpha \)
Tam giác \(OKA\) vuông tại \(K\) nên ta có:
\(AK = OA.\sin \widehat {AOK} \)\(\Rightarrow AK = a.\sin 2\alpha. \)
\(OK = OA.cos\widehat {AOK} \)\(\Rightarrow OK = a.cos2\alpha .\)