b) Vì tứ giác ABCD là hình thoi nên AB = BC = CD = DA.

Xét ∆ABC và ∆ADC có:

AB = AD (chứng minh trên);

BC = CD (chứng minh trên);

Cạnh AC chung.

Do đó ∆ABC = ∆ADC (c.c.c)

Suy ra A^1=A^2 (hai góc tương ứng)

Hay AC là đường phân giác của góc A.

Tam giác ABD cân tại A có AO là đường phân giác của góc A (vì AC là đường phân giác góc A) nên AO cũng là đường cao.

Khi đó AO ⊥ BD hay AC ⊥ BD.

Vậy AC vuông góc với BD và AC là đường phân giác của góc A.