قضیهٔ حِمار (Donkey Theorem) یا نامساوی مثلثی، که در میان عوام به اشتباه اصل حمار نیز نامیده میشود، قضیهای در هندسه اقلیدسی است که میگوید همواره کوتاهترین مسیر بین دو نقطه، خط راست است. این اصل بدین دلیل حمار نامیده شدهاست که چنین استنباط میکند که اگر خری را در یک رأس مثلث (a) قرار دهیم و بوته یا علفی را در رأس دیگر آن(c) ، حیوان همواره کوتاهترین مسیر (ac) را برای رسیدن به غذا بر میگزیند و از رأس b عبور نخواهد کرد. به عبارت دیگر همواره مجموع دو ضلع یک مثلث، از اندازه ضلع سوم بزرگتر است.
در هندسه به کوتاهترین فاصله بین دو نقطه، ژئودزیک (Geodesic) میگویند. ژئودزیک دو نقطه در روی سطح با انحنا صفر یک خط راست است. این قضیه را میتوان توسط حساب وردشی (حساب تغییرات) و وردش عنصر فاصله اثبات کرد.