Не имея под рукой надлежащих учебных пособий и не имея возможности ими обзавестись, я натолкнулся на вопрос.
Если c=НОД(a,b), (a>b) то можно представить наибольший общий делитель чисел а и b в виде:
a*x+b*y=c,
где х и у - целые. Но как это доказать
Была идея представить число a как bq+r, но куда девать переменные?
Теорию чисел вынужден самостоятельно учить второй день.
google.com не помог.