等边 △ABC 中, AD,AE 为 ∠BAC 的三等分线, F 为 AE 中点, 连接 BF 交 AD 于点 G, 连接 GE, 求证: GD=DE.
解析:
法一 考虑选定一组边长作为"基底"', 设
(AD,BD,DE)=(x,y,z).
首先计算 GD, 直线 BF 交 △ADE 的三边 AD,DE,EA 于点 G,B,F. 由梅涅劳斯定理可得
AGGD⋅DBBE⋅EFFA=1.
即有 AGGD=y+zy, 给等式两边加 1, 可得GD=y2y+z⋅AD=yz2y+z.
接下来计算 DE, 在 △ABE 中, 由角平分线定理可得BDDE=ABAE.
从而 DE=BD⋅AEAB=BD⋅ADBC=yz2y+z. 显然 GD=DE, 证毕.
法二 如图, 过 D 作 DH∥AE, AE∩DH=H.
则 △AGF∼△ADH, △EDH∼△EBF. 设 ED:DB=λ, 则
AGGD=AFFH=EH+HFHF=EDDB+1=λ+1.(∗) 则 GD=ADλ+2, 又在 △ADE 中由正弦定理可得 DE=AD⋅sin20∘sin80∘.
因此原题等价于求证 ADλ+2=AD⋅sin20∘sin80∘. 也即求证 λ=sin80∘sin20∘−2. 以下计算 λ 的值: λ=EDDB=EDAD⋅ADDB=sin20∘sin80∘⋅sin60∘sin20∘=sin60∘sin80∘=2sin10∘sin60∘sin20∘. 从而原题即证明 sin80∘sin20∘−2=2sin10∘sin60∘sin20∘, 此即$$
2\sin 10^\circ\sin 60^\circ =\sqrt{3}\sin 10^\circ=\cos 10^\circ -2\sin(30\circ-10\circ)=\sin 80^\circ-2\sin 20^\circ.$$证毕.
备注 在 (∗) 处, 计算 AGGD 的表达式时, 用梅氏(梅涅劳斯)定理可一步到位.
【推荐】还在用 ECharts 开发大屏?试试这款永久免费的开源 BI 工具!
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· .NET 原生驾驭 AI 新基建实战系列:向量数据库的应用与畅想
· 从问题排查到源码分析:ActiveMQ消费端频繁日志刷屏的秘密
· 一次Java后端服务间歇性响应慢的问题排查记录
· dotnet 源代码生成器分析器入门
· ASP.NET Core 模型验证消息的本地化新姿势
· 开发的设计和重构,为开发效率服务
· 从零开始开发一个 MCP Server!
· Ai满嘴顺口溜,想考研?浪费我几个小时
· .NET 原生驾驭 AI 新基建实战系列(一):向量数据库的应用与畅想
· 从问题排查到源码分析:ActiveMQ消费端频繁日志刷屏的秘密