Difference between revisions of "Bisector"

Revision as of 20:35, 18 December 2023

Division of bisector

Let a triangle $\triangle ABC, BC = a, AC = b, AB = c$ be given.

Let $AA', BB',$ and $CC'$ be the bisectors of $\triangle ABC.$

he segments $BB'$ and $A'C'$ meet at point $D.$ Find $\frac {BI}{BB'}, \frac {DA'}{DC'}, \frac {BD}{BB'}.$

Solution

$\frac {BA'}{CA'} = \frac {BA}{CA} = \frac {c}{b}, BA' + CA' = BC = a \implies BA' = \frac {a \cdot c}{b+c}.$

Similarly $BC' = \frac {a \cdot c}{a+b}, B'C = \frac {a \cdot b}{a+b}.$ $\frac {BI}{IB'} = \frac {a}{B'C} = \frac{a+c}{b} \implies \frac {BI}{BB'} = \frac {a+c}{a + b +c}.$

$\frac {DA'}{DC'} = \frac {BA'}{BC'} = \frac {a+ b}{b +c}.$

Denote $\angle ABC = 2 \beta.$ Bisector $BB' = 2 \frac {a \cdot c}{a + c} \cos \beta.$

Bisector $BD = 2 \frac {BC' \cdot BA'}{BC' + BA'} \cos \beta \implies$ $\frac {BD}{BB'} = \frac{a+c}{a+2b+c}.$ vladimir.shelomovskii@gmail.com, vvsss

Bisectors and tangent

Let a triangle $\triangle ABC (\angle BAC > \angle BCA)$ and it’s circumcircle $\Omega$ be given.

Let segments $BD, D \in AC$ and $BE, E \in AC,$ be the internal and external bisectors of $\triangle ABC.$ The tangent to $\Omega$ at $B$ meet $AC$ at point $M.$ Prove that

a) $EM = DM = BM,$

b) $\frac {1}{BM} = \frac {1}{AD} - \frac {1}{CD},$

c) $\frac {AD^2}{CD^2}=\frac {AM}{CM}.$

Proof

a) $\angle ABM = \angle ACB = \frac {\overset{\Large\frown} {AB}}{2} \implies \angle ADB = \angle CBD + \angle BCD = \angle ABD + \angle ABM = \angle MBD \implies BM = DM.$ $\angle DBE = 90^\circ \implies M$ is circumcenter $\triangle BDE \implies EM = MD.$

b) $\frac {AD}{DC} = \frac {AB}{BC} = \frac {AE}{CE} = \frac {DE – AD}{DE + CD} \implies \frac {1}{AD} - \frac {1}{CD} = \frac {2}{DE} =\frac {1}{BM}.$

c) $\frac {AM}{CM} = \frac {MD – AD}{MD + CD} =\frac {1 –\frac {AD}{BM}}{1 + \frac {CD}{BM}} = \frac {AD}{CD} : \frac {CD}{AD} = \frac {AD^2}{CD^2}.$ vladimir.shelomovskii@gmail.com, vvsss

Proportions for bisectors

The bisectors $AE$ and $CD$ of a triangle ABC with $\angle B = 60^\circ$ meet at point $I.$

Prove $\frac {CD}{AE} = \frac {BC}{AB}, DI = IE.$

Proof

Denote the angles $A = 2\alpha, B = 2\beta = 60^\circ, C = 2 \gamma.$ $\angle AIC = 180^\circ - \alpha - \gamma = 90^\circ + \beta = 120^\circ \implies B, D, I,$ and $E$ are concyclic. $\angle BEA = \angle BEI = \angle ADC.$ The area of the $\triangle ABC$ is $[ABC] = AB \cdot h_C = AB \cdot CD \cdot \sin \angle ADC = BC \cdot AE \cdot \sin \angle AEB \implies$ $\frac {CD}{AE} = \frac {BC}{AB} = \frac {a}{c}.$ $\frac {DI}{IE} = \frac {DI}{CD} \cdot \frac {AE}{IE}\cdot \frac {CD}{AE}= \frac {c}{a+b+c} \cdot \frac {a+b+c} {a} \cdot \frac {a}{c} = 1.$ vladimir.shelomovskii@gmail.com, vvsss

Bisector and circumcircle

