>>197
△OA[1]A[k]は二等辺三角形なんだから
頂角の大きさ考えればOA[1]=OA[k]=1から分かるだろ。