Phương trình cứng