In triangle A B C , A B = 4 1 and A C = 1 6 4 . The internal angle bisector of B A C meets B C at D . Given that lengths A D and D C are positive integers, what is the value of A D + D C ?
This problem is proposed by Sreejato .
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
A typo !! (3,8) = (x,y).
Exactly Same method
Let ∠ B A D = ∠ D A C = α , A D = x and B D = y
D C B D = a r e a o f D A C a r e a o f B A D = 2 1 ( A C ) ( A D ) s i n α 2 1 ( A B ) ( A D ) s i n α = 1 6 4 4 1 = 2 1
Using cosine rule, we have
y 2 = 4 1 + x 2 − 2 4 1 x c o s α − ( 1 )
( 2 y ) 2 = 1 6 4 + x 2 − 4 4 1 x c o s α − ( 2 )
Multiplying (1) by 4 we get:
4 y 2 = 1 6 4 + 4 x 2 − 8 4 1 x c o s α − ( 3 )
Subtracting (2) from (3) we get:
0 = 3 x 2 − 4 4 1 x c o s α
x = 3 4 4 1 c o s α (since x is not zero)
c o s α = 4 4 1 3 x − ( 4 )
Substituting (4) back into 2 we get:
( 2 y ) 2 = 1 6 4 + x 2 − 4 4 1 x 4 4 1 3 x = 1 6 4 + x 2 − 3 x 2 = 1 6 4 − 2 x 2
2 x 2 + ( 2 y ) 2 = 1 6 4
Note that A D = x and D C = 2 y .Trying 2 y from integers 1 to 12 and finding the respective x , we notice that only 2 y = 6 will produce an integer x , which is x = 8 .
Therefore, A D + D C = 8 + 6 = 1 4
Interesting note: We can apply Stewart's theorem to this problem after realising that D C B D = 2 1 . Using the theorem, we can simplify the equation A B 2 × D C + A C 2 × B D = B C × ( A D 2 + B D × D C ) to get x 2 + 2 y 2 = 8 2 , which when multiplied by 2, gives us 2 x 2 + 4 y 2 = 1 6 4 , similar to the equation above.
Several solutions directly used Stewart's Theorem, which can be derived from Cosine rule in a similar manner.
Yeah stewarts theorem does it all
Let $DC = p$, $DC = q$, and $BC = a-p$. We first show that $a = \frac{3}{2} p$. Given that $\angle BAD = \angle CAD = \alpha/2$, then by the Law of Sines, $\frac{\sin \alpha/2}{p} = \frac{\sin \gamma}{q}$, where $\gamma = \angle ACB$. But we also have $\frac{\sin \gamma}{\sqrt{41}} = \frac{\sin \alpha}{a}$ for the whole $\triangle ABC$, so it follows that $\frac{\sin \alpha/2}{p} = \frac{\sqrt{41} \sin \alpha}{aq}$. Similarly by considering $\beta = \angle ABC$, we have $\frac{\sin \alpha/2}{a-p} = \frac{\sqrt{164} \sin\alpha}{aq}$. Now dividing these two results gives $\frac{a-p}{p} = \frac{\sqrt{41}}{\sqrt{164}} = \frac{1}{2}$, which shows our claim that $a = \frac{3}{2} p$, and in particular, $BD = p/2$.
Next we use the Law of Cosines to obtain $\frac{164 + q^2 - p^2}{2q\sqrt{164}} = \cos \frac{\alpha}{2} = \frac{41 + q^2 - (p/2)^2}{2q \sqrt{41}}$. This simplifies to the Diophantine equation $2q^2 + p^2 = 164$ for positive integers $p, q$. By the triangle inequality, we must have $6 = \sqrt{36} < \sqrt{41} < q < \sqrt{164} < \sqrt{169} = 13$, or $7 \le q \le 12$. Similarly, $6 < \sqrt{164} - \sqrt{41} < \frac{3}{2}p < \sqrt{41} + \sqrt{164} = 3 \sqrt{41}$, or $5 \le p \le 12$. Since our Diophantine condition requires $p$ be even (otherwise the LHS is odd), we need only check the possibilities $p \in { 6, 8, 10, 12 }$. We find the only solution is $p = 6$, $q = 8$, and therefore $AD + DC = p+q = 14$.
A
B
=
4
1
and
A
C
=
1
6
4
=
2
4
1
By law of internal angle bisector, we get
D
C
B
D
=
A
C
A
B
=
2
4
1
4
1
=
2
1
Therefore,
D
C
=
2
B
D
Let
D
C
=
x
where
x
is a positive integer
B
D
=
2
D
C
=
2
x
B
C
=
B
D
+
D
C
=
2
x
+
x
=
2
3
x
According to Stewart law,
A
D
2
×
B
C
=
A
B
2
×
D
C
+
A
C
2
×
B
D
−
B
D
×
D
C
×
B
C
A
D
2
×
2
3
x
=
4
1
×
x
+
8
2
×
x
−
4
3
x
3
A
D
2
=
8
2
−
2
x
2
Since
A
D
is a positive integer, then
x
must be an even number or
x
=
2
k
where
k
is a positive integer
A
D
2
=
8
2
−
2
(
2
k
)
2
=
8
2
−
2
k
2
=
2
(
4
1
−
k
2
)
Since
A
D
2
=
2
(
4
1
−
k
2
)
, then
4
1
−
k
2
>
0
or
k
is a positive integer less than
7
By trying
k
=
1
,
2
,
…
,
6
, we get the only value of
k
is
3
such that
8
2
−
2
k
2
is a perfect square
B
C
=
2
3
x
=
3
k
=
9
We can easily check that
4
1
,
2
4
1
,
9
are three sides of a triangle or there exists a triangle with sides
4
1
,
2
4
1
,
9
Therefore,
k
=
3
satisfies the condition
A
D
=
8
2
−
2
(
3
)
2
=
8
D
C
=
x
=
2
k
=
2
(
3
)
=
6
A
D
+
D
C
=
8
+
6
=
1
4
And we are done
Suppose AD produced meets the circumcircle of ΔABC at P. Note that angle ABD= angle APC being angles in the same segment determined by AC. Since AD is the internal bisector of angle BAC, angle BAD= angle DAC. Thus we can conclude that triangles ABD and APC are similar. Thus, AB/AP=AD/AC. This implies AB.AC=AD.AP. Now AD^2=AD(AP-DP)= AD.AP-AD.DP. So AD.AP=AD^2+ AD.DP. Putting this value in the previously found equation, we obtain AB.AC=AD^2+ AD.DP. But from the Secant theorem, AD.DP=BD.DC. Putting this value, AB.AC=AD^2+ BD.DC. Note that from Internal Angle Bisector Theorem, AB/AC=BD/DC, which implies BD=(AB.DC)/AC . Plugging this value and multiplying both sides by AC/AB gives AC^2=(AD^2.AC)/AB+ DC^2. Let AD=x, DC=y. Substituting the values gives 164=2x^2+ y^2. It can easily be verified that the only positive integral solution to the equation is (x,y)=(8,6). This gives AD=8, DC=6. So, AD+DC=14.
When I first saw this problem I definitely thought it would utilize exterior right triangles and Fermat's theorem that p = a 2 + b 2 iff p = 4 k + 1 . Oh well. Anyways, on to the solution.
Draw a triangle A B C as indicated in the question. Because of the angle bisector theorem, B D = x and D C = 2 x . Say m ∠ A D C = θ and m ∠ A D B = 1 8 0 − θ . Finally, say A D = y . Next, use law of cosines:
1 6 4 = y 2 + 4 x 2 − 2 ( y ) ( 2 x ) c o s θ
4 1 = y 2 + x 2 − 2 ( y ) ( x ) c o s ( 1 8 0 − θ )
Multiply the second equation by 2 and apply the identity c o s ( 1 8 0 − θ ) = − c o s θ to get 8 2 = 2 y 2 + 2 x 2 + 4 x y c o s θ Adding this equation and the first equation together we get 2 4 6 = 3 y 2 + 6 x 2 → 8 2 = y 2 + 2 x 2 Since y and 2 x must be integers, then x must also be an integer. The only solution that satisfies this equation is ( 3 , 8 ) . Thus, x + 2 y = 8 + 6 = 1 4 .
This solution is more complete, as it even takes into account that a priori, we only know that 2 x is integer, not x .
For any triangle A B C , we denote that A B = c , B C = a , A C = b , S A B C is the square of triangle ABC and l a is the length of internal angle bisector of A B C , then
l a = b + c b c ( b + c + a ) ( b + c − a ) .
There are a number of ways to prove this equation. Here is one of them.
S A B C = S A B D + S A C D
⇒ b c s i n A = c . A D s i n 2 A + b . A D s i n 2 A
⇒ A D = b + c 2 b c . c o s 2 A
⇒ A D 2 = ( b + c ) 2 2 b 2 c 2 . ( c o s A + 1 ) = ( b + c ) 2 2 b 2 c 2 . 2 b c ( b + c ) 2 − a 2
⇒ A D = b + c b c ( b + c + a ) ( b + c − a ) .
With b = 4 1 and c = 1 6 4 we have l a = 3 2 ( 3 6 9 − a 2 ) . This implies that the value of l a is an integer in [ 1 , 9 ] .
Because AD is the internal angle bisector of A B C , we have B C C D = A B + A C A C = 3 2 . In other side, the length of CD is an positive integer therefore the length of BC is a rational number.
Combining two results above, we can compute directly and see that there is only a value l a = 8 corresponding to a rational value of a ( a = 9 ) . Therefore, A D = 8 and it is easy to see that C D = 6 .
Finally A D + C D = 1 4 .
For simplicity, put 4 1 = a , B C = b . We have D C D B = A C A B = 2 . Then D C = 3 2 b . We have A D = A B + A C 2 ⋅ A B ⋅ A C ⋅ cos 2 A = 3 4 ⋅ a ⋅ cos 2 A . On the other hand, we have cos 2 A = 2 ⋅ A B ⋅ A C ( A B + A C + B C ) ( A B + A C − B C ) = 8 a 2 9 a 2 − b 2 . Therefore, A D = 3 4 ⋅ a ⋅ 8 a 2 9 a 2 − b 2 = 3 1 ⋅ 2 ( 3 6 9 − b 2 ) . Thus, A D + D C = 3 1 ( 2 ( 3 6 9 − b 2 ) + 2 b ) . Since the length of C D is a positive integer, we deduce that 3 ∣ b . Otherwise, by triangle inequality, we have 4 1 < b < 3 4 1 ⇒ b ∈ { 9 , 1 2 , 1 5 , 1 8 } . By calculating directly, we obtain that b = 3 and A D + D C = 1 4 .
Let lengths AD = d, BD = m, CD = n By Angle-Bisector thm, n=2m Then, applying Stewart's thm and simplifying, we get n^2+2d^2 = 164 Letting n=2k, d=2r, we get k^2+2r^2 = 41 k has to be odd. Testing for 1 and 3, we find (k,r) = (3,4) works. Therefore, (d,n) = (6,8), total value is 14.
We know that B D D C = A B A C = 4 1 1 6 4 = 2 Let B D = z , implies D C = 2 z , and A D = x . Then z 2 = 4 1 + x 2 − 2 x 4 1 cos ( ∠ B A D ) . . . ( 1 ) and 4 z 2 = 1 6 4 + x 2 − 2 x 1 6 4 cos ( ∠ C A D ) . . ( 2 ) Since ∠ B A D = ∠ C A D , Then eliminating ( 2 ) with 2 ∗ ( 1 ) , we will get that 2 z 2 = 8 2 − x 2 x must be even, and 2 ≤ x ≤ 8 . For x = 2 , 4 , 6 , we will get that z is not integer. But for x = 8 , we will get that z = 3 . So A D + D C = x + 2 z = 8 + 6 = 1 4
There are numerous ways to arrive at the conclusion that x 2 + 2 z 2 = 8 2 .
How did you get B D D C = A B A C ?
Log in to reply
This is called the angle-bisector theorem which tells us that each angle bisector of a triangle divides the opposite side into segments proportional in length to the adjacent sides. That's how he got B D D C = A B A C .
Hope this helped!
Log in to reply
Oh, I wanted to reply. but looks like Mursalin have helped you, Sir Matt. Thanks :)
Thanks. I worked it out using the law of sines , but it is good to know for next time that there's a shortcut :)
Also note Stewart's Theorem is basically proved by what you did, using the law of cosines and eliminating the cosine term, and simplifies some of the algebra.
Angle Bisector Theorem gives, D C B D = c b = 1 6 4 4 1 = 2 1 . \therefore ~DC=2*BD. \implies \color{#3D99F6}{DC=\dfrac 2 3 *(BD+DC)=\dfrac 2 3 *a. ~~\implies ~~3|a}\\ AD=l_a=\dfrac{ \sqrt{bc*(b+c+a)(b+c _ a) } {b+c}\\ =\dfrac{ \sqrt{ \sqrt{41}*\sqrt{164}*(3*\sqrt{41} - a^2} } {3*\sqrt{41}.\\ =\dfrac{ \sqrt{ 2*(3*\sqrt{41} - a^2} } {3} \\ Since ~ l_a ~ is ~an ~ integer, ~ \sqrt{ 2*2*\dfrac{ (369 -a^2) }{18} } \text{must be a perfect square.}\\ For ~ this, ~ (369 -a^2) ~ must ~ be ~ even, ~ \implies ~a^2 ~ must ~ be ~ odd, ~ but ~ 3|a, ~ \therefore ~ a=3,9,…\\ For ~ a=3 ~ \dfrac{ (369 -a^2) }{18} ~ is ~ not ~ a ~ perfect ~ square.\\ For ~ a=9 ~ \dfrac{ (369 -a^2) }{18}=16.\\ \therefore ~ AD=l_a=\sqrt{2*2*16}=8. ~~~~~ DC=\dfrac 2 3 *a=6.\\ \implies ~ AD + DC=8 + 6 =\Large ~~~~\color{#D61F06}{14}
Bbbbbbbbbbbb
Obviously, D C B D = 2 1 , so let B D = m ⇒ D C = 2 m and A D = k . Stewart's Theorem said that on Δ A B C , we have 8 2 m + 1 6 4 m = 3 m ( k 2 + 2 m 2 ) 2 4 6 m = 3 m ( k 2 + 2 m 2 k 2 + 2 m 2 = 8 2 k 2 = 8 2 − 2 m 2
In equation k 2 = 8 2 − 2 m 2 , we conclude that 2 ∣ k . Let k = 2 p , then we have 4 p 2 = 8 2 − 2 m 2 2 p 2 = 4 1 − m 2 m 2 = 4 1 − 2 p 2
We know that 4 1 − 2 p 2 ≥ 0 so p ≤ 4 since k is positive, so p is positive too. Because k , p are integers and m is the positive multiple of 0 . 5 (look at the relation B D and D C ), we may attempt trials and errors. For several attempts, we may have that for p = 4 ⇒ m = 3 and k = 8 . We know that B D = m = 3 , so D C = 2 m = 6 . Finally, A D + D C = 8 + 6 = 1 4
take AD=y and DC=2x gives BD=x. Now apply cosine rule for angle ADC and ADB. Add them to get 2x^2+y^2=82. Which gives AD=8 and CD=6
Problem Loading...
Note Loading...
Set Loading...
From the angle-bisector theorem, we know that D C B D = A C A B = 1 6 4 4 1 = 2 1 . Thus we let B D = x , D C = 2 x . Additionally, we can let A D = y . From a direct application of Stewart's Theorem on △ A B C , we obtain 8 2 x + 1 6 4 x = 3 x ( y 2 + 2 x 2 ) . That is, y 2 + 2 x 2 = 8 2 . Since y and 2 x are both integers, we find that ( x , y ) = ( 8 , 3 ) is the only solution which yields A D + D C = y + 2 x = 1 4 .