Question: ABC triangle, D on BC, E on AC, M midpoint of AB, N midpoint of DE. BD=AE. Extend MN intersects BC and AC produced at F and G respectively. Prove FCG is isosceles by using the dynamic of the midpoint
1. **Problem Statement:**
Given triangle $ABC$, points $D$ on $BC$, $E$ on $AC$, $M$ midpoint of $AB$, and $N$ midpoint of $DE$. Given $BD = AE$. The segment $MN$ is extended to intersect $BC$ and the extension of $AC$ at points $F$ and $G$ respectively. We need to prove that triangle $FCG$ is isosceles using midpoint properties.
2. **Key Definitions and Properties:**
- $M$ is midpoint of $AB$ so $AM = MB$.
- $N$ is midpoint of $DE$ so $DN = NE$.
- $BD = AE$ is given.
- Midpoint theorem: The segment joining midpoints of two sides of a triangle is parallel to the third side and half its length.
3. **Step 1: Express vectors for points**
Let vectors be relative to origin $A$:
- $\vec{B} = \vec{b}$
- $\vec{C} = \vec{c}$
- $\vec{D}$ lies on $BC$, so $\vec{D} = \vec{B} + t(\vec{C} - \vec{B}) = \vec{b} + t(\vec{c} - \vec{b})$ for some $t \in [0,1]$.
- $\vec{E}$ lies on $AC$, so $\vec{E} = \vec{A} + s(\vec{C} - \vec{A}) = s\vec{c}$ since $\vec{A} = \vec{0}$.
4. **Step 2: Use given length condition $BD = AE$**
- $BD = |\vec{D} - \vec{B}| = |(\vec{b} + t(\vec{c} - \vec{b})) - \vec{b}| = |t(\vec{c} - \vec{b})| = t|\vec{c} - \vec{b}|$
- $AE = |\vec{E} - \vec{A}| = |s\vec{c} - \vec{0}| = s|\vec{c}|$
- Given $BD = AE$ implies $t|\vec{c} - \vec{b}| = s|\vec{c}|$
5. **Step 3: Midpoints $M$ and $N$**
- $M$ midpoint of $AB$: $\vec{M} = \frac{\vec{A} + \vec{B}}{2} = \frac{\vec{0} + \vec{b}}{2} = \frac{\vec{b}}{2}$
- $N$ midpoint of $DE$: $\vec{N} = \frac{\vec{D} + \vec{E}}{2} = \frac{(\vec{b} + t(\vec{c} - \vec{b})) + s\vec{c}}{2} = \frac{\vec{b} + t\vec{c} - t\vec{b} + s\vec{c}}{2} = \frac{(1 - t)\vec{b} + (t + s)\vec{c}}{2}$
6. **Step 4: Vector of line $MN$**
- $\vec{MN} = \vec{N} - \vec{M} = \frac{(1 - t)\vec{b} + (t + s)\vec{c}}{2} - \frac{\vec{b}}{2} = \frac{(1 - t)\vec{b} + (t + s)\vec{c} - \vec{b}}{2} = \frac{-t\vec{b} + (t + s)\vec{c}}{2}$
7. **Step 5: Parametric form of line $MN$ extended**
- Let $\lambda$ be a scalar parameter, then points on line $MN$ are:
$$\vec{R}(\lambda) = \vec{M} + \lambda \vec{MN} = \frac{\vec{b}}{2} + \lambda \frac{-t\vec{b} + (t + s)\vec{c}}{2} = \frac{1}{2} \left( \vec{b} + \lambda(-t\vec{b} + (t + s)\vec{c}) \right)$$
8. **Step 6: Find $F$ on $BC$**
- $F$ lies on $BC$, so $\vec{F} = \vec{b} + u(\vec{c} - \vec{b})$ for some $u$.
- Since $F$ is on line $MN$, equate:
$$\vec{F} = \vec{R}(\lambda)$$
- Equate components:
$$\vec{b} + u(\vec{c} - \vec{b}) = \frac{1}{2} \left( \vec{b} + \lambda(-t\vec{b} + (t + s)\vec{c}) \right)$$
- Multiply both sides by 2:
$$2\vec{b} + 2u(\vec{c} - \vec{b}) = \vec{b} + \lambda(-t\vec{b} + (t + s)\vec{c})$$
- Rearrange:
$$2\vec{b} - \vec{b} + 2u\vec{c} - 2u\vec{b} = \lambda(-t\vec{b} + (t + s)\vec{c})$$
$$ (1 - 2u)\vec{b} + 2u\vec{c} = \lambda(-t\vec{b} + (t + s)\vec{c})$$
- Equate coefficients:
$$1 - 2u = -\lambda t$$
$$2u = \lambda (t + s)$$
9. **Step 7: Solve for $u$ and $\lambda$**
- From second equation: $\lambda = \frac{2u}{t + s}$
- Substitute into first:
$$1 - 2u = -\frac{2u}{t + s} t = -\frac{2ut}{t + s}$$
- Multiply both sides by $t + s$:
$$(1 - 2u)(t + s) = -2ut$$
$$t + s - 2u(t + s) = -2ut$$
- Rearrange:
$$t + s = 2u(t + s) - 2ut = 2u(t + s - t) = 2us$$
- So:
$$2us = t + s \implies u = \frac{t + s}{2s}$$
10. **Step 8: Find $G$ on extension of $AC$**
- $G$ lies on extension of $AC$, so $\vec{G} = v\vec{c}$ for some $v$ (possibly $v > 1$ since extension).
- Since $G$ is on line $MN$:
$$\vec{G} = \vec{R}(\mu) = \frac{\vec{b}}{2} + \mu \frac{-t\vec{b} + (t + s)\vec{c}}{2}$$
- Multiply both sides by 2:
$$2v\vec{c} = \vec{b} + \mu(-t\vec{b} + (t + s)\vec{c})$$
- Rearrange:
$$2v\vec{c} - \vec{b} = \mu(-t\vec{b} + (t + s)\vec{c})$$
- Equate coefficients:
$$-1 = -\mu t \implies \mu = \frac{1}{t}$$
$$2v = \mu (t + s) = \frac{1}{t} (t + s) = 1 + \frac{s}{t}$$
- So:
$$v = \frac{1}{2} \left(1 + \frac{s}{t} \right)$$
11. **Step 9: Show $FC = CG$ to prove $\triangle FCG$ is isosceles**
- Compute $\vec{F} = \vec{b} + u(\vec{c} - \vec{b}) = (1 - u)\vec{b} + u\vec{c}$
- Compute $\vec{G} = v\vec{c}$
- Length $FC = |\vec{C} - \vec{F}| = |\vec{c} - ((1 - u)\vec{b} + u\vec{c})| = |\vec{c} - u\vec{c} - (1 - u)\vec{b}| = |(1 - u)\vec{c} - (1 - u)\vec{b}| = (1 - u)|\vec{c} - \vec{b}|$
- Length $CG = |\vec{G} - \vec{C}| = |v\vec{c} - \vec{c}| = |(v - 1)\vec{c}| = |v - 1||\vec{c}|$
12. **Step 10: Substitute $u$ and $v$**
- Recall $u = \frac{t + s}{2s}$
- So:
$$1 - u = 1 - \frac{t + s}{2s} = \frac{2s - t - s}{2s} = \frac{s - t}{2s}$$
- Recall $v = \frac{1}{2} \left(1 + \frac{s}{t} \right) = \frac{t + s}{2t}$
- So:
$$v - 1 = \frac{t + s}{2t} - 1 = \frac{t + s - 2t}{2t} = \frac{s - t}{2t}$$
13. **Step 11: Use given $t|\vec{c} - \vec{b}| = s|\vec{c}|$**
- From step 4:
$$t|\vec{c} - \vec{b}| = s|\vec{c}| \implies |\vec{c} - \vec{b}| = \frac{s}{t} |\vec{c}|$$
14. **Step 12: Compare $FC$ and $CG$**
- Substitute $|\vec{c} - \vec{b}|$ into $FC$:
$$FC = (1 - u)|\vec{c} - \vec{b}| = \frac{s - t}{2s} \cdot \frac{s}{t} |\vec{c}| = \frac{s - t}{2t} |\vec{c}|$$
- $CG = |v - 1||\vec{c}| = \frac{s - t}{2t} |\vec{c}|$
15. **Step 13: Conclusion**
- Since $FC = CG$, triangle $FCG$ has two equal sides.
- Therefore, $\triangle FCG$ is isosceles.
**Final answer:** $\triangle FCG$ is isosceles because $FC = CG$ proven using midpoint properties and given length condition.