Bisectors $AA_1$, $BB_1$, and $CC_1$ of triangle $ABC$ meet at point $I$. The perpendicular bisector to $BB_1$ meets $AA_1,CC_1$ at points $A_0,C_0$ respectively. Prove that the circumcircles of triangles $A_0IC_0$ and $ABC$ touch.

Point $A$ is located in this circle of radius $1$. An arbitrary chord is drawn through it, and then a circle of radius $2$ is drawn through the ends of this chord. Prove that all such circles touch some fixed circle, not depending from the initial choice of the chord.

Point $D$ lies on the side $AB$ of triangle $ABC$. The circle inscribed in angle $ADC$ touches internally the circumcircle of triangle $ACD$. Another circle inscribed in angle $BDC$ touches internally the circumcircle of triangle $BCD$. These two circles touch segment $CD$ in the same point $X$. Prove that the perpendicular from $X$ to $AB$ passes through the incenter of triangle $ABC$

A point $C$ lies on the bisector of an acute angle with vertex $S$. Let $P$, $Q$ be the projections of $C$ to the sidelines of the angle. The circle centered at $C$ with radius $PQ$ meets the sidelines at points $A$ and $B$ such that $SA\ne SB$. Prove that the circle with center $A$ touching $SB$ and the circle with center $B$ touching $SA$ are tangent. Proposed by: A.Zaslavsky

Let $C_1$ and $C_2$ be two tangent unit circles inside a circle $C$ of radius $2$. Circle $C_3$ inside $C$ is tangent to the circles $C,C_1,C_2$, and circle $C_4$ inside $C$ is tangent to $C,C_1,C_3$. Prove that the centers of $C,C_1,C_3$ and $C_4$ are vertices of a rectangle.

In the circle $\omega$, we draw a chord $BC$, which is not a diameter. Point $A$ moves in a circle $\omega$. $H$ is the orthocenter triangle $ABC$. Prove that for any location of point $A$, a circle constructed on $AH$ as on diameter, touches two fixed circles $\omega_1$ and $\omega_2$. (Dmitry Prokopenko)

Given triangle $ABC$ with the inner - bisector $AD$. The line passes through $D$ and perpendicular to $BC$ intersects the outer - bisector of $\angle BAC$ at $I$. Circle $(I,ID)$ intersects $CA$, $AB$ at $E$, $F$, reps. The symmedian line of $\triangle AEF$ intersects the circle $(AEF)$ at $X$. Prove that the circles $(BXC)$ and $(AEF)$ are tangent. [Hide=Diagram] [asy]import graph; size(7.04cm); real labelscalefactor = 0.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 = 7.02, xmax = 14.06, ymin = -1.54, ymax = 4.08; /* image dimensions */ /* draw figures */ draw((8.62,3.12)--(7.58,-0.38)); draw((7.58,-0.38)--(13.68,-0.38)); draw((13.68,-0.38)--(8.62,3.12)); draw((8.62,3.12)--(9.85183961338573,3.5535510951732316)); draw((9.85183961338573,3.5535510951732316)--(9.851839613385732,-0.38)); draw((9.851839613385732,-0.38)--(8.62,3.12)); draw(circle((10.012708209519483,1.129702986881574), 2.4291805937992947)); draw((8.62,3.12)--(9.470868507287285,-1.238276762688951), red); draw(shift((9.85183961338573,3.553551095173232))*xscale(3.9335510951732324)*yscale(3.9335510951732324)*arc((0,0),1,237.85842690125605,309.7357733435313), linetype("4 4")); draw(shift((10.63,3.8274278922585725))*xscale(5.196628663716066)*yscale(5.196628663716066)*arc((0,0),1,234.06132677886183,305.9386732211382), blue); /* dots and labels */ dot((8.62,3.12),linewidth(3.pt) + dotstyle); label("$A$", (8.48,3.24), NE * labelscalefactor); dot((7.58,-0.38),linewidth(3.pt) + dotstyle); label("$B$", (7.3,-0.58), NE * labelscalefactor); dot((13.68,-0.38),linewidth(3.pt) + dotstyle); label("$C$", (13.76,-0.26), NE * labelscalefactor); dot((9.851839613385732,-0.38),linewidth(3.pt) + dotstyle); label("$D$", (9.94,-0.26), NE * labelscalefactor); dot((9.85183961338573,3.5535510951732316),linewidth(3.pt) + dotstyle); label("$I$", (9.94,3.68), NE * labelscalefactor); dot((7.759138898806625,0.22287129406075654),linewidth(3.pt) + dotstyle); label("$F$", (7.46,0.16), NE * labelscalefactor); dot((12.36635458796946,0.5286480122740898),linewidth(3.pt) + dotstyle); label("$E$", (12.44,0.64), NE * labelscalefactor); dot((9.470868507287285,-1.238276762688951),linewidth(3.pt) + dotstyle); label("$X$", (9.56,-1.12), NE * labelscalefactor); clip((xmin,ymin)--(xmin,ymax)--(xmax,ymax)--(xmax,ymin)--cycle); /* end of picture */ [/asy] [/Hide]

