2014年伊朗国家队选拔赛第18题
中心为III的非等腰三角形△ABC\triangle ABC△ABC的内切圆在DDD处与边BCBCBC相切. 设XXX是从三角形ABCABCABC的外接圆开始的弧BCBCBC上的一个点, 这样, 如果EEE,FFF与BIBIBI,CICICI上的XXX垂直, 并且MMM是EFEFEF的中点, 则MBMCMBMCMBMC. 证明∠BAD∠CAX\angle{BAD}\angle{CAX}∠BAD∠CAX. (2014年伊朗国家队选拔赛第18题)证明:只需证明d(E′,B)d(F′d(E, B)d(Fd(E′,B)d(F′,C)C)C),E′EE′,F′FF′分别为EEE,FFF在BCBCBC边上的投影.即BXcos⁡∠EBXcos⁡∠IBCCXcos⁡∠FCXcos⁡∠ICBBX \cos \angle EBX \cos\angle IBCCX \cos \angle FCX \cos \angle ICBBXcos∠EBXcos∠IBCCXcos∠FCXcos∠ICB.即sin⁡∠XCBcos⁡∠EBXcos⁡∠IBCsin⁡∠XBCcos⁡∠FCXcos⁡∠ICB\sin \angle XCB \cos \angle EBX \cos\angle IBC\sin \angle XBC \cos \angle FCX \cos \angle ICBsin∠XCBcos∠EBXcos∠IBCsin∠XBCcos∠FCXcos∠ICB.即cos⁡(B/2)/cos⁡(C/2)sin⁡∠XBC/sin⁡∠XCB⋅cos⁡∠FCX/cos⁡∠EBX\cos (B/2)/ \cos (C/2)\sin \angle XBC/\sin \angle XCB \cdot \cos \angle FCX/\cos \angle EBXcos(B/2)/cos(C/2)sin∠XBC/sin∠XCB⋅cos∠FCX/cos∠EBX设BXCBXCBXC的角平分线交(ABC)(ABC)(ABC)于NNN, 设∠BAC\angle BAC∠BAC内的旁切圆心为点JaJ_aJa​.由内心旁心的一则常用性质,NNN,XXX,JaJ_aJa​三线共点.III,BBB,JaJ_aJa​,CCC共圆,IB⊥JaBIB \bot J_aBIB⊥Ja​B,IC⊥JaCIC \bot J_aCIC⊥Ja​C.cos⁡∠EBXsin⁡∠XBJa\cos \angle EBX\sin \angle XBJ_acos∠EBXsin∠XBJa​cos⁡∠FCXsin⁡∠XCJa\cos \angle FCX \sin \angle XCJ_acos∠FCXsin∠XCJa​由角元形式的塞瓦定理可得:sin⁡∠XBC/sin⁡∠XCB⋅cos⁡∠FCX/cos⁡∠EBXsin⁡∠XJaC/sin⁡∠XJaB\sin \angle XBC/\sin \angle XCB \cdot \cos \angle FCX/\cos \angle EBX\sin \angle XJ_aC/\sin \angle XJ_aBsin∠XBC/sin∠XCB⋅cos∠FCX/cos∠EBXsin∠XJa​C/sin∠XJa​B由面积法,sin⁡∠XJaC/sin⁡∠XJaBNB/NC⋅CJa/BJasin⁡∠CBJa/sin⁡∠BCJacos⁡(B/2)/cos⁡(C/2)\sin \angle XJ_aC/\sin \angle XJ_aBNB/NC \cdot CJ_a/BJ_a\sin \angle CBJ_a/\sin \angle BCJ_a\cos (B/2)/ \cos (C/2)sin∠XJa​C/sin∠XJa​BNB/NC⋅CJa​/BJa​sin∠CBJa​/sin∠BCJa​cos(B/2)/cos(C/2).证毕.

相关新闻

Figma AI自动布局实战速成班:1小时掌握动态间距/断点/嵌套容器三大黄金参数(限免开放最后48小时)

Figma AI自动布局实战速成班:1小时掌握动态间距/断点/嵌套容器三大黄金参数(限免开放最后48小时)

更多请点击: https://intelliparadigm.com 第一章:Figma AI自动布局的核心原理与适用场景 Figma AI自动布局并非基于传统规则引擎,而是融合了约束求解器(Constraint Solver)与轻量级生成式模型的混合架构。其核心在于…

2026/7/18 21:36:00 阅读更多 →
常熟依威亮相CMPS2026包装创新大会 19年无纺植纤技术赋能全行业包装升级

常熟依威亮相CMPS2026包装创新大会 19年无纺植纤技术赋能全行业包装升级

7月16日至17日,CMPS2026包装创新者大会在上海正式拉开帷幕,作为国内包装行业极具影响力的年度盛会,本次大会汇聚了全产业链上下游近千家企业、数百位行业专家与技术研发人员,围绕包装材料创新、合规体系建设、全链路服务升级等核心…

2026/7/18 21:36:00 阅读更多 →
GPTQ与AWQ的量化速度对比:不同模型规模下的量化时间与精度分析

