สมการที่เป็นจริง