Problem:
An acute isosceles triangle with base is given. Inside this triangle a point is given, on the side of with respect to the axis of and such that , and a point inside the segment such that .
- Prove that .
- Prove that .
Problem:
An acute isosceles triangle with base is given. Inside this triangle a point is given, on the side of with respect to the axis of and such that , and a point inside the segment such that .
- Prove that .
- Prove that .
Solution:
Let be the point of intersection between the extension of and and let be the point of intersection between the extension of and ; let us also denote by the angle .
Proof of the first part
We give two proofs of this point.
First argument
By the exterior angle theorem applied to the angle at of triangle , . But , so .
Second argument
Consider the triangles and : they have the angle at in common and the corresponding angles and equal to by hypothesis, hence they are similar. But then also and hence .
Proof of the second part
Consider now the triangle : the exterior angle at is and is therefore equal to . But by the exterior angle theorem then (hence is isosceles).
Finally consider the triangles and : the corresponding angles at and at are complements of equal angles by what has just been shown and are therefore equal, while the corresponding angles at and at are equal by what was seen in the first part. The two triangles are therefore similar, indeed congruent since the side of the first is equal to the corresponding side of the second ( is isosceles by hypothesis). Hence also since they are likewise corresponding sides of these two triangles. But since is isosceles, and hence , as was to be shown.
Denoting by the angle , the locus of points internal to the triangle from which the segment is seen under an angle equal to is an arc of a circle passing through the circumcenter of ; indeed the central angle theorem guarantees that . Since is isosceles on base and acute, lies along the axis of the segment inside the triangle, and the triangles , , turn out to be isosceles. Denoting by the intersection of with and setting , , we have:
since both subtend the arc in ,

since both subtend the arc in ,
but clearly , whence:
from which follows . Denoting by a reflection with respect to the axis of followed by a reflection with respect to the axis of , let . Since reflections preserve angles, forms an angle equal to with , which guarantees that lies on . The transformation , being a composition of axial reflections, is a counterclockwise rotation with center (intersection of the axis of and the axis of ) of amplitude equal to ; in particular it gives and . Moreover we have:
but and subtend the same arc in on opposite sides with respect to the center, hence they sum to a straight angle. The triangle is consequently isosceles by congruence of the angles resting on , and we have: