Phát biểu định lí về đường tròn ngoại tiếp và đường tròn nội tiếp của đa giác đều.