Как можно доказать ассоциативность НОК, т.е. [a, b, c] = [[a, b], c]. Используя факт, что
Код
(a, b, c) = ((a, b), c)
и
Код
(a, b) [a, b] = ab
, можно [[a, b], c] выразить через НОД. Но как быть с [a, b, c]?