Let be a triangle and let be its incircle.
Denote by and the points where is tangent to sides and , respectively. Denote by and the points on sides and , respectively, such that and , and denote by the point of intersection of segments and .
Circle intersects segment at two points, the closer of which to the vertex is denoted by . Given that , find
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.
We will use barycentric coordinates.
Let A = ( 1 , 0 , 0 ) , B = ( 0 , 1 , 0 ) , C = ( 0 , 0 , 1 )
Notice that P is the Nagel Point.
It is well-known that the Nagel Point is ( s − a : s − b : s − c ) , or when normalized, ( s s − a , s s − b , s s − c )
We know that D 1 = ( 0 : s − c : s − b ) = ( 0 , a s − c , a s − b ) and D 2 = ( 0 : s − b : s − c ) = ( 0 , a s − b , a s − c )
Let Q 1 = ( x 0 , y 0 , z 0 ) be a point on A D 2 such that A Q 1 = P D 2 .
This implies that
x 0 + s s − a = 1 ⟹ x 0 = s a
y 0 + s s − b = a s − b ⟹ y 0 = s a ( s − b ) ( s − a )
z 0 + s s − c = a ( s − c ⟹ y 0 = s a ( s − c ) ( s − a )
Q 1 = ( s a , s a ( s − b ) ( s − a ) , s a ( s − c ) ( s − a ) )
Now it is well known that Q is diametrically opposite to D 1 . (You can prove this easily using Homothety)
Let Q = ( x 1 , y 1 , z 1 )
It is well known that the incenter I is ( a : b : c ) or ( 2 s a , 2 s b , 2 s c ) when normalized. This implies that
x 1 = 2 ⋅ 2 s a = s a
y 1 + a s − c = 2 ⋅ 2 s b = s b ⟹ y 1 = s a ( s − b ) ( s − a )
z 1 = similar computations = s a ( s − c ) ( s − a )
This implies that Q and Q 1 coincide and A Q = A Q 1 = D 2 P = 5