Xét ` Δ ADE ` và ` Δ ABC ` có:
` AD = AB `
` AE = AC `
` DE = BC `
` => Δ ADE = Δ ABC ` ` ( c.c.c ) `
` => \hat{DAE} = \hat{BAC} `
Mà ` \hat{DAE} + \hat{BAC} + \hat{EAC} + \hat{BAD} = 360° `
` 2\hat{BAC} + 90° + 90° = 360° `
` => 2\hat{BAC} = 360° - ( 90° + 90° ) = 180° `
` => \hat{BAC} = 180° : 2 = 90° `
Vậy ` \hat{BAC} = 90° `