[證明]孟式定理

恆毅同學提問

---

孟式是證三點共線

帥氏(ceva)是證三線共點