Трапецией называется четырехугольник, у которого две стороны параллельны, а две другие не параллельны.
Сумма углов при боковой стороне трапеции равна 180∘.
Действительно, так как основания трапеции параллельны, а боковая сторона является секущей, то углы при боковой стороне являются внутренними односторонними углами при параллельных прямых, и, следовательно, их сумма равна 180∘.
Рассмотрим равнобедренную трапецию ABCD, AB=CD.
Докажем, что ∠A=∠D.
Проведем из точек B и C высоты BE и CF.
Треугольники △ABE и △CFD равны по катету и гипотенузе (AB=CD,BE=CF).
Следовательно, ∠A=∠D.
В равнобедренной трапеции ABCD рассмотрим треугольники △ABD и △ACD.
Они равны по первому признаку (AB=CD, AD – общая, ∠A=∠D по первому пункту).
Следовательно, AC=BD.
Пусть диагонали равнобедренной трапеции ABCD пересекаются в точке O. Докажем, что треугольники △AOD и △BOC – равнобедренные, а треугольники △AOB и △COD равны.
Действительно, во втором пункте уже было доказано, что △ABD=△ACD.
Следовательно, ∠1=∠2, а так как они накрест лежащие с углами ∠3 и ∠4 соответственно, то ∠3=∠4, что и означает, что треугольники △AOD и △BOC – равнобедренные.
Тогда AO=OD и BO=OC, и как следствие, △AOB=△COD по третьему признаку равенства треугольников.
Так как △AEB=△CFD (по катету и гипотенузе), то AE=FD.
Кроме того, EF=BC, следовательно, AE=AD−BC2 и AF=AD−BC2+BC=AD+BC2.
Рассмотрим трапецию ABCD, в которой ∠A=∠D.
Докажем, что тогда AB=CD, то есть трапеция равнобедренная.
Проведем из вершины C отрезок CE параллельный стороне AB.
Тогда ∠A=∠CED, как соответственные углы.
Следовательно, ∠CED=∠D, а тогда △CED – равнобедренный.
А поскольку AB=CE (ABCE – параллелограмм), то AB=CD.
Рассмотрим трапецию ABCD, у которой AC=BD.
Докажем, что тогда AB=CD.
Построим из точки C прямую, параллельный диагонали BD. Пусть она пересекает прямую AD в точке F.
Тогда BD=CF, так как BCFD – параллелограмм по определению.
Тогда △ACF – равнобедренный, так как AC=CF.
Следовательно ∠OAD=∠ODA, и △AOD – равнобедренный.
Тогда AO=OD и BO=OC.
Следовательно, △BOA=△COD по первому признаку (∠BOA=∠COD - как вертикальные).
Следовательно, AB=CD.
Рассмотрим равнобедренную трапецию ABCD, в которой AC⊥BD.
Докажем, что в такой трапеции высота CH равна средней линии то есть полусумме оснований.
Действительно, △AOD – равнобедренный и прямоугольный, следовательно, ∠OAD=45∘. Тогда △AHC – равнобедренный, то есть AH=CH.
Но отрезок AH равен полусумме оснований.