Lý thuyết về căn thức bậc hai và hằng đẳng thức