Let ABC be a triangle having O and I as its circumcenter and in centre respectively. If R and r are

Q: Wait, why is the angle $\angle OAI = |B-C|/2$?

This is a classic result in triangle geometry. The line $AI$ is the angle bisector of $\angle A$, and $AO$ is the circumradius. The angle between the circumradius and the angle bisector is always half the difference of the other two angles, $|B-C|/2$. It is a beautiful property that links the circumcenter and incenter!

Q: Can we use coordinate geometry instead of pure geometry?

You absolutely can! You could place the circumcenter at the origin and use the coordinates of the incenter. However, the algebraic manipulation becomes significantly more tedious. The pure geometric approach using the Cosine Rule is much more elegant and is the standard way to appreciate the beauty of Euler's Theorem.

Q: Why does the condition for $\Delta BIO$ being right-angled lead to $2b = a+c$?

When we assume $\angle BIO = 90^\circ$, we apply the Pythagorean theorem to $\Delta BIO$. This gives us a specific relationship between $R$ and $r$. By substituting the standard formulas for $R$ and $r$ in terms of the sides $a, b, c$, the equation simplifies to $b = 2(s-b)$. Since $2s = a+b+c$, this simplifies directly to $2b = a+c$, which is the definition of $b$ being the arithmetic mean of $a$ and $c$.

Question

Let $ABC$ be a triangle having $O$ and $I$ as its circumcenter and in centre respectively. If $R$ and $r$ are the circumradius and the inradius, respectively, then prove that $(IO)^2 = R^2 - 2Rr$. Further show that the triangle $BIO$ is a right-angled triangle if and only if $b$ is arithmetic mean of $a$ and $c$.

Sigma Percentile · Accepted Answer

### The Harmony of Triangle Centers: A Journey into Euler's Theorem

Welcome, fellow explorers of geometry! Today, we are not just solving a problem; we are uncovering a hidden symmetry within the triangle.

Imagine a triangle $\Delta ABC$. It has a circumcenter $O$, the heart of its circumcircle, and an incenter $I$, the heart of its incircle.

At first glance, these two points seem to exist in different worlds. But there is a profound, elegant connection between them, known as Euler's Theorem. Our mission is to prove that the distance between them, $OI$, satisfies the beautiful relation $OI^2 = R^2 - 2Rr$.

### Analyzing the Setup

To find the distance $OI$, we need a bridge. Let us construct $\Delta AOI$ by connecting the vertex $A$ to both $O$ and $I$.

We know $OA$ is the circumradius, $R$. The segment $AI$ is the distance from the vertex to the incenter, which is given by $AI = \frac{r}{\sin(A/2)}$.

The angle $\angle OAI$ is a classic geometric result: it is $\frac{|B - C|}{2}$. With two sides and the included angle, the path forward is clear: the Cosine Rule is our best friend.

Applying the Cosine Rule to $\Delta AOI$, we get:

$$OI^2 = OA^2 + AI^2 - 2(OA)(AI) \cos(\angle OAI)$$

Substituting our known values, we have:

$$OI^2 = R^2 + \frac{r^2}{\sin^2(A/2)} - 2R \left( \frac{r}{\sin(A/2)} \right) \cos\left( \frac{B - C}{2} \right)$$

### The Algebraic Alchemy

This equation looks daunting, but do not be afraid. We have a secret weapon: the identity $r = 4R \sin(A/2) \sin(B/2) \sin(C/2)$.

When we substitute this into our expression, the trigonometric terms begin to interact. We also expand $\cos(\frac{B - C}{2})$ as $\cos(B/2)\cos(C/2) + \sin(B/2)\sin(C/2)$.

As you perform the substitution and expansion, watch closely. The terms will begin to cancel out with a rhythmic precision.

After the algebraic dust settles, we are left with the stunningly simple result: **$OI^2 = R^2 - 2Rr$**. This is the essence of Euler's Theorem—a complex geometric reality distilled into a single, perfect line.

