Chọn một định lí rồi kéo các điểm trên đường tròn: góc ở tâm gấp đôi góc nội tiếp, góc nội tiếp cùng chắn một cung, góc chắn nửa đường tròn, tứ giác nội tiếp, tiếp tuyến vuông góc với bán kính, hai tiếp tuyến cắt nhau, góc tạo bởi tiếp tuyến và dây cung, đường kính vuông góc với dây. Số đo góc và độ dài cập nhật liên tục để kiểm chứng định lí; có thể ẩn số đo để dự đoán và bật gợi ý chứng minh.