2011年IMO几何预选题第7题

news/2024/12/22 16:44:17/

在这里插入图片描述

六边形 A F B D C E AFBDCE AFBDCE 外切于圆 O O O, 且 O O O △ A B C \triangle ABC ABC 的外心. N N N F F F B D BD BD 上的投影. 过点 F F F D E DE DE 的垂线交直线 O C OC OC L L L, L L L C D CD CD 上的投影为 N N N. 求证: D M = D N DM=DN DM=DN.

证明:

在这里插入图片描述

只需证明 B M = C N BM=CN BM=CN.

∠ E A F = ∠ F B D = ∠ E C D \angle EAF = \angle FBD = \angle ECD EAF=FBD=ECD, A F = B F AF=BF AF=BF, A E = C E AE=CE AE=CE, B D = C D BD=CD BD=CD. (证明略)

延长 D C DC DC 至点 N ′ N' N, 作过 N N N C D CD CD 的垂线交 O C OC OC 延长线于点 L ′ L' L.

下面证明 L ′ F ⊥ D E L'F \bot DE LFDE.

B F BF BF 的长度为长度的单位, 设 θ = ∠


http://www.ppmy.cn/news/1557237.html

相关文章

黑客如何找到App中的源IP:原理与防范

在移动互联网时代,应用程序(App)已经成为人们生活中不可或缺的一部分。然而,随着App的广泛应用,安全问题也日益受到关注。其中,源IP泄露是一个潜在的安全风险,可能导致服务器遭受攻击、敏感信息…

ubuntu批量依赖库拷贝(ldd)

背景 如何将程序依赖的动态库拷贝到指定的目录? 例子 通过LDD查看依赖的动态库。 $ ldd extract_gpulinux-vdso.so.1 (0x00007ffd931e4000)libopencv_cudacodec.so.4.1 > /home/joyner/disk1/mmaction/third_party/opencv-4.1.0/build/lib/libopencv_cudacod…

lua dofile 传参数

cat 1.lua arg[1] 111 arg[2] 222 dofile(./2.lua) cat 2.lua print("First argument is: " .. arg[1]) print("Second argument is: " .. arg[2]) 执行 lua 1.lua,结果为: First argument is: 111 Second argument is: 222 l…

kubeadm_k8s_v1.31高可用部署教程

kubeadm_k8s_v1.31高可用部署教程 实验环境部署拓扑图**部署署架构****Load Balance****Control plane node****Worker node****资源分配(8台虚拟机)**集群列表 前置准备关闭swap开启ipv4转发更多设置 1、Verify the MAC address and product_uuid are u…

STM32相关知识及其创建工程

STM32 管脚 相关部件 基本部件: GPIO输入输出,外部中断,定时器,串口中断 基本外设接口: SPI,IIC,WDG,ADC/DAC,这些外设接口功能原理对每个芯片几乎都是一样 高级功能:RTOS,STM32CubeMx,HAL库LWP网络通信&a…

杂七杂八的网络安全知识

一、信息安全概述 1.信息与信息安全 信息与信息技术 信息奠基人:香农:信息是用来消除随机不确定性的东西 信息的定义:信息是有意义的数据,是一种要适当保护的资产。数据经过加工处理之后,就成为信息。而信息需要经…

门户系统需要压测吗?以及门户系统如何压力测试?

一、门户系统为什么要进行压力测试? 首先一点要明确一下,统一门户上线以后,将是所有应用系统的入口,对应门户稳定性要求较高,门户实现了统一入口和统一认证,系统宕机将影响其他系统使用。一般部署架构要求…

JS使用random随机数实现简单的四则算数验证

1.效果图 2.代码实现 index.html <!DOCTYPE html> <html lang"en"> <head><meta charset"UTF-8"><meta name"viewport" content"widthdevice-width, initial-scale1.0"><title>Document</ti…