Пусть в треугольнике ABC известны стороны b,c и угол A между ними.
Докажем, что SABC=12bcsinA.
Действительно, проведем высоту h=CD из вершины C.
Тогда sinA=hb.
Поэтому h=bsinA.
Тогда SABC=12ch=12bcsinA.
Пусть в параллелограмме ABCD известны стороны a,b и угол A между ними.
Докажем, что SABCD=absinA.
Действительно, проведем высоту h=BH из вершины B.
Тогда sinA=hb.
Поэтому h=bsinA.
Тогда SABCD=ah=absinA.
Рассмотрим произвольный выпуклый четырехугольник.
Пусть его диагонали пересекаются в точке O.
Обозначим a=AO,b=CO,c=DO,d=BO.
Кроме того, ∠AOB=∠COD, а углы ∠BOC и ∠AOD являются смежными к ним.
Следовательно, синусы углов ∠AOB,∠BOC,∠COD и ∠AOD равны.
Обозначим sin∠AOB=sinα.
Тогда SABCD=SABO+SBOC+SCOD+SAOD=12sinα(ad+db+bc+ca)=12sinα(d(a+b)+c(b+a))=12sinα(a+b)(c+d)=12sinα⋅AC⋅BD.
Рассмотрим произвольный выпуклый четырехугольник.
Пусть его диагонали пересекаются в точке O.
Обозначим a=AO,b=CO,c=DO,d=BO.
Кроме того, ∠AOB=∠COD, а углы ∠BOC и ∠AOD являются смежными к ним.
Следовательно, синусы углов ∠AOB,∠BOC,∠COD и ∠AOD равны.
Обозначим sin∠AOB=sinα.
Тогда SABO⋅SCOD=12sinα⋅ad⋅12sinα⋅bc=12sinα⋅db⋅12sinα⋅ac=SBOC⋅SAOD.
В произвольной трапеции площади треугольников, на которые трапецию делят диагонали, удовлетворяют соотношению S2=S1⋅S2.
Рассмотрим трапецию ABCD в которой диагонали AC и BD пересекаются в точке O.
По теореме SAOB=SCOD=S.
Обозначим S1=SBOC, S2=SAOD.
Тогда, учитывая теорему, получим S2=S1⋅S2.