MathLabs

Problem 2

Given a nondegenerate triangle ABCABC, with circumcentre OO, orthocentre HH, and circumradius RR, prove that ∣OH∣<3R|OH|<3R.
Step 4 of 4: Exclude equality
∣OH∣<3R|OH|<3R
Detailed analysis

Equality in the triangle inequality would require a,b,ca,b,c to have the same direction, so the three vertices would be collinear. A nondegenerate triangle is not collinear; hence ∣OH∣<3R|OH|<3R.