Prove that $\angle ABC <$ $ 84^\circ$.

The figure shows $\triangle ABC$ with incenter $I$, inradius $r$, circumcenter $K$, and circum-half-radius $s:=|KS|$, where $S$ is the midpoint of $\overline{BC}$. (Since $\angle BKC=2\angle BAC=120^\circ$, we conclude $\triangle CKS$ is $30^\circ$-$60^\circ$-$90^\circ$, so that $|KS|$ is half the circumradius $|KC|$.)

enter image description here

Now, the amount that $\angle B$ falls short of $90^\circ$ is the same the amount that $\angle C$ exceeds $30^\circ$; that's $\theta := \angle KCA$, and we have $$\cos\theta = \frac{|AC|/2}{|KC|}=\frac{|AT|+|CT|}{4s}=\frac{|AT|+|CS|+|SR|}{4s}=\frac{(r+s)\sqrt{3}+p}{4s} \tag{1}$$ where $$p^2 = r^2-(s-r)^2=s(2r-s) \tag{2}$$

From here, it's just a bit of algebra.

As in @dan_fulea's answer, we invoke Euler's formula, with circumradius $2s$ and incenter-to-circumcenter distance $r$:

$$r^2 = 4s(s-r) \quad\to\quad r = 2s (\sqrt{2}-1) \quad\to\quad p = s \sqrt{4 \sqrt{2}-5} \tag{3}$$

