The existence of optical bistability is proved.It is shown that steady bifurection diagram is the known S-shape curve of bistability.

• 给出光学双稳态的存在性证明，得到定常分岔图就是熟知的S-型双稳响应曲线；