Решение 

`and`(`*`(cos, `*`(A)) = `/`(`*`(AC), `*`(AB)), `and`(`/`(`*`(AC), `*`(AB)) = `/`(`*`(sqrt(`+`(`*`(`^`(AB, 2)), `-`(`*`(`^`(BC, 2)))))), `*`(AB)), `/`(`*`(sqrt(`+`(`*`(`^`(AB, 2)), `-`(`*`(`^`(BC, 2))... 

`*`(cos, `*`(A)) = sqrt(`+`(1, `-`(`*`(`^`(`*`(8, `/`(1, 10)), 2))))) 

`*`(cos, `*`(A)) = `/`(3, 5) (8.2.1)