Hai đoạn thẳng AB và CD cắt nhau tại trung điểm O của mỗi đoạn thẳng

a) Xét ΔOAD và ΔOBC có

OA=OB(gt)AOD^=BOC^(dd)OD=OC(gt)

Khi đó: ΔOAD=ΔOBC (c.g.c)

b) Xét ΔOBD và ΔOACcó:

OB=OA(gt)BOD^=AOC^(dd)OD=OC(gt)

Khi đó: ΔOBD=ΔOAC (c.g.c)

Suy ra BDO^=ACO^ (cặp góc tương ứng)

Mà BDO^ và ACO^ ở vị trí so le trong

=> AC // BD