Quan sát Hình 4. Chứng minh rằng: a) AB // CD và EF // CD.

a) Vì $AB\perp BC; CD\perp BC$ nên AB // CD (cùng vuông góc với BC).

Vì $EF\perp DE; CD\perp DE$ nên EF // CD (cùng vuông góc với DE).

Vậy AB // CD và EF // CD.

b) Vì AB // CD và EF // CD nên AB // EF (cùng song song với CD).

Vậy AB // EF.