Proof: Invertibility implies a unique solution to f(x)=y

Nguồn gốc của đại số được tìm thấy trong các nền văn minh của người Ai Cập và Babylon cổ đại, là những người sử dụng đại số để giải các phương trình tuyến tính, phương trình bậc hai và phương trình vô định hơn 3.000 năm trước. Khoảng năm 300 TCN nhà toán học Hy Lạp Euclid (đọc là Ơclit) trong tập 2 của cuốn sách Những nguyên lý (Στοιχεία) gồm 13 tập đã nhắc tới phương trình bậc hai. Khoảng năm 100 TCN các phương trình đại số được giải trong cuốn sách toán học của người Trung Quốc Jiuzhang suanshu, (Cửu chương toán học). Khoảng năm 150 nhà toán học Hy Lạp Hero ở Alexandria đã giải các phương trình đại số trong 3 quyển tuyển tập toán học của mình.