Теоремата за очните ябълки гласи: ако за две не пресичащи се окръжности се построят двойка допирателни с начална точка центъра на другата окръжност, то отсечките свързващи пресечните им точки с окръжността са равни.
Алгоритъмът на построителната задача теорема за очните ябълки съдържа следните стъпки:
посочват се две двойки точки за център и дължина на радиус за две не пресичащи се окръжности - за изчисляване дължината за радиуса на всяка от окръжностите се ползва алгоритъм за изчисляване на разстояние между две точки;
в цикъл последователно се построяват двете двойки допирателни Q1, Q2, O3, O4 - ползва се алгоритъм за построяване на допирателна от точка външна за окръжност;
в цикъл последователно се изчисляват координати за всяка пресечна точка (K, L, M, N) на допирателната (допирни точки 1, 2, 3, 4) с окръжността, чийто център е началната точка на поредната допирателна;
изчисляват се дължините на двете отсечки KL, MN - алгоритъм разстояние между две точки;
сравняват се двете стойности за проверка на основното твърдение в теорема за очните ябълки.
Разгледайте други основни типове примерни проекти, за чиято реализация се използват теореми от изчислителна геометрия. Потърсете допълнителен материал за: окръжност, теорема на Мансион, лема за тризъбеца, теорема на Пап, теорема на Дезарг, допирателна.