[洋葱] 垂径定理