什么是祖冲之点集?有什么符合的图形?