ค่าเฉลี่ยเลขคณิตของ 2sin2^o, 4sin4^o, 6sin6^o, ... , 180sin180^o มีค่าเท่ากับ cot1^o