Given two internally tangent circles; in the bigger one we inscribe an equilateral triangle. From each of the vertices of this triangle, we draw a tangent to the smaller circle. Prove that the length of one of these tangents equals the sum of the lengths of the two other tangents.

In triangle $ABC$ points $M$ and $N$ are the midpoints of sides $AC$ and $AB$, respectively and $D$ is the projection of $A$ into $BC$. Point $O$ is the circumcenter of $ABC$ and circumcircles of $BOC$, $DMN$ intersect at points $R, T$. Lines $DT$, $DR$ intersect line $MN$ at $E$ and $F$, respectively. Lines $CT$, $BR$ intersect at $K$. A point $P$ lies on $KD$ such that $PK$ is the angle bisector of $\angle BPC$. Prove that the circumcircles of $ART$ and $PEF$ are tangent. [i]Proposed by Mehran Talaei - Iran[/i]

$ABCD$ is inscribed in unit circle $\Gamma$. Let $\Omega_1$, $\Omega_2$ be the circumcircles of $\vartriangle ABD$, $\vartriangle CBD$ respectively. Circles $\Omega_1$, $\Omega_2$ are tangent to segment $BD$ at $M$,$N$ respectively. Line A$M$ intersects $\Gamma$, $\Omega_1$ again at points $X_1$,$X_2$ respectively (different from $A$, $M$). Let $\omega_1$ be the circle passing through $X_1$, $X_2$ and tangent to $\Omega_1$. Line $CN$ intersects $\Gamma$, $\Omega_2$ again at points $Y_1$, $Y_2$ respectively (different from $C$, $N$). Let $\omega_2$ be the circle passing through $Y_1$, $Y_2$ and tangent to $\Omega_2$. Circles $\Omega_1$,$\Omega_2$, $\omega_1$, $\omega_2$ have radii $R_1$, $R_2$, $r_1$, $r_2$ respectively. Prove that $$r_1+r_2-R_1-R_2=1.$$ [img]https://cdn.artofproblemsolving.com/attachments/1/5/70471f2419fadc4b2183f5fe74f0c7a2e69ed4.png[/img] [url=https://www.geogebra.org/m/vxx8ghww]geogebra file[/url]

Given a circle of radius $K$. Two other circles, the sum of the radii of which are also equal to $K$, tangent to the circle from the inside. Prove that the line connecting the points of tangency passes through one of the common points of these circles.

Circles $c_1$ and $c_2$ are tangent internally to circle $c$ at points $A$ and $B$ , respectively, as seen in the figure. The inner tangent common to $c_1$ and $c_2$ touches these circles in $P$ and $Q$ , respectively. Show that the $AP$ and $BQ$ lines intersect the circle $c$ at diametrically opposite points. [img]https://cdn.artofproblemsolving.com/attachments/0/a/9490a4d7ba2038e490a858b14ba21d07377c5d.gif[/img]

Given a convex quadrilateral $ABCD$.Let $\ell_A,\ell_B,\ell_C,\ell_D$ be exterior angle bisectors of quadrilateral $ABCD$. Let $\ell_A \cap \ell_B=K,\ell_B \cap \ell_C=L,\ell_C \cap \ell_D=M,\ell_D \cap \ell_A=N$.Prove that if circumcircles of triangles $ABK$ and $CDM$ be externally tangent to each other then circumcircles of the triangles $BCL$ and $DAN$ are externally tangent to each other.(L.Emelyanov)

Let $A_1A_2A_3A_4$ be a rectangle and let $S_1,S_2,S_3,S_4$ four circumferences inside of the rectangle such that $S_k$ and $S_{k+1}$ are tangent to each other and tangent to the side $A_kA_{k+1}$ for $k=1,2,3,4$, where $A_5=A_1$ and $S_5=S_1$. Prove that $A_1A_2A_3A_4$ is a square.

