Cho a > b và c > d, chứng minh rằng a + c > b + d.

Từ a > b, suy ra a + c > b + c.

Từ c > d, suy ra b + c > b + d.

Do đó, theo tính chất bắc cầu của bất đẳng thức, ta suy ra a + c > b + d.