## Problem from Euclidean Proof of Pythagoras [self-made]

For students of class 11-12 (age 16+)
Phlembac Adib Hasan
Posts: 1016
Joined: Tue Nov 22, 2011 7:49 pm
Location: 127.0.0.1
Contact:

### Problem from Euclidean Proof of Pythagoras [self-made]

Let $\bigtriangleup ABC$ has$\angle A= \frac { \pi } {2}$.$ACC_1 A_2$ and $BAA_1 B_1$ both are external squares to $\bigtriangleup ABC$.$AB \cap B_1C=D_1$ and $AC \cap BC_1 =D_3$.The internal angle bisector of $\angle BAC$ meets $BC$ at $D_2$.Prove that $AD_1D_2D_3$ is a square.

It's my one of the most favorite self-made problems.I've made its 6 different proofs.It's easy to prove it by calculation like complex,co-ordinate or by straight-cut calculation.But it can be done using only the figure!!!So I hope everyone will try to find such nice proofs.
Welcome to BdMO Online Forum. Check out Forum Guides & Rules

photon
Posts: 186
Joined: Sat Feb 05, 2011 3:39 pm
Location: dhaka
Contact:

### Re: Problem from Euclidean Proof of Pythagoras [self-made]

$BB_1,CC_1$ are parallel to $A_1C,BA_2$ respectively.
now,$\bigtriangleup B_1D_1B\sim \bigtriangleup AD_1C$
then,$\frac{B_1B}{AC}=\frac{BD_1}{AD_1}$
$\Rightarrow \frac{AB}{AC}=\frac{BD_1}{AD_1}$
$\Delta CC_1D_3\sim \Delta ABD_3$
directly,$\frac{AC}{AB}=\frac{CD_3}{AD_3}..............(1)$
last 2 equation,$\frac{BD_1}{AD_1}=\frac{AD_3}{CD_3}$
$\Rightarrow \frac{AB}{AD_1}=\frac{AC}{CD_3}$ [addding 1]
$\Rightarrow \frac{AB}{AC}=\frac{AD_1}{CD_3}$
comparing with $(1)$, $AD_1=AD_3$
$AD_2$ bisects $\angle A$.
$\frac{AB}{AC}=\frac{BD_2}{CD_2}$
$\Rightarrow \frac{BD_2}{CD_2}=\frac{AD_1}{CD_3}$
$AD_1,D_2D_3$ are parallel.this info and $AD_1=AD_3$ enough to show $AD_1D_2D_3$ is a square.
Try not to become a man of success but rather to become a man of value.-Albert Einstein

nafistiham
Posts: 829
Joined: Mon Oct 17, 2011 3:56 pm
Location: 24.758613,90.400161
Contact:

### Re: Problem from Euclidean Proof of Pythagoras [self-made]

I found out the same proof as photon. And I know nothing but euclidean yet.  $\sum_{k=0}^{n-1}e^{\frac{2 \pi i k}{n}}=0$
Using $L^AT_EX$ and following the rules of the forum are very easy but really important, too.Please co-operate.