Tại viên nội, như quả lưỡng điều huyền hỗ tương thùy trực, tắc hữu dĩ hạ định lý:

1. Huyền đích thùy trực định lý: Như quả lưỡng điều huyền tại viên đích nội bộ tương giao, tịnh thả tương giao điểm dữ viên tâm liên tuyến thùy trực vu lưỡng điều huyền đích giao điểm, na ma giá lưỡng điều huyền hỗ tương thùy trực.

2. Huyền hồ thùy trực định lý: Như quả nhất điều huyền dữ viên thượng đích nhất điều hồ tương giao, tịnh thả dữ hồ thượng đích thiết tuyến thùy trực, na ma giá điều huyền dữ hồ đích lưỡng cá đoan điểm liên tuyến sở giáp đích viên tâm giác thị hồ sở đối đích huyền đích lưỡng bội.

Giá ta định lý khả dĩ dụng lai giải quyết dữ viên nội thùy trực huyền tương quan đích kỉ hà vấn đề, lệ như kế toán viên tâm giác, huyền trường đẳng.