Windows的KVM软件

 KVM即是共享鼠标键盘。

之前Windows和Ubuntu我都是用Synergy，不过最近一查发现变成收费软件了。

Github上有个fork叫Barrier，下载以后配了好久也不好用。有可能跟我的屏幕配置有关系，一个电脑连了多个显示器，而且有的显示器还是禁用。最后放弃了。

后来搜到了微软的Mouse without Borders，简单配一下就能用了，还是不错。

网址是http://aka.ms/mm

Euclidea 14.5 解法与证明

Euclidea 14.5

如图，给定三个两两相切的圆，O，O_1， O_2。三个圆心共线。

任务：尺规作出一个圆，与给定的三个圆都相切。

解法：

1. 设圆O与圆O_1的切点为A
2. 连接OA
3. 过O做OA垂线交圆O于D
4. 以D为圆心，DA为半径作圆，交圆O_1和圆O_2于E和F。
5. 作直线EO_1和FO_2交于G
6. 以G为圆心，GE为半径作圆
7. 圆G即为所求圆

简要证明：

1. 如图，设三个圆切点为A，B，C。明显A，B，C，O，O_1，O_2五点共线。
2. 以A为中心作反演变换，取反演圆与圆O_2正交。于是圆O_2经反演变换后不变。B，C互为反演点。
3. 分别过B和C做AB的垂线L_B和L_C。易知圆O1和圆O经反演变换后分别为L_B和L_C。
4. 如图作圆G'同时与圆O_2，L_B和L_C相切于E'和F'。
5. 过E'F'作直线L，易证C在L上，并且∠E'CB为45°。
6. 设L经过反演变换得到的圆为圆D'，考虑圆D'的性质：
1. 直线AD'与直线L垂直
2. 圆D'经过A（因为L不经过A）
3. 圆D'经过B（因为L经过C，而B，C互为反演点）
7. 于是可知圆D就是圆D'，因此E和E', F和F'分别互为反演点。
8. 设圆G'经过反演变换为圆G''。因为圆G'与L_B和圆O_2相切于E'和F'，所以圆G''与圆O_1和圆O_2相切于E和F。
9. 所以G''即是EO_1和FO_2的交点，且圆G''半径是G''E。于是圆G即是圆G''。
10. 因为圆G'与L_B，圆O_2，L_C都相切，所以圆G与三个给定圆都相切。证明完毕。

参考资料：Pappus chain