Gọi O là giao điểm của AC và BD
⇒ OA = OC, OB = OD (tính chất hình bình hành)
Kẻ OO' ⊥ xy
AA' ⊥ xy (gt)
CC' ⊥ xy (gt)
Suy ra: AA' // OO' // CC'
Tứ giác ACC'A' là hình thang có:
OA = OC (chứng minh trên)
OO' // AA' nên OO' là đường trung bình của hình thang ACC'A'.
⇒ OO' = (AA' + CC') / 2 (t/chất đường trung bình của hình thang) (1)
BB' ⊥ xy
DD' ⊥ xy (gt)
OO' ⊥ xy (gt)
Suy ra: BB'// OO' // DD'
Tứ giác BDD'B' là hình thang có:
OB = OD (Chứng minh trên)
OO' // BB' nên OO' là đường trung bình của hình thang BDD'B'.
⇒ OO' = (BB' + DD') / 2 (tính chất đường trung bình của hình thang) (2)
Từ (1) và (2) => AA' + CC' = BB + DD'