顶

准确的说我这只是证明的图（方便大家理解）如果举反例就不是这张图了

貌似相似，以前ASS不相似就能举反例

Stewart定理硬上

这是初中的数学啊，很简单，你把A画成一个锐角，角A‘画成一个钝角，取AB AC和A'B' A'C'成比例，角ABC=角A'B'C' 就可以看出来了

这个问题，把 ”相似“ 换成 ”全等“，命题是等价的
A 是坐标原点 (0, 0)
B 坐标固定在 (1, 0)
D 在第一象限，坐标 (dx, dy)， |AD| = d
C 坐标 (cx, cy)， |AC| = c
BCD共线
设角 BAD = a，那么
dx = d * cos(a)
dy = d * sin(a)
cx = c * cos(2a)
cy = c * sin(2a)
设 Y = cos(a)
(cx - 1) / cy = (dx - 1) /dy
=> (cx - 1) * dy = (dx - 1) * cy
=> (c * cos(2a) - 1) * d * sin(a) = (d * cos(a) - 1) * c * sin(2a)
=> (c * (2YY - 1) - 1) * d * sin(a) = (d * Y - 1) * c * 2 * sin(a) * Y
=> 2cdYY - cd - d = 2cdYY - 2cY
=> Y = d (c + 1) / 2c
可见，a 在 0-pi/2 范围内只存在一个解
命题得证

也即图形ABC的给定条件3个值后，边AC是否是唯一的 ，
斯霍腾定理(或者斯特瓦尔特) ad^2=ab*ac-[ab*bc/(ab+ac)]*[ac*bc/(ab+ac)]
=>ad^2/ab=ac(1-bc^2/(ab+ac)^2)；ac(1-bc^2/(ab+ac)^2)定义域内是单调增函数
故ABC形状是唯一的 , 不知可有漏洞

肯定成立，我记得我看过一本书上证过全等，相似可类似推导

度娘一下，角平分线定理第二条和第三条可得→_→