Interoperable interactive geometry for Europe
I forgot my login data

Report a bug

Fan club

Quick Intro Videos
click to start movie
Create A Simple
GeoGebra Resource (25Mb)
click to start movie
Filing a review
click to start movie
Find a Resource

This platform is brought to you by the intergeo project, funded under the eContent Plus programme of the European commission and by partners


circle_by_center_and_radius(c,C,s) states that c is the circle whose center is point C and whose radius is as long as segment s.

Originally, circle_by_center_and_radius(c,C,r) was going to accept a scalar as the radius. However, the discussion on scalars is not resolved yet.

Formal properties

circle_by_center_and_radius(C,P,r) and Q in C => distance(P,Q)=r


circle_by_center_and_radius(C,P,r) => forall Q in C, distance(P,Q)=r )