Why is the inradius of any triangle at most half its circumradius? Is there any geometrically simple reason why the inradius of a triangle should be at most half its circumradius? I end up wanting the fact for this answer.
I know of two proofs of this fact.
Proof 1:
The radius of the nine-point circle is half the circumradius. Feuerbach's theorem states that the incircle is internally tangent to the nine-point circle, and hence has a smaller radius.
Proof 2:
The Steiner inellipse is the inconic with the largest area. The Steiner circumellipse is the circumconic with the smallest area, and has 4 times the area of the Steiner inellipse. Hence the circumcircle has at least 4 times the area of the incircle.
These both feel kind of sledgehammerish to me; I'd be happier if there were some nice Euclidean-geometry proof (or a way to convince myself that no such thing is likely to exist, so the sledgehammer is necessary).
EDIT for ease of future searching: The internet tells me this is often known as "Euler's triangle inequality."

Compute the area of a triangle (first method):
Consider the following diagram:
$\hspace{4.5cm}$
The area of the green triangle is
$$
A=\tfrac12ab\sin(\theta)\tag{1}
$$
By the Inscribed Angle Theorem, the angle that $c$ subtends at the origin, $o$, is $2\theta$. Therefore, we get that
$$
c=2R\sin(\theta)\tag{2}
$$
Combining $(1)$ and $(2)$ yields
$$
4AR=abc\tag{3}
$$
Compute the area of a triangle (second method):
Consider the following diagram:
$\hspace{4.5cm}$
Note that the areas of the the red ($\color{#C00000}{\triangle iyz}$), green ($\color{#00A000}{\triangle izx}$), and blue ($\color{#0000FF}{\triangle ixy}$)  triangles are $\frac12r$ times $a$, $b$, and $c$, respectively. Therefore, we get
$$
2A=r(a+b+c)\tag{4}
$$
Compute $d$:
Translate the circumcenter, $o$, of $\triangle xyz$ to the origin. Then
$$
|x|=|y|=|z|=R\tag{5}
$$
Furthermore, using $a=|y-z|$, $b=|z-x|$, and $c=|x-y|$, we get
$$
\begin{align}
2y\cdot z&=2R^2-a^2\tag{6a}\\
2z\cdot x&=2R^2-b^2\tag{6b}\\
2x\cdot y&=2R^2-c^2\tag{6c}
\end{align}
$$
Explanation:
$\text{(6a)}$: $a^2=(y-z)\cdot(y-z)=|y|^2+|z|^2-2y\cdot z$, then apply $(5)$
$\text{(6b)}$: $b^2=(z-x)\cdot(z-x)=|z|^2+|x|^2-2z\cdot x$, then apply $(5)$
$\text{(6c)}$: $c^2=(x-y)\cdot(x-y)=|x|^2+|y|^2-2x\cdot y$, then apply $(5)$
As mentioned above, the areas of the the red ($\color{#C00000}{\triangle iyz}$), green ($\color{#00A000}{\triangle izx}$), and blue ($\color{#0000FF}{\triangle ixy}$)  triangles are proportional to $a$, $b$, and $c$, respectively. Thus, the barycentric coordinates of the incenter, $i$, are the mean of the vertices weighted by the lengths of the opposite sides:
$$
i=\frac{ax+by+cz}{a+b+c}\tag{7}
$$
and therefore, using $(3)$-$(7)$ yields that $d$, the distance between the incenter and circumcenter, satisfies
$$
\begin{align}
d^2
&=\frac{a^2R^2+b^2R^2+c^2R^2+2abx\cdot y+2bcy\cdot z+2caz\cdot x}{(a+b+c)^2}\tag{8a}\\
&=\frac{a^2R^2+b^2R^2+c^2R^2+ab(2R^2-c^2)+bc(2R^2-a^2)+ca(2R^2-b^2)}{(a+b+c)^2}\tag{8b}\\
&=\frac{(a+b+c)^2R^2-(a+b+c)abc}{(a+b+c)^2}\tag{8c}\\[3pt]
&=R^2-\frac{abc}{a+b+c}\tag{8d}\\[6pt]
&=R^2-2Rr\tag{8e}\\[12pt]
&=R(R-2r)\tag{8f}
\end{align}
$$
Explanation:
$\text{(8a)}$: take the dot product of $(7)$ with itself and apply $(5)$
$\text{(8b)}$: apply $(6)$ to the dot products
$\text{(8c)}$: collect terms
$\text{(8d)}$: simplify
$\text{(8e)}$: apply $(3)$ and $(4)$
$\text{(8f)}$: factor
Since $d^2\ge0$, and $R>0$, we immediately get that
$$
r\le\tfrac12R\tag9
$$
