Автоматизированные системы по теореме Пифагора: примеры и применение