# Prove that the diameter of the incircle belongs and equals the height of the tangential trapezoid

I know it's probably obvious, but how can I prove that the diameter of any incircle between two parallel lines equals the distance between two lines? And in case it's tangential trapezoid, how to prove that the diameter of the incircle belongs and equals the height of the tangential trapezoid?

I see it and I know it's true, I just need to justify it. Everywhere in textbooks it is stated as a fact, so does it mean I can use this fact without proving it in any way when I'm solving a problem? I know that the angle between a tangent and radius is always 90 degrees, I know that only one perpendicular can be dropped from a point to the line and I also know that if two lines are parallel, they are perpendicular to the same line. Please help me combine these facts. • Draw a third line $s$ passing through $O$. Use alternate interior angle theorem to conclude that the top tangent point, the center and the bottom tangent point are collinear. – RicardoCruz Feb 18 at 21:55 First, we need to analyze the general scenario depicted in the diagram, the special case of which OP has described in his problem statement. Let us consider two straight lines $$AD$$ and $$BE$$, which are not parallel to each other. Therefore, they intersect each other at some point, say $$C$$. All points, which are at equidistance from two intersecting lines, are to be found on the angle bisector of the angle formed by the lines.

Now, we are going to draw some circle, which is tangential to the two line segments $$AC$$ and $$BC$$ and lies in the space delimited by them. We know that the center of this inscribed circle is located equidistant from $$AC$$ and $$BC$$, because the lines drawn from the center of this circle to the contact points between the circle and the lines are two of its radii. Therefore, the center of this circle must lie on the aforementioned angle bisector. Furthermore, since both lines are tangents of the circle, each of the two radii in question is perpendicular to the line, with which it shares a contact point (i.e. $$G$$ or $$H$$).

In the special case, where $$AD$$ and $$BE$$ are parallel to each other, their point of intersection $$C$$ is at infinity making the construction of the relevant angle bisector impossible. However, the fact, that all points on this line lie at equidistant from the two parallel lines running on either side of it, comes to our rescue. According to that, the equivalent angle bisector in this instance is another line parallel to the two parallel lines. The center of the inscribed circle is still located on this line. Furthermore, each of the two radii drawn from the center of the circle to the contact points between the circle and the straddling parallel lines is still perpendicular to the line, with which it shares a contact point. Since the two lines are parallel to each other, each radius is also perpendicular to the line, with which it does not share a contact point. Therefore, two radii are coinciding to make a diameter. Since this particular diameter is perpendicular to the two lines, it is also the distance between them.

If you are agreeing with my reasoning, you can use them to prove that the distance between the two parallel sides of a general tangential trapezoid is the decisive factor for dimensioning the diameter of its incircle. If you are unable to do so, let me know. I will extend my answer to address that part of your question.

• Thanks! This is an interesting explanation, but I think it's a bit too abstract for my needs. It helped me understand, but I also found a different way to prove it (Construct a line going through O to intersect the top line at tangent point and the bottom line at some point other than tangency point. Then show the contradiction - the top angle will be 90 degrees, so will the alternate interior angle at the bottom, but radius is perpendicular to tangent, so there would be to perpendiculars from one point to the bottom line). – Enc_23 Feb 19 at 18:38

A tangent is perpendicular to the radius. Because the lines are parallel, a line perpendicular to one of them is also perpendicular to the other, so the radii form one diameter. You could also say that the radius of a circle on one line and tangent to the other is the distance between them.