Trong hình học Euclid, hình thang cân là hình thang có hai góc kề một cạnh đáy bằng nhau. Hình thang cân là 1 trường hợp đặc biệt của hình thang. Tổng quát, ta có:
◊ A B C D {\displaystyle \Diamond ABCD} là hình thang cân (đáy A B {\displaystyle AB} , C D {\displaystyle CD} ) ⟺ { A B ∥ C D ∠ A = ∠ B , ∠ C = ∠ D {\displaystyle \Longleftrightarrow {\begin{cases}AB\parallel CD&\\\angle A=\angle B,\angle C=\angle D\end{cases}}}