GPTQ与AWQ的量化速度对比:不同模型规模下的量化时间与精度分析

GPTQ与AWQ的量化速度对比:不同模型规模下的量化时间与精度分析 一、两种后训练量化路线的设计哲学 GPTQ(GPT Quantization, Frantar et al., 2023)和AWQ(Activation-aware Weight Quantization, Lin et al., 2024)代表…

2026/7/18 21:36:00 阅读更多 →

最新新闻

2026隐形车衣避坑指南及筛选标准

2026隐形车衣避坑指南及筛选标准

当前隐形车衣市场产品良莠不齐,虚标厚度、掺混回收料、质保承诺不兑现、施工不规范等问题频发,不少车主因选错产品出现黄变、脱胶、撕膜损伤原厂漆等情况,B端采购方也常遇到供应商产能不足、品控不稳定等合作风险。选购时可从资质合规性、产品…

2026/7/18 22:20:39 阅读更多 →
指标打架、数据堪忧?全流程数据治理平台如何让企业真正敢用数据

指标打架、数据堪忧?全流程数据治理平台如何让企业真正敢用数据

企业数字化转型推进到深水区,一个矛盾日益尖锐:数据量年年翻倍,但敢用、能用的数据反而越来越少。业务开会,各部门拿出的核心指标互不相同——同一个"客户转化率",运营看的是注册到下单,销售看的…

2026/7/18 22:20:39 阅读更多 →
做过短视频代运营之后,才知道效果对赌不能忽略

做过短视频代运营之后,才知道效果对赌不能忽略

为什么越来越多人敢把短视频交给专业团队?在成都,不少实体老板都试过自己拍短视频——手机一掏,文案一念,发完坐等客户上门。结果呢?播放量几百,咨询为零,还白白浪费了时间和精力。放到当前阶段…

2026/7/18 22:20:39 阅读更多 →
【MAI Gateway|AI网关】CFO 真正想问的不是 Token 多少钱,而是这笔调用值不值

【MAI Gateway|AI网关】CFO 真正想问的不是 Token 多少钱,而是这笔调用值不值

供应商账单只能告诉企业付了多少钱,无法回答谁花的、为什么突然上涨、有没有产生业务结果。本文从月末追账倒推企业 AI 成本治理,用 MAI Gateway 的 FinAPI 思路搭一套可执行的预算、归因和复盘方法。 月末看到 Token 账单上涨时,很多团队的第…

2026/7/18 22:19:38 阅读更多 →
为什么顶尖团队已弃用VS Code做原型?Cursor 0.42版协同开发流,效率飙升2.8倍,内部泄露文档首次公开

为什么顶尖团队已弃用VS Code做原型?Cursor 0.42版协同开发流,效率飙升2.8倍,内部泄露文档首次公开

更多请点击: https://intelliparadigm.com 第一章:Cursor 0.42:原型开发范式的颠覆性跃迁 Cursor 0.42 不再仅是“AI 增强的编辑器”,而是演变为一个可编程、可推理、可部署的**原型优先开发环境**。其核心突破在于将 LLM 的上下…

2026/7/18 22:19:38 阅读更多 →
反混淆与脱壳实战:撕掉保护壳看清程序真实逻辑

反混淆与脱壳实战:撕掉保护壳看清程序真实逻辑

反混淆与脱壳实战:撕掉保护壳看清程序真实逻辑 一、当代码穿上"迷彩":混淆与加壳为何让分析卡壳 逆向工程师常面对的第一道墙,不是算法难,而是代码被"伪装"。混淆把控制流打乱,加壳把真实字节加密…

2026/7/18 22:19:38 阅读更多 →

日新闻

从模糊意图到可执行指令:Claude PRD中Prompt Engineering与需求颗粒度的5级映射法则

从模糊意图到可执行指令:Claude PRD中Prompt Engineering与需求颗粒度的5级映射法则

更多请点击: https://kaifayun.com 第一章:从模糊意图到可执行指令:Claude PRD中Prompt Engineering与需求颗粒度的5级映射法则 在Claude驱动的产品需求文档(PRD)生成实践中,原始业务意图往往以自然语言片…

2026/7/18 0:00:38 阅读更多 →
Cursor配置生成失效?3大隐藏陷阱+4行修复代码,资深工程师连夜整理的紧急补救清单

Cursor配置生成失效?3大隐藏陷阱+4行修复代码,资深工程师连夜整理的紧急补救清单

更多请点击: https://codechina.net 第一章:Cursor配置生成失效?3大隐藏陷阱4行修复代码,资深工程师连夜整理的紧急补救清单 Cursor 配置生成突然失效,是近期高频报障场景。表面看是 cursor.config.json 未更新或 LSP…

2026/7/18 0:00:38 阅读更多 →
某智驾大牛创业

某智驾大牛创业

作者:钟声编辑:Mark出品:红色星际头图:智能驾驶图片据悉,国内某头部智驾公司端到端模型技术大牛Z投身创业,并且已经拿到融资。Z不仅是该头部公司内部最年轻的对标阿里P10级别技术负责⼈,更是业内…

2026/7/18 0:00:38 阅读更多 →

周新闻

月新闻