(where I've discarded negative $r$ and $p$ candidates) so that

$$\cos\theta = \frac14\left(\;(2\sqrt{2}-1)\sqrt{3}+\sqrt{4\sqrt{2}-5}\;\right) \tag{4}$$

It happens that $\theta = 6.09429\ldots^\circ$, from which the desired result follows. However, demonstrating this with a clean geometric argument eludes me. (See @dan's discussion.) Given that $\cos 6^\circ-\cos\theta \approx 0.00017$, there isn't a great deal of room to play.


Let $a,b,c$ be the sides of the given triangle $\Delta =\Delta ABC$, we denote by $p=(a+b+c)/2$ its half-perimeter, by $R,r$ the radius of the circumcircle, respectively of the inscribed circle, and by $S$ the area of $\Delta$.

Euler's relation, wiki link, gives $$r^2=R(R-2r)\ .$$ The corresponding equation of second degree is $0=R^2-2rR-r^2$, giving $R/r=1\pm \sqrt 2$, and we of course take only the positive choice. It is time to norm, let us consider below the case with $$R = 1\ ,\qquad r=\sqrt 2-1\ .$$

We show first algebraically that under these circumstances there is exactly one solution of the given problem (with $b>c$). Then we explore also a geometric path.


From $\frac a{\sin A}=2R$ we obtain $a=2R\sin 60^\circ=\sqrt 3$.

Then we also have by the generalized theorem of Pythagoras a relation between $b,c$: $$ b^2+c^2-bc = b^2 +c^2-2bc\cos A=a^2 =3\ .$$ We need one more equation. The area $S$ appears in the formulas involving $r,R$ $\displaystyle R=\frac {abc}{4S}$, and $\displaystyle S = pr$, joining them, we get $$ 2(a+b+c)(\sqrt 2-1) = 4p\; rR = 4RS = abc\ . $$ This is the second equation in $b,c$. The two homogenous equations can be written simpler using the sum $\Sigma =b+c$, and the product $\Pi=bc$ of the two unknowns $b,c$, we get the system $$ \left\{ \begin{aligned} \Sigma^2-3\Pi &= 3\ ,\\ 2(\sqrt 3+\Sigma )(\sqrt 2-1) &= \sqrt 3\Pi\ . \end{aligned} \right. $$ We substitute $\Pi$ from the second equation in the first one, eliminate it, and obtain for $\Sigma$ the equation: $$ \Sigma^2 - 2\sqrt 3(\sqrt 3+\Sigma )(\sqrt 2-1) = 3 \ .$$ The roots are $\Sigma = \sqrt3(\sqrt 2-1)\pm\sqrt6$. Only the positive solution counts, $\Sigma=\sqrt3(2\sqrt 2-1)$. Then $\Pi = 8-4\sqrt 2$. Then $\Sigma^2-4\Pi = 4\sqrt 2-5= (\sqrt 2-1)^2(2\sqrt 2+1)$. We get the explicit formulas for $b,c$, $$ b,c =\frac 12\Big(\ \sqrt3(2\sqrt 2-1)\pm (\sqrt 2-1)\sqrt{2\sqrt 2+1}\ \Big)\ . $$


Please allow here a quick computer check, so that i can go on.

sage: R, r, a, Sigma, Pi = 1, sqrt(2)-1, sqrt(3), sqrt(3)*(2*sqrt(2) - 1), 8-4*sqrt(2)
sage: b = ( sqrt(3)*(2*sqrt(2)-1) + (sqrt(2)-1)*sqrt(2*sqrt(2)+1) ) / 2
sage: c = ( sqrt(3)*(2*sqrt(2)-1) - (sqrt(2)-1)*sqrt(2*sqrt(2)+1) ) / 2
sage: ( b^2 + c^2 - b*c ).n()
3.00000000000000
sage: ( b+c - Sigma ).n()
0.000000000000000
sage: ( b*c - Pi ).n()
8.88178419700125e-16
sage: ( 2*(a+Sigma)*r*R - a*Pi ).n()
1.77635683940025e-15
sage: ( arcsin( b/2*R ) / pi * 180 ).n()
83.9057117814039

Well, numerically the angle in $B$ in our triangle is slightly bigger than $83.9^\circ$, and we have to show that it is $<84^\circ$. This is a very close approximation.

Can we really find a (simple) geometric argument (instead of the above algebraic computation)?


Some geometric thoughts to construct the triangle are as follows.

We draw a circle of radius one, $R=1$, centered in a point $O$, consider the points $M,B,C$ on it so that $\Delta MBC$ is equilateral, and search the "right place" on the same circle for the vertex $A$, so that the circle inscribed in $\Delta ABC$ passes through $O$. We assume the knowledge of its existence and uniqueness.

Let $L$ be the symmetric of $M$ w.r.t. $O$, so $ML$ is a diameter. Then $I$ is on $AL$, since $L$ is on the angle bisector $AI$ of the angle $A$, since it divides the arc $\overset \frown{BC}$ in two equal arcs. So $I$ is on the circle centered in $O$ with radius $r=\sqrt 2-1$.

Let $D,E,F$ be the projections of $I$ on the sides $BC$, $CA$, $AB$. Then $\Delta AIE=\Delta AIF$ have the angles $30^\circ$, $60^\circ$, $90^\circ$, which implies $AI=2IE=2IF=2r$.

In the triangle $\Delta BIL$ the angles in $B$ and $I$ are equal, so $IL=BL=BO=R=1$.

So $LA=1+2r=1+2(\sqrt 2-1)=2\sqrt 2-1< 2$. We can now construct $A$ in this way. We can compute now explicitly also $AM$, well $AM^2=4\sqrt 2-5$.

The fact that $\hat B=\widehat{ABC}=\widehat{ABM}+\widehat{MBC} =\widehat{ABM}+60^\circ<84^\circ$ is equivalent to $$ \widehat{ABM}=\widehat{ALM}<24^\circ\ ,$$ and we may work to get a proof by comparing $AM$ with the side $XM$ of the corresponding regular polygon with $\widehat{XLM}=24^\circ$.

(Or we may compute the chord corresponding to the triple of the above angle, and use the knowledge of the side of the $5$-gon to compare explicitly.)


I may come back with a picture and more details if this is still relevant, please mention the point to put accent on in a short comment.


Below there is a geogebra picture of the construction of $\Delta ABC$ following the above description.

Special geometrical situation of a triangle with an angle of 60 degrees, when the circumcenter lies on the inscribed circle, stackexchange 3403579

Since the figure is overloaded, here is the order of introducing the objects.

  • We draw a circle with (blue) radius $R=1$ centered in a point $O$, and draw a point $M$ on it. We call this circle $(O)$ below.
  • We construct the regular polygons with three and four vertices, inscribed in the circle $(O)$ with one vertex in $M$. The equilateral triangle constructed is denoted by $\Delta MBC$. From the square we need later only the construction of $\sqrt 2$. Let $L$ be so that $ML$ is a diameter, so $ML=2R=2$.
  • We construct as in the figure the length $2\sqrt 2-1< 2$ and draw a big circle centered in $L$ with this radius. It intersects the circle $(O)$ in two points, we denote by $A$ the intersection point closer to $B$.
  • We construct $I$, the incenter of $\Delta ABC$.
  • Then $O$ is on the circle centered in $I$ and radius $r=\sqrt 2-1$.

Geogebra can mark angles with their value, so asking it for this service, we get the approximative value shown in the figure, $\color{magenta}{\approx 83.9057^\circ}$.