level 8
我总觉得从复变的角度来讲第二个不可能(除非f(P)可以不只一个点),因为CP^1→C/∧的全纯映射只能是常值映射
2022年01月28日 01点01分
3
@幻灭十字剑 f(P)确实不是一个点而应该是一个点集
2022年01月28日 03点01分
@幻灭十字剑 这两问的存在性都是显然的,是要求具体构造
2022年01月28日 03点01分
应该说,只要作图过程不能确保f(P)的唯一性(比如选圆与直线两交点的其中一个作图),我就觉得第二个做不到。不知道我的想法哪里出了问题
2022年01月28日 02点01分
@◆qzc◆ 那就取f(P)为PP_i和曲线交点呗(其中PP_i不为给定的直线),反正这只用解二次方程(P_i已经在曲线上了)肯定尺规可作
2022年01月28日 03点01分
level 11
引理1:给定两直线上三组对应点,由它们确定的射影对应记为f,给定其中一条直线上一点P,则可单尺作f(P).
射影对应可分解为两个透视变换的复合,由此作出f(P)
引理2:给定五点ABCDE和过E的直线l,则单尺可作l与过ABCDE的二次曲线的交点.
利用Pascal定理
引理3:给定点ABCDEFG,则可单尺作二次曲线ABCDE与CDEFG的第四交点.
分别作出AG与二次曲线的第二交点H,I,再利用笛沙格对合定理
引理4:给定五点ABCDE和直线l,则可尺规作l与二次曲线ABCDE的两个交点.
对四点形ABCD和BCDE用笛沙格对合定理来确定两个l上的对合,分别作无穷远点在两个对合下的像来确定对合中心,进而作出两个对合的公共点
回到原题,记给定九点为ABCDEWXYZ,过W作直线m,依次作出二次曲线AWXYZ,BWXYZ,CWXYZ,DWXYZ,EWXYZ与m的交点A_1,B_1,C_1,D_1,E_1,在直线AD上作出两点B’,C’使得[A_1,B_1,C_1,D_1]=[A,B’,C’,D],BB’∩CC’=J,对于BCDE类似地作出K,作二次曲线ABCDJ与BCDEK的第四交点O,那么OA,OB,OC,OD,OE与A_1,B_1,C_1,D_1,E_1射影对应,记OA=f(A_1),在m上取一点P,作出f(P)与二次曲线WXYZP的交点ST,当P在直线上运动时,ST即为所求
2024年03月18日 12点03分
4