cho (O) và (O') tiếp xúc ngoài tại A kẻ tiếp tuyến chung ngoài MN ( M .N lần lượt thuộc (O) (O')) P đối xứng M , Q đối xứng N qua OO' .CM : MNPQ là hình thang cân
Xét haj tam gják NMO và tam gják QPO ta có
ON=OQ( O nằm trên đường trung trực của NQ). Gók MON=POQ( em chỉ ra rằng gók
O'OP=O'OM và gók
NOO'=QOO' là x0ng). Ta còn có OM=OP(P đốj xứng vớj M)
từ đó suy ra haj tam gják bằng nhau suy ra MN=PQ. Mặc khák dễ dàng cm MP song song NQ do cùng vuông gók OO'. Từ đó ta có MPQN là hjnh thang cân