Two circles ${{c} _ {1}}, \, \, {{c} _ {2}}$ pass through the center $O$ of the circle $c$ and touch it internally in points $A$ and $B$, respectively. Prove that the line $AB$ passes though a common point of circles ${{c} _ {1}}, \, \, {{c} _ {2}} $.

In triangle $ABC$, let $\omega$ be the excircle opposite to $A$. Let $D, E$ and $F$ be the points where $\omega$ is tangent to $BC, CA$, and $AB$, respectively. The circle $AEF$ intersects line $BC$ at $P$ and $Q$. Let $M$ be the midpoint of $AD$. Prove that the circle $MPQ$ is tangent to $\omega$.

Two circles that are not equal are tangent externally at point $R$. Suppose point $P$ is the intersection of the external common tangents of the two circles. Let $A$ and $B$ are two points on different circles so that $RA$ is perpendicular to $RB$. Show that the line $AB$ passes through $P$.

Let $ABCD$ be a cyclic quadrilateral inscribed in a circle $\omega$ with center $O$. The lines $AD$ and $BC$ meet at $E$, while the lines $AB$ and $CD$ meet at $F$. Let $P$ be a point on the segment $EF$ such that $OP \perp EF$. The circle $\Gamma_{1}$ passes through $A$ and $E$ and is tangent to $\omega$ at $A$, while $\Gamma_{2}$ passes through $C$ and $F$ and is tangent to $\omega$ at $C$. If $\Gamma_{1}$ and $\Gamma_{2}$ meet at $X$ and $Y$, prove that $PO$ is the bisector of $\angle XPY$. [i]Proposed by Nikola Velov[/i]

Let $C_1$ and $C_2$ be tangent circles internally at point $A$, with $C_2$ inside of $C_1$. Let $BC$ be a chord of $C_1$ that is tangent to $C_2$. Prove that the ratio between the length $BC$ and the perimeter of the triangle $ABC$ is constant, that is, it does not depend of the selection of the chord $BC$ that is chosen to construct the trangle.

The pentagon $ABCDE$ is inscribed in the circle $\omega$. Let $T$ be the intersection point of the diagonals $BE$ and $AD$. A line is drawn through the point $T$ parallel to $CD$, which intersects $AB$ and $CE$ at points $X$ and $Y$, respectively. Prove that the circumscribed circle of the triangle $AXY$ is tangent to $\omega$.

The bisector of the angle $A$ of the triangle $ABC$ intersects the side $BC$ at $D$. A circle $c$ through the vertex $A$ touches the side $BC$ at $D$. Prove that the circumcircle of the triangle $ABC$ touches the circle $c$ at $A$.

Two externally tangent circles with different radii are given. Their common tangents form a triangle. Find the area of this triangle in terms of the radii of the two circles.

Let $ABC$ be an acute-angled triangle \( ABC \) with \( AC > BC \) and incenter \( I \). Let \( \omega \) be the mixtilinear circle at vertex \( C \), i.e. the circle internally tangent to the circumcircle of \( \triangle ABC \) and also tangent to lines \( AC \) and \( BC \). A circle \( \Gamma \) passes through points \( A \) and \( B \) and is tangent to \( \omega \) at point \( T \), with \( C \notin \Gamma \) and \( I \) being inside \( \triangle ATB \). Prove that: $$\angle CTB + \angle ATI = 180^\circ + \angle BAI - \angle ABI.$$

Let $ABC$ be an acute triangle, and its altitudes $AX,BY,CZ$ concurrent at $H$. Construct circles $(K_a), (K_b), (K_c)$ circumscribing the triangles $AY Z, BZX, CXY$ . Construct a circle $(K)$ that is internally tangent to all the three circles $(Ka), (K_b), (K_c)$. Prove that $(K)$ is tangent to the circumcircle $(O)$ of the triangle $ABC$. Đỗ Thanh Sơn

The circle $\omega_2$ passing through the center $O$ of the circle $\omega_1$, is tangent to the circle $\omega_2$ at the point $A$. On the circle $\omega_2$, the point $C$ is taken so that the ray $AC$ intersects the circle $\omega_1$ for second time at point $D$, the ray $OC$ intersects the circle $\omega_1$ at point $E$ and the lines $DE$ and $AO$ are parallel. Find the size of the angle $DAE$.