Given triangle $AIJ$ inscribed in circle $(C)$ with center $O$. Points $B$ and $C$ are symmetric to $A$ with respect to $I$ and $J$ respectively. $M$ is the midpoint of $[IJ]$. $D$ is diametrically opposite to $A$ in circle $(C)$, and $N$ is the orthogonal projection of $D$ onto line $(BC)$. $h$ is a homothety with center $A$ and ratio $2$. 1) Determine the images of points $I, J, O$ under $h$. 2) What is the image of line $(IJ)$ and line $(OM)$ under $h$? 3) Prove that $A, M, N$ are collinear.

GeometryHomothetyCirclesTrianglesCollinearityGeometric Transformations
2025/3/23

1. Problem Description

Given triangle AIJAIJ inscribed in circle (C)(C) with center OO. Points BB and CC are symmetric to AA with respect to II and JJ respectively. MM is the midpoint of [IJ][IJ]. DD is diametrically opposite to AA in circle (C)(C), and NN is the orthogonal projection of DD onto line (BC)(BC). hh is a homothety with center AA and ratio 22.
1) Determine the images of points I,J,OI, J, O under hh.
2) What is the image of line (IJ)(IJ) and line (OM)(OM) under hh?
3) Prove that A,M,NA, M, N are collinear.

2. Solution Steps

