В задачата доказателство с питагорови тройки се разглежда правоъгълен триъгълник с отношение между дължини на страни представящо питагорова тройка. Построени външно квадрати към всяка от страните - вятърна мелница. Извежда се нагледно доказателство за питагорова теорема чрез тесалация. Всеки от квадратите към страните е представен със съответния брой квадрати с единична дължина. Задачата е от областта на занимателната геометрия.
Последователността на стъпките в алгоритъма реализиращ построителната задача доказателство с питагорови тройки са представени чрез азбучния ред на означените върхове/пресечни точки. Образуването на единичните квадрати се извършва в цикъл като се отчита дължина и ъгъл на наклон за съответната страна на референтния триъгълник.
За конкретния случай:
Sbdec = 3²;
Safgc = 4²;
Saijb = 5²;
Saijb = Sbdec + Safgc
5² = 3² + 4² - очакван резултат.
Разгледайте други основни примери и задачи, за чиято реализация се използват теореми от изчислителна геометрия. Потърсете допълнителен материал съдържащ подобни алгоритми за доказателства на питагорова теорема като: доказателство на Jing, доказателство с танграм, доказателство с карти на Wang, доказателство с дисекция.