biện luận phương trình