1) Let I,J,OI', J', O' be the images of I,J,OI, J, O under the homothety hh with center AA and ratio 22. Then AI=2AI\vec{AI'} = 2\vec{AI}, AJ=2AJ\vec{AJ'} = 2\vec{AJ}, AO=2AO\vec{AO'} = 2\vec{AO}.
Since BB is symmetric to AA with respect to II, then AI=IB\vec{AI} = \vec{IB}, thus AB=2AI\vec{AB} = 2\vec{AI}. Therefore I=BI' = B.
Since CC is symmetric to AA with respect to JJ, then AJ=JC\vec{AJ} = \vec{JC}, thus AC=2AJ\vec{AC} = 2\vec{AJ}. Therefore J=CJ' = C.
Since DD is diametrically opposite to AA in circle (C)(C), then AD=2AO\vec{AD} = 2\vec{AO}. Therefore AO=AD\vec{AO'} = \vec{AD}, so O=DO'=D.
Thus, the images of I,J,OI, J, O under hh are B,C,DB, C, D respectively.
2) Since hh is a homothety with ratio 2 and center AA, the image of line (IJ)(IJ) under hh is a line parallel to (IJ)(IJ) passing through BB and CC. Therefore, the image of line (IJ)(IJ) under hh is line (BC)(BC).
Let MM' be the image of MM under hh. Then AM=2AM\vec{AM'} = 2\vec{AM}. Since MM is the midpoint of [IJ][IJ], AM=AI+AJ2\vec{AM} = \frac{\vec{AI} + \vec{AJ}}{2}. Therefore, AM=2AM=AI+AJ\vec{AM'} = 2\vec{AM} = \vec{AI} + \vec{AJ}. Also AI=12AB\vec{AI} = \frac{1}{2}\vec{AB} and AJ=12AC\vec{AJ} = \frac{1}{2}\vec{AC}.
So AM=12(AB+AC)\vec{AM'} = \frac{1}{2}(\vec{AB} + \vec{AC}).
Let KK be the midpoint of BCBC. Then AK=AB+AC2\vec{AK} = \frac{\vec{AB} + \vec{AC}}{2}. Thus, AM=2AK\vec{AM'} = 2\vec{AK} which is incorrect.
Since MM is the midpoint of IJIJ, its image MM' is the midpoint of IJI'J', i.e., MM' is the midpoint of BCBC. Then MM' is KK.
So we have that O=DO' = D and M=KM'=K, where KK is the midpoint of BCBC. Thus, the image of line (OM)(OM) is line (DK)(DK).
We know that NN is the projection of DD onto BCBC, thus DNBCDN \perp BC. Let the circle (C)(C) have radius RR.
Also, MM' is the midpoint of BCBC.
3) Let's prove that A,M,NA, M, N are collinear.
Since NN is the orthogonal projection of DD onto BCBC, DNBCDN \perp BC.
Since OO is the center of the circle and MM is the midpoint of IJIJ, OMIJOM \perp IJ. The image of line (IJ)(IJ) under hh is line (BC)(BC), which is parallel to (IJ)(IJ). Also AM=2AM\vec{AM'} = 2\vec{AM}.
Since DNBCDN \perp BC and MM' is the midpoint of BCBC, BCBC is perpendicular to DNDN. Let KK be the midpoint of BCBC. K=MK=M'.
We want to prove that A,M,NA, M, N are collinear. It is equivalent to prove that AM=λAN\vec{AM} = \lambda \vec{AN} for some λ\lambda.
Since DD is diametrically opposite to AA, AJA=AIA=90\angle AJA = \angle AIA = 90. Thus AJJCAJ\perp JC and AIIBAI\perp IB. Since BCBC is the image of IJIJ under the homothety, (IJ)(BC)(IJ)||(BC). Since NN is the projection of DD onto (BC)(BC), we have DNBCDN \perp BC. Thus, DN(IJ)DN \perp (IJ).
Let the coordinates of the points be A=(0,0),I=(xi,yi),J=(xj,yj)A=(0,0), I=(x_i, y_i), J=(x_j, y_j).
M=(xi+xj2,yi+yj2)M = (\frac{x_i+x_j}{2}, \frac{y_i+y_j}{2}). Thus, AM=(xi+xj2,yi+yj2)\vec{AM} = (\frac{x_i+x_j}{2}, \frac{y_i+y_j}{2}).
Since BB is the symmetric of AA with respect to II, we have II is the midpoint of ABAB. Thus xi=xb+02x_i=\frac{x_b+0}{2}, yi=yb+02y_i = \frac{y_b+0}{2}, thus xb=2xi,yb=2yix_b = 2x_i, y_b=2y_i, so B=(2xi,2yi)B=(2x_i, 2y_i).
Similarly, since CC is the symmetric of AA with respect to JJ, we have JJ is the midpoint of ACAC. Thus xj=xc+02x_j=\frac{x_c+0}{2}, yj=yc+02y_j = \frac{y_c+0}{2}, thus xc=2xj,yc=2yjx_c = 2x_j, y_c=2y_j, so C=(2xj,2yj)C=(2x_j, 2y_j).
The line equation for (BC)(BC) is y2yix2xi=2yj2yi2xj2xiy2yix2xi=yjyixjxi\frac{y-2y_i}{x-2x_i} = \frac{2y_j-2y_i}{2x_j-2x_i} \rightarrow \frac{y-2y_i}{x-2x_i} = \frac{y_j-y_i}{x_j-x_i}.
Since DD is diametrically opposed to AA in the circle centered at OO, then OD=OA\vec{OD} = -\vec{OA}. This means AD=2AO\vec{AD} = 2\vec{AO}.
Final Answer:

1. The images of $I, J, O$ under $h$ are $B, C, D$ respectively.

2. The image of line $(IJ)$ under $h$ is line $(BC)$. The image of line $(OM)$ is line $(DK)$, where $K$ is the midpoint of $(BC)$.

3. $A, M, N$ are collinear. I am not sure how to prove it rigorously from the given information.

Related problems in "Geometry"

The problem requires us to find the perimeter of the given polygon. The polygon has five sides with ...

PerimeterPolygon
2025/4/6

The problem asks to find the perimeter of a rectangle with length 28 ft and width 13 ft.

PerimeterRectangleGeometric Formulas
2025/4/6

We are given that ray $VX$ bisects angle $WVY$ and ray $VY$ bisects angle $XVZ$. We need to prove th...

Angle BisectorGeometric ProofCongruenceTransitive Property
2025/4/5

ABCD is a parallelogram. I and J are the midpoints of segments [AB] and [CD] respectively. 1) Prove ...

ParallelogramVectorsMidpointCollinearityGeometric Proof
2025/4/5

The problem is about geometric properties of a triangle ABC. 1) a) Construct points $M$ and $N$ such...

VectorsTriangle GeometryParallel LinesCollinearity
2025/4/5

Given a triangle $ABC$, $M$ is the midpoint of $[AB]$ and $N$ is the midpoint of $[MC]$. 1) a) Place...

VectorsCollinearityTriangle Geometry
2025/4/5

Given a triangle ABC, we are asked to solve three problems related to a point M in the plane. 1) Pro...

VectorsGeometric ProofParallelogramCollinearityPerpendicular BisectorCircle
2025/4/5

The problem requires completing a geometric proof given the following: $\overline{PQ} \cong \overlin...

Geometric ProofCongruenceSegment Addition PostulateProofs
2025/4/5

The Pentagon building has five congruent sides. We are given that one side is $921$ feet long. We ne...

PerimeterPentagonGeometric Shapes
2025/4/5

The problem asks to find several vector projections given the vectors $u = i + 2j$, $v = 2i - j$, an...

Vector ProjectionVectorsLinear Algebra
2025/4/5