LẤy K sao cho K là TD BB'
BB" // CC" ( cùng vuông góc với d )
=> B'BCC' là HT
HT B'BCC' có BM = MC ( m là trung điểm)
KB' = KC' ( K là tđ)
=> KM là đg tb => KM = 1/2 ( BB' + CC") => 2KM = BB' + CC' (1)
và KM // BB ; BB" vuông góc với d => KM vuông góc với d
Xetsa tam giác AOA' vuông tại A' và tam giác KOM vuông tại K có
OA = OM ( O là tđ)
AOA' = MOA ( đối đỉnh)
=> tam giác AOA' = KOM ( cạnh huyề - góc nhọn)
=> AA' = KM ( hai cạnh tương ứng ) (2)
Từ (1) và (2) => ĐPCM