Linear-Phase FIR: Four Types & Realizability
线性相位 FIR 的四类与可实现性
线性相位是 FIR 才有的看家本领：相位 严格成直线，群延迟
是常数，所有频率被延迟同样多，波形不失真。
它的来源很朴素：只要冲激响应对称 。
对称性（偶/奇）与长度 的奇偶组合出四类，每类能做哪些滤波器是有硬约束的。
Linear phase is FIR's signature: phase is a straight line, group delay is constant, so every frequency is delayed equally and the waveform is preserved. It comes from a symmetric impulse response. Symmetry parity times length parity gives four types, each with hard constraints on which filters it can realize.
命名对照：课件（PPT）按相位形式先分两大类：一类线性相位（偶对称 ，纯线性相位， 形式）与二类线性相位（奇对称 ，线性相位 ， 形式）。每大类再按 奇 / 偶各分两种，合起来就是国际通用的 Type I-IV：一类 → Type I（ 奇）/ II（ 偶），二类 → Type III（ 奇）/ IV（ 偶）。
| 类 · Type | 对称 | LP | HP | BP | BS | 约束 / 用途 | |
|---|---|---|---|---|---|---|---|
| 一类 · Type I | 偶 even | 奇 odd | √ | √ | √ | √ | 最通用，四种全能 |
| 一类 · Type II | 偶 even | 偶 even | √ | × | √ | × | |
| 二类 · Type III | 奇 odd | 奇 odd | × | × | √ | × | ；微分器 / 希尔伯特 |
| 二类 · Type IV | 奇 odd | 偶 even | × | √ | √ | × | ；微分器 / 希尔伯特 |
对称使 ，于是 是零点 ⟹ 也是零点（单位圆镜像）； 实系数又要求 是零点（共轭）。一般复零点因此四个一组 。 拖 和 看这一组怎么动、何时合并。
Q1: 为什么"对称"就能保证线性相位？Why does symmetry guarantee linear phase?
把 提出公共相位 ，剩下 。若 以 为中心偶对称，相邻项凑成 ，求和为实数，相位就只剩下那条直线 ；奇对称则凑成 ，多一个固定的 。两种都使相位对频率呈直线，即线性相位。
Factor out the common phase e^{-jΩτ}; the remainder sums to a purely real number when h is even-symmetric about τ (cosine pairs), leaving only the straight line -τΩ. Odd symmetry gives sine pairs plus a fixed ±π/2. Either way the phase is linear in Ω.
Q2: 为什么二类（N 偶）做不了高通？Why can Type II (even N) not be a high-pass?
把 代入：。偶对称 且 偶时，每一对 的 符号正好相反，两两抵消，得 。高通和带阻都要求在 处有增益，所以做不了。上面把 从奇调到偶， 曲线就会被钉到 的零点上。
At Ω=π, H=Σh[n](-1)^n. With even symmetry and even N, each symmetric pair has opposite (-1)^n signs and cancels, forcing H_r(π)=0. High-pass and band-stop need gain at π, so they are impossible. Toggle N from odd to even above and watch H_r get pinned to zero at π.
Q3: 为什么零点必须成镜像对 ？Why must zeros come in mirror pairs?
线性相位的对称性给出 。若 是零点（），代入右式得 ，故 也是零点。再加实系数要求共轭 成对，一般复零点就凑成四个一组。特例：单位圆上 镜像与共轭重合，退化成一对；实轴上退化成 ； 自己即镜像。
Symmetry gives H(z)=±z^{-(N-1)}H(1/z), so a zero at z_i forces one at 1/z_i; real coefficients force the conjugate z_i*. A generic complex zero thus appears as a quadruplet. On the unit circle the mirror and conjugate coincide (a pair); on the real axis it is a {z,1/z} pair; z=±1 is its own mirror.
Q4: 二类（奇对称）的相位截距 为什么只能是 ？Why is the second class's phase offset β₀ restricted to ±π/2?
广义线性相位 要求振幅 为实。对实序列 ，这给出必要条件 （对所有 ），展开即 ，其中 是奇函数、 是偶函数，二者线性无关，所以奇、偶两部分必须各自为零： 且 。
非平凡滤波器下 、 不能同时恒零，于是 、 恰好一个为零：（）⟹ 偶对称（一类）；（）⟹ 奇对称（二类）。所以二类只能取 。直观：实序列反对称 ⟹ DTFT 为纯虚数 × 线性相位因子，纯虚 ；而振幅要为实只容得下"纯实"或"纯虚"两种，没有中间值，PPT 第二式里的那个 就是 。这个固定的 相移正是微分器 / 希尔伯特变换器的本质（呼应表中 Type III/IV）。
Generalized linear phase needs a real amplitude A(Ω), so for a real h[n] the imaginary part must vanish: Σ h[n] sin(Ω(n−α)+β₀)=0, i.e. cosβ₀·S(Ω)+sinβ₀·C(Ω)≡0 with S odd, C even and independent. Each must vanish; a nontrivial filter then forces exactly one of cosβ₀, sinβ₀ to be zero: sinβ₀=0 (β₀=0,π) ⟹ even symmetry (first class); cosβ₀=0 (β₀=±π/2) ⟹ antisymmetry (second class). So the second class can only have β₀=±π/2. Intuitively a real antisymmetric sequence has a purely imaginary DTFT times the linear-phase factor, and "purely imaginary" = j = e^{jπ/2}; a real amplitude allows only purely real or purely imaginary, nothing in between. That fixed ±90° shift is exactly what differentiators and Hilbert transformers do.