Итак, в ЕBCF диагонали взаимно перпендикулярны, и каждая из диагоналей делит один из углов пополам (то есть ЕС - биссектриса BCF, FB - Биссектриса ЕВС.)
Рассматиривая последовательно пару треугольников КВС и FKC, убеждаемся в из равенстве (общий катет и прилежащий угол).
Потом аналогично устанавливаем равенство треугольников EBK и KBC.
И совсем просто отсюда следует, что и треугольник EKF равен BKC (по двум катетам)
1. Доказать тождество
sinα +sin5α+sin7α +sin11α = 4cos2α*cos3α*sin6α
sinα +sin5α+sin7α +sin11α =(sin5α +sinα) +(sin11α+sin7α) =
2sin3α*cos2α +2sin9α*cos2α =2cos2α*(sin9α+sin3α)=
2cos2α*2sin6α*cos3α =4cos2α*cos3α*sin6α
- - - - - - -
2.Найдите значение выражения sin2α*cos5α -sinα*cos6α ,если sinα = -1/√3
- - -
Cначала упростим выражение:
sin2α*cos5α -sinα*cos6α =2sinα*cos∝*cos5α - sinα*cos6α =
sinα(2cos5α*cos∝ - sinα*cos6α )=sinα*(cos6∝+cos4α -cos6α ) =
sinα*cos4α =sinα*(1 - 2sin²2α) = sinα*( 1 -2*(2sinα*cosα)² )=
= sinα*( 1 -8sin²α*cos²α ) =sinα*( 1 -8sin²α*(1 -sin²α) ) = || sinα =-1/√3 ||
= (-1/√3)*( 1 -8*(-1/√3)² *(1 - (-1/√3)² ) = - 1/√3 *( 1- (8/3)*(2/3) ) = 7√3 / 27
Точка пересечения диагоналей - К.
Дальше сплошная "угломания" :)))
угол DBC = угол CAD (опираются на одну дугу)
угол CAD = угол EBD (стороны взаимно перпендикулярны)
угол BDA = угол BCA (опираются на одну дугу)
угол ECF = угол BDA (стороны взаимно перпендикулярны)
Итак, в ЕBCF диагонали взаимно перпендикулярны, и каждая из диагоналей делит один из углов пополам (то есть ЕС - биссектриса BCF, FB - Биссектриса ЕВС.)
Рассматиривая последовательно пару треугольников КВС и FKC, убеждаемся в из равенстве (общий катет и прилежащий угол).
Потом аналогично устанавливаем равенство треугольников EBK и KBC.
И совсем просто отсюда следует, что и треугольник EKF равен BKC (по двум катетам)
ПОэтому EF = BC = 1
EBCF - ромб.