a) +) Ta có:

^BOC = 90\(^o\)+ \(\frac{\widehat{BAC}}{2}\)= 120\(^o\)

+) OF là phân giác của ^BOC 

=> ^BOF = ^COF = 60\(^o\)

+) Ta có: ^BOE + ^BOC = 180\(^o\)

=> ^BOE = 180\(^o\)- 120 \(^o\)= 60 \(^o\)

=> ^DOC = ^BOE = 60 \(^o\) ( đối đỉnh)

+) Xét \(\Delta\)OBF và \(\Delta\)OBE có:

^BOF = ^BOE = 60\(^o\)

OB chung 

^OBF = ^OBE ( BO là phân giác ^EBF )

=> \(\Delta\)OBF = \(\Delta\)OBE 

=> OE = OF (1)

+) Xét \(\Delta\)ODC và \(\Delta\)OFC có:

^DOC = ^FOC = 60\(^o\)

OC chung 

^DCO = ^FCO ( CO là phân giác ^DCF )

=> \(\Delta\)ODC = \(\Delta\)OFC 

=> OD = OF (2)

Từ (1); (2) => OD = OE = OF
b) Ta có: OE = OF => \(\Delta\)OEF cân và ^EOF = ^EOB + ^FOB = 60\(^o\)+60\(^o\)=120\(^o\)

=> ^OEF = ^OFE = ( 180\(^o\)-120\(^o\)) : 2 = 30 \(^o\)

Tương tự ta có thể chứng minh đc:

^OFD = ^ODF = 30\(^o\)

^OED = ^ODE = 30\(^o\)

=> ^DFE = ^DEF = ^EDF = 30\(^o\)+30\(^o\)= 60\(^o\)

=> Tam giác DEF đều 

Tại sao ^BOC = 90\(^o+\frac{\widehat{BAC}}{2}\). Em nên nhớ nó bởi vì sẽ ứng dụng vào rất nhiều bài.

Xét \(\Delta\)BOC có: ^BOC + ^BCO + ^CBO = 180\(^o\)

=> ^BOC = 180\(^o\)- ( ^BCO + ^CBO ) = 180\(^o\)- ( \(\frac{1}{2}\)^BCA + \(\frac{1}{2}\)^CBA) = 180\(^o\)- \(\frac{1}{2}\)( ^BCA + ^CBA) (1)

Xét \(\Delta\)ABC có: ^BAC + ^BCA + ^ABC = 180\(^o\)=> ^BCA + ^ABC = 180\(^o\)- ^BAC (2)

Từ (1); (2) =>  ^BOC = 180\(^o\) - \(\frac{1}{2}\)( 180\(^o\) - ^BAC ) = 90\(^o\)+  \(\frac{\widehat{BAC}}{2}\)