Perpendicularity with incenter in a right triangle

Art of Problem Solving

AoPS Online

High School Olympiads Regional, national, and international math olympiads

Regional, national, and international math olympiads

3 M G

BBookmark VNew Topic kLocked

High School Olympiads Regional, national, and international math olympiads

Regional, national, and international math olympiads

3 M G

BBookmark VNew Topic kLocked

No tags match your search

M

Perpendicularity with incenter in a right triangle

G H J

Reveal topic tags

L

G H BBookmark kLocked kLocked NReply

Source: RMO Mumbai 2016, P1

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

1980 posts

#1 h Oct 11, 2016, 7:14 AM • 1 Y

Y by Adventure10

Let $ABC$ be a right-angled triangle with $\angle B=90^{\circ}$ . Let $I$ be the incenter of $ABC$ . Draw a line perpendicular to $AI$ at $I$ . Let it intersect the line $CB$ at $D$ . Prove that $CI$ is perpendicular to $AD$ and prove that $ID=\sqrt{b(b-a)}$ where $BC=a$ and $CA=b$ .

This post has been edited 1 time. Last edited by anantmudgal09, Oct 11, 2016, 7:14 AM

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

2487 posts

#2 h Oct 11, 2016, 7:22 AM • 1 Y

Y by Adventure10

Mixtilinear incircles!!!

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

GoJensenOrGoHome

589 posts

GoJensenOrGoHome

#3 h Oct 11, 2016, 10:20 AM • 2 Y

Y by Adventure10, Mango247

WizardMath wrote:

Mixtilinear incircles!!!

You don't need such advanced things, since $\angle AID= \angle ABD=90$ we have $AIBD$ cyclic, so $\angle IAB= \angle IDB= \frac{\alpha}{2}$ and $\angle ABI= \angle ADI=45$ now we let $T=CI\cap AD$ and we have $\angle DTC= 180-\frac{\alpha+\gamma}{2}-45=180-45-45=90$ so $CI \perp AD$ .
By sine law $AD=\frac{b\cdot \sin(\gamma)}{\cos(\frac{\gamma}{2})}=2b\cdot \sin(\frac{\gamma}{2})=2b\sqrt{\frac{1-\cos (\gamma)}{2}}=b\sqrt{2(1-a/b)}=\sqrt{2b(b-a)}$ since $\frac{AD}{ \sqrt{2}}=DI$ we have the result

This post has been edited 1 time. Last edited by GoJensenOrGoHome, Oct 11, 2016, 10:21 AM

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

165 posts

pslv

#4 h Oct 11, 2016, 12:01 PM • 2 Y

Y by Adventure10, Mango247

can anyone draw the diagram.please.

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

124 posts

#5 h Oct 13, 2016, 3:35 AM • 3 Y

Y by Randomizeriitian, Adventure10, Mango247

GoJensenOrGoHome wrote:

WizardMath wrote:

Mixtilinear incircles!!!

You don't need such advanced things, since $\angle AID= \angle ABD=90$ we have $AIBD$ cyclic, so $\angle IAB= \angle IDB= \frac{\alpha}{2}$ and $\angle ABI= \angle ADI=45$ now we let $T=CI\cap AD$ and we have $\angle DTC= 180-\frac{\alpha+\gamma}{2}-45=180-45-45=90$ so $CI \perp AD$ .
By sine law $AD=\frac{b\cdot \sin(\gamma)}{\cos(\frac{\gamma}{2})}=2b\cdot \sin(\frac{\gamma}{2})=2b\sqrt{\frac{1-\cos (\gamma)}{2}}=b\sqrt{2(1-a/b)}=\sqrt{2b(b-a)}$ since $\frac{AD}{ \sqrt{2}}=DI$ we have the result

Nice solution. There is a small typo in your first line. It should be $\angle IAB = \angle IDC$ .

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

MathematicalPhysicist

179 posts

MathematicalPhysicist

#6 h May 23, 2017, 4:32 PM • 1 Y

Y by Adventure10

