Problem 2
Given a nondegenerate triangle , with circumcentre , orthocentre , and circumradius , prove that .
Step 4 of 4: Exclude equality
Detailed analysis
Equality in the triangle inequality would require to have the same direction, so the three vertices would be collinear. A nondegenerate triangle is not collinear; hence .