Let $\ell$ be a tangent to the incircle of triangle $ABC$. Let $\ell_a,\ell_b$ and $\ell_c$ be the respective images of $\ell$ under reflection across the exterior bisector of $\angle A,\angle B$ and $\angle C$. Prove that the triangle formed by these lines is congruent to $ABC$.

Let $ABC$ be a triangle. Let $A_1$, $A_2$ be points on $AB$ and $AC$ respectively such that $A_1A_2 \parallel BC$ and the circumcircle of $\triangle AA_1A_2$ is tangent to $BC$ at $A_3$. Define $B_3$, $C_3$ similarly. Prove that $AA_3$, $BB_3$, and $CC_3$ are concurrent. [i]Carl Lian.[/i]

In an acute triangle $ABC$, let $D$ be a point in $BC$ such that $AD$ is the angle bisector of $\angle{BAC}$. Let $E \neq B$ be the point of intersection of the circumcircle of triangle $ABD$ with the line perpendicular to $AD$ drawn through $B$. Let $O$ be the circumcenter of triangle $ABC$. Prove that $E$, $O$, and $A$ are collinear.

Given a tetrahedron $ABCD.$ The sphere $\omega$ inscribed in it touches the face $ABC$ at point $T$. Sphere $\omega' $ touches face $ABC$ at point $T'$ and extensions of faces $ABD$, $BCD$, $CAD$. Prove that the lines $AT$ and $AT'$ are symmetric wrt bisector of angle $\angle BAC$

Given a triangle $ABC$ with $AB>BC$, let $ \Omega $ be the circumcircle. Let $M$, $N$ lie on the sides $AB$, $BC$ respectively, such that $AM=CN$. Let $K$ be the intersection of $MN$ and $AC$. Let $P$ be the incentre of the triangle $AMK$ and $Q$ be the $K$-excentre of the triangle $CNK$. If $R$ is midpoint of the arc $ABC$ of $ \Omega $ then prove that $RP=RQ$. [i]M. Kungodjin[/i]

The vertices $ A$ and $ B$ of an equilateral triangle $ ABC$ lie on a circle $k$ of radius $1$, and the vertex $ C$ is in the interior of the circle $ k$. A point $ D$, different from $ B$, lies on $ k$ so that $ AD\equal{}AB$. The line $ DC$ intersects $ k$ for the second time at point $ E$. Find the length of the line segment $ CE$.

A convex quadrilateral $ABCD$ has an incircle. In each corner a circle is inscribed that also externally touches the two circles inscribed in the adjacent corners. Show that at least two circles have the same size.

Triangle $ABC$ has $AC = 3$, $BC = 5$, $AB = 7$. A circle is drawn internally tangent to the circumcircle of $ABC$ at $C$, and tangent to $AB$. Let $D$ be its point of tangency with $AB$. Find $BD - DA$. [asy] /* File unicodetex not found. */ /* Geogebra to Asymptote conversion, documentation at artofproblemsolving.com/Wiki, go to User:Azjps/geogebra */ import graph; size(6cm); real labelscalefactor = 2.5; /* changes label-to-point distance */ pen dps = linewidth(0.7) + fontsize(10); defaultpen(dps); /* default pen style */ pen dotstyle = black; /* point style */ real xmin = -4.5, xmax = 7.01, ymin = -3, ymax = 8.02; /* image dimensions */ /* draw figures */ draw(circle((1.37,2.54), 5.17)); draw((-2.62,-0.76)--(-3.53,4.2)); draw((-3.53,4.2)--(5.6,-0.44)); draw((5.6,-0.44)--(-2.62,-0.76)); draw(circle((-0.9,0.48), 2.12)); /* dots and labels */ dot((-2.62,-0.76),dotstyle); label("$C$", (-2.46,-0.51), SW * labelscalefactor); dot((-3.53,4.2),dotstyle); label("$A$", (-3.36,4.46), NW * labelscalefactor); dot((5.6,-0.44),dotstyle); label("$B$", (5.77,-0.17), SE * labelscalefactor); dot((0.08,2.37),dotstyle); label("$D$", (0.24,2.61), SW * labelscalefactor); clip((xmin,ymin)--(xmin,ymax)--(xmax,ymax)--(xmax,ymin)--cycle); label("$7$",(-3.36,4.46)--(5.77,-0.17), NE * labelscalefactor); label("$3$",(-3.36,4.46)--(-2.46,-0.51),SW * labelscalefactor); label("$5$",(-2.46,-0.51)--(5.77,-0.17), SE * labelscalefactor); /* end of picture */ [/asy]

Let $ABC$ be an isosceles triangle ($AB = AC$). The points $D$ and $E$ were marked on the ray $AC$ so that $AC = 2AD$ and $AE = 2AC$. Prove that $BC$ is the bisector of the angle $\angle DBE$.

A parallelogram $ABCD$ is given ($AB \neq BC$). Points $E$ and $G$ are chosen on the line $\overline{CD}$ such that $\overline{AC}$ is the angle bisector of both angles $\angle EAD$ and $\angle BAG$. The line $\overline{BC}$ intersects $\overline{AE}$ and $\overline{AG}$ at $F$ and $H$, respectively. Prove that the line $\overline{FG}$ passes through the midpoint of $HE$. [i]Proposed by Mahdi Etesamifard[/i]

Given an acute triangle $ABC$ with $AB <AC$. Points $P$ and $Q$ lie on the angle bisector of $\angle BAC$ so that $BP$ and $CQ$ are perpendicular on that angle bisector. Suppose that point $E, F$ lie respectively at sides $AB$ and $AC$ respectively, in such a way that $AEPF$ is a kite. Prove that the lines $BC, PF$, and $QE$ intersect at one point.

The points $P$ and $Q$ lie on the sides $BC$ and $CD$ of the parallelogram $ABCD$ so that $BP = QD$. Show that the intersection point between the lines $BQ$ and $DP$ lies on the line bisecting $\angle BAD$.

Let $ABCD$ be a trapezium such that $AB||CD$ and $AB+CD=AD$. Let $P$ be the point on $AD$ such that $AP=AB$ and $PD=CD$. $a)$ Prove that $\angle BPC=90^{\circ}$. $b)$ $Q$ is the midpoint of $BC$ and $R$ is the point of intersection between the line $AD$ and the circle passing through the points $B,A$ and $Q$. Show that the points $B,P,R$ and $C$ are concyclic.

A half-circle of diameter $EF$ is placed on the side $BC$ of a triangle $ABC$ and it is tangent to the sides $AB$ and $AC$ in the points $Q$ and $P$ respectively. Prove that the intersection point $K$ between the lines $EP$ and $FQ$ lies on the altitude from $A$ of the triangle $ABC$. [i]Albania[/i]

Let $ABC$ be a triangle such that $AB<AC$. Let $D$ be a point on the segment $BC$ such that $BD<CD$. The angle bisectors of $\angle ADB$ and $\angle ADC$ meet the segments $AB$ and $AC$ at $E$ and $F$ respectively. Let $\omega$ be the circumcircle of $AEF$ and $M$ be the midpoint of $EF$. The ray $AD$ meets $\omega$ at $X$ and the line through $X$ parallel to $EF$ meets $\omega$ again at $Y$. If $YM$ meets $\omega$ at $T$, show that $AT$, $EF$ and $BC$ are concurrent. [i]Authored by Nikola Velov[/i]