
Concentration... lol !
1. : introduction
This is the figure at the beginning.
The point A will be one summit of the final triangle and O is the intersection of the 3 lines.
L and M are construction points and have no importance.
2. : first symmetry
We draw the circle
d of center O and radius OA. This is the circumscribed circle.
Point G is a random point on line
b.
We'll construct the symmetric point E of A with respect to line
b :
- since G is on this line, GA=GE. So draw the circle of center G and radius GA.
- since O is on this line, OA=OE. So E is on the circle
d.
Thus E is the intersection of the two circles.
For more convenience, the circle of construction has been removed.
3. : second symmetry
Point H is a random point on line
c
Point F is the symmetric point of A with respect to line
c and is constructed exactly the same way as E.
Draw lines GA and GE (blue) and lines HA and HF (green)
4. : key step/explanation
Imagine EF will extend to be a side of the final triangle.
Why did we construct the symmetrics of A ? Here is the explanation :
Since A and E are symmetric wrt line
b, any point G on this line will be at equal distance from A and E : AG=EG.
Therefore, triangle AGE will be isosceles (summit G).
Since line
b is the axis of symmetry for A and E, it's the
perpendicular bisector of line AE.
But in an isosceles triangle, the perpendicular bisector to the base is also the
angle bisector of the summit angle.
Therefore, b will be the
angle bisector of any angle

, where G can be any point of line
b.
Same goes for any point H on line
c.
Do you see better now ? Ok, I understand that the figure is messy... But think hard
5. : final
Let's call B the intersection of lines EF and
b and C the intersection of lines EF and
c.
Since B is on line
b,
b bisects

Since C is on line
c,
c bisects
No matter what, line OA, aka line
a aka OA, will be an angle bisector.
And we're done !