10097 关于内心的梦幻联动

借此机会顺便弱弱地问一句，在吧里发专题帖之前，有没有受人审核，经人批准之类的要求啊

感觉纯几不能。但我开板发现了下面这个更加诡异的推广：I为内心，AG是高，作等腰直角三角形GXY，
P是任一点，T.D.S.L定义不变，则AS=DS等价于P在GITXY所共锥线上

导角简单秒
禁书引理：I内心，BCTL调和，N是垂足，则图中灰角相等
以此为基础不难构造出你图中的S，即为AJDK的圆心

补全6楼证明

我：建系还挺水（bushi

在三角形ABC中，令B=（0,0）,C=（1,0）
s=tan（B/2）;t=tan(C/2);经计算SA SD
长度均为
-(s*t*((s - t)^2 + (s^2 - 4*s*t + t^2 + 2)^2 + s^2*t^2*(s - t)^2 + 2*s*t*(s - t)^2)^(1/2))/(- 2*s^3*t + 2*s^2 + 2*s*t^3 - 2*t^2)