Hai đường chéo của hình bình hành ABCD cắt nhau tại O. Gọi M, N, P, Q theo thứ tự là giao điểm các đường phân giác trong của các tam giác OAB, tam giác OBC, tam giác OCD, tam giác ODA.
a) Chứng minh tứ giác MNPQ là hình thoi
b) Với điều kiện nào thì MNPQ là hình vuông.