Brute-forcing Langley’s geometry problem with field extensionschiark.greenend.org.uk/~sgtathamSimon Tatham2025年07月18日 00:00An application of algebraic extensions of the rationals: cheating (arguably) at elementary geometry puzzles.