Với góc lượng giác (OA, OM) có số đo ∝, xét góc lượng giác (OA, ON) có số đo 2∝ (M và N cùng nằm trên đường tròn lượng giác gốc A). Khi đó, với mọi ∝ so cho M nằm trong góc phần tư I của hệ tọa độ gắn với đường tròn đó (M không nằm trên trục tọa độ), điểm N luôn: