如圖,把三角形ABO以A點逆時針旋轉60度得三角形ACD,可見,由AO,BO,CO組成得三角形即三角形OCD,易得角COD=y-pi/3 (弧度pi即180度),角OCD=x-pi/3, 角ODC=5pi/3-x-y