### The Right-Angled Twist

Now, let us push further. The problem asks us to consider a special case: when $\Delta BIO$ is a right-angled triangle at $I$.

If $\angle BIO = 90^\circ$, then by the Pythagorean theorem, we must have $OB^2 = OI^2 + IB^2$. We know $OB = R$, and we have our expression for $OI^2$.

The length $IB$ is similar to $AI$, given by $IB = \frac{r}{\sin(B/2)}$. Substituting these into the Pythagorean equation:

$$R^2 = (R^2 - 2Rr) + \frac{r^2}{\sin^2(B/2)}$$

Notice how $R^2$ cancels out immediately? It is as if the geometry is clearing the path for us. We are left with $2Rr = \frac{r^2}{\sin^2(B/2)}$, which simplifies to $2R \sin^2(B/2) = r$.

### The Final Connection

To finish, we translate this into the language of sides $a, b, c$. Using the identities $r = \frac{\Delta}{s}$, $R = \frac{abc}{4\Delta}$, and $\sin^2(B/2) = \frac{(s-a)(s-c)}{ac}$, we substitute everything back into our equation.

The terms $a$ and $c$ cancel out, and after using Heron's formula $\Delta^2 = s(s-a)(s-b)(s-c)$, we arrive at the simple linear relation $b = 2(s-b)$.

Since $2s = a+b+c$, this becomes $b = a+b+c - 2b$, which rearranges to $2b = a+c$.

And there it is! The condition for $\Delta BIO$ to be right-angled is exactly that **$b$ is the arithmetic mean of $a$ and $c$**. We have traveled from the depths of triangle centers to the simplicity of arithmetic means. Geometry is truly a beautiful language.

Visualized Solution

Introduction to the Geometry

Analyzing $Δ A O I$

Applying the Cosine Rule

Substituting the Values

Simplifying the Expression

Euler's Theorem for Distance $O I$

Condition for Right-Angled $Δ B I O$

Applying Pythagoras Theorem

Substituting Lengths into Pythagoras

Simplifying the Equation

Expressing in Terms of Sides $a, b, c$

Algebraic Simplification

Final Conclusion: Arithmetic Mean

The Sigma Insight: Properties of Triangles

The Harmony of Triangle Centers

Analyzing the Setup

The Algebraic Alchemy

The Right-Angled Twist

The Final Connection

Similar Questions

Let $a, b$ and $c$ be the length of sides of a triangle $A B C$ such that $\frac{a + b}{7} = \frac{b + c}{8} = \frac{c + a}{9}$ . If $r$ and $R$ are the radius of incircle and radius of circumcircle of the triangle $A B C$ , respectively, then the value of $\frac{R}{r}$ is equal to

In a triangle $A B C$ , let $∠ C = \frac{π}{2}$ . If $r$ is the inradius and $R$ is the circumradius of the triangle $A B C$ , then $2 (r + R)$ equals

In a triangle $A B C$ , let $∠ C = π /2$ . If $r$ is the inradius and $R$ is the circumradius of the triangle, then $2 (r + R)$ is equal to

In $△ A B C$ , the lengths of sides AC and AB are 12 cm and 5 cm, respectively. If the area of $△ A B C$ is 30 cm $^{2}$ and R and r are respectively the radii of circumcircle and incircle of $△ A B C$ then the value of $2 R + r$ (in cm ) is equal to

$A B C$ is a triangle. $D$ is the middle point of $B C$ . If $A D$ is perpendicular to $A C$ , then prove that $cos A cos C = \frac{2 ( c ^{2} - a ^{2} )}{3 a c}$ .

In a triangle the sum of two sides is $x$ and the product of the same sides is $y$ . If $x^{2} - c^{2} = y$ , where $c$ is the third side of the triangle, then the ratio of the in-radius to the circum-radius of the triangle is