CMO 1993 Problem 3

In triangle $ABC,$ the medians to the sides $\overline{AB}$ and $\overline{AC}$ are perpendicular. Prove that $\cot B+\cot C\ge \frac23.$

Dataset text AI-MO AoPS. Quoted with source.

Solutions

No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.