См. ПЕРВЫЙ чертеж. На нем все обозначения. q^2 = R^2 - (m/2)^2; p^2 = r^2 - (m/2)^2; Отсюда (2*m)^2 + (q - p)^2 = (R + r)^2; (это просто теорема Пифагора) 4*m^2 + q^2 + p^2 - 2*q*p = R^2 + r^2 + 2*R*r; 4*m^2 + R^2 + r^2 - m^2/2 - R^2 - r^2 - 2*R*r = 2*q*p; (свожу подобные и делю на 2); (7/4)*m^2 - R*r = q*p; (это возводится в квадрат); (49/16)*m^4 - 2*(7/4)*m^2*R*r + R^2*r^2 = (R^2 -m^2/4)*(r^2 - m^2/4) = = R^2*r^2 - (1/4)*m^2*(R^2 + r^2) + m^2/16; (ясно, что свободные от неизвестного m слагаемые выпадают, и степень понижается :)); 3*m^2 = (7/2)*R*r - (R^2 + r^2)/4; Собственно, это ответ. Его можно "переписывать" в каких-то иных формах, например, так m = (√3/6)*√(16*R*r - (R + r)^2); сути это не меняет. Почему эта задача вызвала такие моральные затруднения, я не понимаю. Арифметику проверяйте! :)
Мне захотелось показать несколько простых ЧУДЕС, которые зарыты в этом условии. См. ВТОРОЙ рисунок, он немного отличается от первого. Семь отличий искать не надо :). Проведена общая внутренняя касательная до пересечения с прямой. Она делит средний (из трех равных) отрезок на части x и m - x; отрезок касательной t; Ясно, что x*(x + m) = t^2 = (m - x)*(m - x + m); откуда легко найти x = m/2; то есть общая внутренняя касательная делит средний отрезок пополам. Это уже НЕЧТО, но есть и дальше :) r^2 + t^2 = p^2 + (x + m/2)^2 = r^2 - m^2/4 + m^2; t^2 = (3/4)^m^2; t = m*√3/2; к сожалению, это не сильно в поиске m :);
В условии ошибка: ВС ║AD, а не АС, так как параллельные прямые не могут проходить через одну точку.
BF = DE по условию,
∠AED = ∠CFB по условию,
∠CBF = ∠ADE как накрест лежащие при пересечении параллельных прямых ВС и AD секущей BD, ⇒
ΔCBF = ΔADE по стороне и двум прилежащим к ней углам.
Значит CF = AE,
BE = BF - EF, DF = DE - EF, а так как BF = DE, то и BE = DF,
∠CFD = ∠AEB как смежные с равными углами (∠AED = ∠CFB по условию),
значит ΔCFD = ΔAEB по двум сторонам и углу между ними.
Тогда ∠АВЕ = ∠CDF, а эти углы - накрест лежащие при пересечении прямых АВ и CD секущей BD, значит АВ║CD.
q^2 = R^2 - (m/2)^2;
p^2 = r^2 - (m/2)^2;
Отсюда
(2*m)^2 + (q - p)^2 = (R + r)^2; (это просто теорема Пифагора)
4*m^2 + q^2 + p^2 - 2*q*p = R^2 + r^2 + 2*R*r;
4*m^2 + R^2 + r^2 - m^2/2 - R^2 - r^2 - 2*R*r = 2*q*p; (свожу подобные и делю на 2);
(7/4)*m^2 - R*r = q*p; (это возводится в квадрат);
(49/16)*m^4 - 2*(7/4)*m^2*R*r + R^2*r^2 = (R^2 -m^2/4)*(r^2 - m^2/4) =
= R^2*r^2 - (1/4)*m^2*(R^2 + r^2) + m^2/16; (ясно, что свободные от неизвестного m слагаемые выпадают, и степень понижается :));
3*m^2 = (7/2)*R*r - (R^2 + r^2)/4;
Собственно, это ответ. Его можно "переписывать" в каких-то иных формах, например, так
m = (√3/6)*√(16*R*r - (R + r)^2);
сути это не меняет.
Почему эта задача вызвала такие моральные затруднения, я не понимаю.
Арифметику проверяйте! :)
Мне захотелось показать несколько простых ЧУДЕС, которые зарыты в этом условии. См. ВТОРОЙ рисунок, он немного отличается от первого. Семь отличий искать не надо :). Проведена общая внутренняя касательная до пересечения с прямой. Она делит средний (из трех равных) отрезок на части x и m - x; отрезок касательной t;
Ясно, что x*(x + m) = t^2 = (m - x)*(m - x + m);
откуда легко найти x = m/2;
то есть общая внутренняя касательная делит средний отрезок пополам.
Это уже НЕЧТО, но есть и дальше :)
r^2 + t^2 = p^2 + (x + m/2)^2 = r^2 - m^2/4 + m^2;
t^2 = (3/4)^m^2;
t = m*√3/2;
к сожалению, это не сильно в поиске m :);