`M = a/(a + b) + b/(b + c) + c/(c + a)`
`⇒ M > a/(a + b + c) + b/(b + c + a) + c/(c + a + b)`
`⇒ M > (a + b + c)/(a + b + c)`
`⇒ M > 1 (1)`
`M = a/(a + b) + b/(b + c) + c/(c + a)`
`⇒ M < (2a)/(a + b+ c) + (2b)/(b + c + a) + (2c)/(c + a + b)`
`⇒ M < (2a + 2b + 2c)/(a + b + c)`
`⇒ M < (2(a+b+c))/(a + b + c)`
`⇒ M < 2 (2)`
Từ `(1)` và `(2)` suy ra :
`1< M < 2`
`⇒ M` không nguyên
`⇒ đpcm`