قضیه حمار
قضیهٔ حِمار یا نامساوی مثلثی، که در میان عوام به اشتباه اصل حمار نیز نامیده می‌شود، قضیه‌ای در هندسه اقلیدسی است که می‌گوید همواره کوتاه‌ترین مسیر بین دو نقطه، خط راست است. این اصل بدین دلیل حمار نامیده شده‌است که چنین استنباط میکند که اگر خری را در یک رأس مثلث قائم‌الزاویه قرار دهیم و بوته یا علفی را در رأس دیگر آن، حیوان همواره کوتاه‌ترین مسیر که همان وتراست را برای رسیدن به غذا بر می‌گزیند. یا اینکه همواره مجموع دو ضلع یک مثلث قائم‌الزاویه از وتر آن بیشتر است.
