|
图一有被遮挡的可以看最后一张图,证明过程(代码框中内容)有缺失见下: 在任意凸四边形ABCD中(如图), 作△ABE使∠BAE=∠CAD ∠ABE=∠ ACD,连接DE. 则△ABE∽△ACD 所以 BE/CD=AB/AC,即BE·AC=AB·CD (1) 由△ABE∽△ACD得AD/AC=AE/AB, 又∠BAC=∠EAD,所以△ABC∽△AED. BC/ED=AC/AD,即ED·AC=BC·AD (2) (1)+(2),得AC(BE+ED)=AB·CD+AD·BC 又因为BE+ED≥BD 所以AC·BD≥AB·CD+AD·BC. |
内容有点小遗漏,你上辈子的解法(常规解法)如下 |
Elan 发表于 2025-1-3 22:41 非常恐怖的完全正经的学术的困难的数学 不敢回答( |
其实并不是“广义”托勒密吧。应该说我们用的托勒密是四点共圆下的“狭义”托勒密? |
Archiver|小黑屋|萌ICP备20250701号|天云社区
GMT+8, 2025-1-23 10:40 , Processed in 0.087193 second(s), 25 queries .
Powered by Discuz! X3.5
© 2001-2025 Discuz! Team.