Let a triangle $\triangle ABC, BC = a, AC = b, AB = c$ be given. Let segments $AA', BB',$ and $CC'$ be the bisectors of $\triangle ABC.$ The lines $AA', BB',$ and $CC'$ meet circumcircle $ABC (\Omega$ at points $D, E, F,$ respectively.

Find $\frac {B'I}{B'E}, \frac {DF}{AC}.$ Prove that circumcenter $J$ of $\triangle BA'I$ lies on $DF.$

Solution

$\frac {B'I}{B'E} = \frac {B'I}{BB'} \cdot \frac {BB'^2}{B'E \cdot BB'} = \frac {a+c}{a + b +c} \cdot \frac {BB'^2}{B'A \cdot B'C}.$

$BB'^2 = 4 \cos^2 \beta \frac {a^2 c^2}{(a+c)^2}, 4 \cos^2 \beta = \frac {(a+b+c)(a - b +c)}{ac},$ $B'A \cdot B'C = \frac {ab}{a+c} \cdot \frac{bc}{a+c} = \frac {a b^2 c}{(a+c)^2} \implies$ $\frac {B'I}{B'E} = \frac {a+c}{b} -1.$

$\angle IAC = \angle DAC = \angle CFD = \angle IFD, \angle FID = \angle AIC \implies \triangle IFD \sim \triangle IAC \implies \frac {DF}{AC} = \frac {IF}{AI}.$ $AI = \sqrt {bc \frac {b+c-a}{a+b+c}}, FI = c \sqrt {\frac {ab}{(a+b-c)(a+b+c)}}.$ $\frac {DF}{AC} = \frac {IF}{AI} = \sqrt {\frac {ac}{(a+b-c)(-a+b+c)}}.$ $\overset{\Large\frown} {BD} + \overset{\Large\frown} {FA} + \overset{\Large\frown} {AE}= \angle BAC + \angle ACB + \angle ABC = 180^\circ \implies FD \perp BE.$ $2\angle IBD = 2\angle EBD = \overset{\Large\frown} {EC} + \overset{\Large\frown} {CD} = \overset{\Large\frown} {AE} + \overset{\Large\frown} {BD} = 2 \angle BID.$ Incenter $J$ belong the bisector $BI$ which is the median of isosceles $\triangle IDB.$

vladimir.shelomovskii@gmail.com, vvsss

Some properties of the angle bisectors

Let a triangle $\triangle ABC, BC = a, AC = b, AB = c,$ $\angle BAC = 2\alpha, \angle ABC = 2\beta, \angle ACB = 2\gamma$ be given.

Let $\Omega,R,O,\omega,r,I$ be the circumradius, circumcircle, circumcenter, inradius, incircle, and inradius of $\triangle ABC,$ respectively.

Let segments $AA', BB',$ and $CC'$ be the angle bisectors of $\triangle ABC,$ lines $AA', BB',$ and $CC'$ meet $\Omega$ at $D,E,$ and $F, \omega$ meet $BC, AC,$ and $AB$ at $A'', B'', C''.$

Let $N$ be the point on tangent to $\Omega$ at point $B$ such, that $NI || AC.$ Let bisector $AB$ meet $BB'$ at point $H$ and $AA'$ at point $G.$

Denote $Q$ circumcenter of $\triangle ABB', P$ - the point where line $AA'$ meet circumcircle of $\triangle ABB'.$

Prove: $a) BN = \frac {2Rr}{|a-c|},$ $b) \frac {FQ}{QG} = \frac {a}{c},$

c) lines $FD, A'C',$ and $MP$ are concurrent at $N.$

Proof

