正多角形が外接円を持つことって証明せずに使ってもいい?