AlphaGeometry2构造的辅助线用红色表示，E是BI延长线上的点 ，使得∠AEB=90°，通过E点进一步得到了几对相似三角形，最终完成证明。

在海子山，迎难而上的故事比比皆是。张寿山记得，2019年，广角切伦科夫望远镜调试标定时，大家需要钻进望远镜离地2.3米的“大蓝箱子”里调试。刮风时，冷意似乎都要从骨头缝里溢出来，工作时得靠暖风机帮助取暖。张寿山说：“LACT也将克服万难，尽快产出更多科学成果。” ...

中新网北京2月7日电 综合消息：全熟鸡蛋的蛋黄虽细腻松软，但吃起来口感较干；溏心鸡蛋蛋黄浓郁，甚至可以流动，却面临拉肚子的风险。问题来了，怎么才能煮出一颗完美的水煮蛋，既营养又美味？