Trong mặt phẳng Oxy, nửa đường tròn (O, R) với R = 1 nằm phía trên trục Ox gọi là nửa đường tròn đơn vị. Cho trước nửa đường tròn đơn vị và góc nhọn . Ta luôn tìm được điểm M duy nhất sao cho : Gọi N là hình chiếu của M lên trục Ox. Tam giác OMN vuông tại N.