16.7 Cirklens ligning