Cho tứ diện $ABCD.$ Chứng minh rằng:
a) Nếu $AB=AC=AD$ và $\widehat{BAC}=\widehat{CAD}=\widehat{BAD}$ thì $AB\perp CD;\,AC\perp BD;\,AD\perp BC.$
b) Nếu $AB=AC=AD$ và $\widehat{BAC}=\widehat{BAD}=60^o;\,\widehat{CAD}=90^o$ thì $IJ\perp AB;\,IJ\perp CD.$ (Với $I,\,J$ là trung điểm $AB,\,CD).$