GoJensenOrGoHome wrote:

WizardMath wrote:

Mixtilinear incircles!!!

You don't need such advanced things, since $\angle AID= \angle ABD=90$ we have $AIBD$ cyclic, so $\angle IAB= \angle IDB= \frac{\alpha}{2}$ and $\angle ABI= \angle ADI=45$ now we let $T=CI\cap AD$ and we have $\angle DTC= 180-\frac{\alpha+\gamma}{2}-45=180-45-45=90$ so $CI \perp AD$ .
By sine law $AD=\frac{b\cdot \sin(\gamma)}{\cos(\frac{\gamma}{2})}=2b\cdot \sin(\frac{\gamma}{2})=2b\sqrt{\frac{1-\cos (\gamma)}{2}}=b\sqrt{2(1-a/b)}=\sqrt{2b(b-a)}$ since $\frac{AD}{ \sqrt{2}}=DI$ we have the result

you actually dont need the law of sines.a simple manipulation of pythagoras' would do. anyways,a nice solution:)

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

6107 posts

#7 h Mar 31, 2020, 9:04 AM • 3 Y

Y by amar_04, lilavati_2005, Purple_Planet

A complete synthetic non-trig solution, just for completeness

For the first part, observe that $\angle DBA=\angle DIA(=90^{\circ})$ , so $DBIA$ is cyclic, and hence, $\angle IAB=\angle IDB$ and $\angle ADI=\angle BI$ . So, $\angle ADB=45+\frac{A}{2}$ . Now in $\triangle DEC$ , $\angle DEC+\angle ECD+\angle CDE=180^{\circ}\implies \angle DEC=180^{\circ}-45^{\circ}-\frac{A}{2}-\frac{C}{2}=90^{\circ}$ , as desired.

For the second part, $AI=ID$ since $\angle ADI=45^{\circ}$ . Also, $CD=AC$ since $\triangle CED$ and $CEA$ are congruent by ASA criterion. So, $BD=CD-CB=CD-a=b-a$ .
Observe that $\triangle DBI$ and $\triangle AIC$ are similar, as $\angle BDI=\angle AIC=\frac{A}{2}$ and $\angle DIB=\angle CIA=\frac{C}{2}$ . So, $\frac{AI}{BD}=\frac{AC}{ID}\implies\frac{ID}{b-a}=\frac{b}{ID}\implies ID=\sqrt{b(b-a)}$ , as desired $\blacksquare$ .

Attachments:

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

597 posts

#8 h Jun 16, 2021, 11:01 AM

Y by

Just use cosine rule and isosceles triangles for the 2nd part

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

322 posts

BVKRB-

#9 h Jun 26, 2021, 6:08 AM

Y by

Probably the most simple solution to this question with 0 trigonometry

Click to reveal hidden text
Diagram from Math-wiz :whistling:

:whistling:

Attachments:

This post has been edited 1 time. Last edited by BVKRB-, Jun 26, 2021, 6:09 AM

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

48 posts

#10 h Nov 26, 2024, 11:22 AM

Y by

Claim 1. $(ADBI)$ is cyclic.
$\angle AID=\angle AID=\angle ABD$ Claim 2. $AI=ID$
$\begin{align*}&45^{\circ}=\angle ABI=\angle ADI\\ &\angle DAI=180^{\circ}-\angle DBA-\angle IBA=45^{\circ}\end{align*}$ Claim 3. $\triangle CAD$ is isosceles $\implies CI\perp AD$
$\angle CAD=\angle CAI+\angle IAD=\angle IAB+45^{\circ}=\angle IDB+\angle ADI=\angle ADC$ Now we take $c=AB$ and we have the following
$ID=\sqrt{\frac{AD^2}{2}}=\sqrt{\frac{AB^2-DB^2}{2}}=\sqrt{\frac{c^2-(b-a)^2}{2}}=\sqrt{\frac{2b^2-2ba}{2}}=\sqrt{b(b-a)}$

Z K Y

N Quick Reply

G

H

=

© 2025 AoPS Incorporated

a