WLOG, $\alpha > \gamma.$ A few preliminary formulas: $\alpha + \beta + \gamma = 90^\circ \implies \sin (\alpha + \beta) = \cos \gamma.$ $\frac {a-b}{c} = \frac {\sin 2\alpha - \sin 2 \beta}{\sin 2\gamma} = \frac {2 \sin (\alpha - \beta) \cos(\alpha + \beta)} {2 \sin (\alpha + \beta) \cos (\alpha + \beta)} = \frac {\sin (\alpha - \beta)}{\cos \gamma}.$ $\frac {a+b}{c} = \frac {\sin 2\alpha + \sin 2 \beta}{\sin 2\gamma} = \frac {2 \sin (\alpha + \beta) \cos(\alpha - \beta)} {2 \sin (\alpha + \beta) \cos (\alpha + \beta)} = \frac {\cos (\alpha - \beta)}{\sin \gamma}.$ $\triangle ACC' : \frac {AC}{AC'} = \frac{\sin(180^\circ - 2 \alpha - \gamma)}{\sin \gamma}= \frac{\cos(\alpha - \beta)}{\sin \gamma}= \frac{a+b}{c}.$ $\angle FBC' = \gamma, \angle BFC' = 2 \alpha, BF = FI \implies \frac {FI}{FC'} = \frac {a+b}{c}.$ $\frac {MG}{MF} = \frac {AM \tan \gamma}{AM \tan \alpha} = \frac {CB''}{AC''}=\frac{a+b-c}{b+c-a}.$ $\angle AOG = 2 \gamma, \angle AGM = 90^\circ - \alpha \implies \angle OGA = |90^\circ - \alpha – 2\gamma = |\beta - \gamma \implies \frac {GO}{AO} = \frac {|\sin (\beta - \gamma)|}{\cos \alpha} = \frac{|b-c|}{a}.$

@@ Line 88: / Line 88: @@
 '''vladimir.shelomovskii@gmail.com, vvsss'''
+==Some properties of the angle bisectors==
+[[File:Bisector division B.png|450px|right]]
+Let a triangle <math>\triangle ABC, BC = a, AC = b, AB = c,</math>
+<math>\angle BAC = 2\alpha, \angle ABC = 2\beta, \angle ACB = 2\gamma</math> be given.
+Let <math>\Omega,R,O,\omega,r,I</math> be the circumradius, circumcircle, circumcenter, inradius, incircle, and inradius of <math>\triangle ABC,</math> respectively.
+Let segments <math>AA', BB',</math> and <math>CC'</math> be the angle bisectors of <math>\triangle ABC,</math> lines <math>AA', BB',</math> and <math>CC'</math> meet <math>\Omega</math> at <math>D,E,</math> and <math>F, \omega</math> meet <math>BC, AC,</math> and <math>AB</math> at <math>A'', B'', C''.</math>
+Let <math>N</math> be the point on tangent to <math>\Omega</math> at point <math>B</math> such, that <math>NI || AC.</math>
+Let bisector <math>AB</math> meet <math>BB'</math> at point <math>H</math> and <math>AA'</math> at point <math>G.</math>
+Denote <math>Q</math> circumcenter of <math>\triangle ABB', P</math> - the point where line <math>AA'</math> meet circumcircle of <math>\triangle ABB'.</math>
+Prove:<math> a) BN =  \frac {2Rr}{|a-c|},</math>  <math>b) \frac {FQ}{QG} = \frac {a}{c},</math>
+c) lines <math>FD, A'C',</math> and <math>MP</math> are concurrent at <math>N.</math>
+<i><b>Proof</b></i>
+WLOG, <math>\alpha > \gamma.</math> A few preliminary formulas:
+<cmath>\alpha + \beta + \gamma = 90^\circ \implies \sin (\alpha + \beta) = \cos \gamma.</cmath>
+<cmath>\frac {a-b}{c} = \frac {\sin 2\alpha - \sin 2 \beta}{\sin 2\gamma}  = \frac {2 \sin (\alpha - \beta) \cos(\alpha + \beta)} {2 \sin (\alpha + \beta) \cos (\alpha + \beta)} = \frac {\sin (\alpha - \beta)}{\cos \gamma}.</cmath>
+<cmath>\frac {a+b}{c} = \frac {\sin 2\alpha + \sin 2 \beta}{\sin 2\gamma}  = \frac {2 \sin (\alpha + \beta) \cos(\alpha - \beta)} {2 \sin (\alpha + \beta) \cos (\alpha + \beta)} = \frac {\cos (\alpha - \beta)}{\sin \gamma}.</cmath>
+<cmath>\triangle ACC' : \frac {AC}{AC'} = \frac{\sin(180^\circ - 2 \alpha - \gamma)}{\sin \gamma}= \frac{\cos(\alpha - \beta)}{\sin \gamma}= \frac{a+b}{c}.</cmath>
+<cmath>\angle FBC' = \gamma, \angle BFC' = 2 \alpha, BF = FI \implies \frac {FI}{FC'} = \frac {a+b}{c}.</cmath> <cmath>\frac {MG}{MF} = \frac {AM \tan \gamma}{AM \tan \alpha} = \frac {CB''}{AC''}=\frac{a+b-c}{b+c-a}.</cmath>
+<cmath>\angle AOG = 2 \gamma, \angle AGM = 90^\circ - \alpha \implies \angle OGA = |90^\circ - \alpha – 2\gamma = |\beta - \gamma \implies \frac {GO}{AO} = \frac {|\sin (\beta - \gamma)|}{\cos \alpha} = \frac{|b-c|}{a}.</cmath>

Page

Toolbox

Search

Difference between revisions of "Bisector"

Revision as of 20:35, 18 December 2023

Contents

Division of bisector

Bisectors and tangent

Proportions for bisectors

Bisector and circumcircle

Some properties of the angle bisectors