在一个圆内，当两条弦互相垂直时，可以应用以下几个定理：

1. 正弦定理（Chordal Theorem）：两条弦分别为 AB 和 CD，且垂直于彼此。根据正弦定理，这两条弦的长度与它们所夹的弦段相乘的乘积相等。具体表示为：AB × AB = CD × CD。

2. 弦切角定理（Chord-Tangent Angle Theorem）：两条互相垂直的弦所对应的弦切线之间的夹角是相等的。也就是说，如果弦 AB 和弦 CD 互相垂直，并且分别与弦段所对应的切线相交于点 E 和 F，则 ∠AEB = ∠CFD。

3. 弦弦角定理（Chord-Chord Angle Theorem）：两条互相垂直的弦所对应的圆心角的度数和等于 180 度。换句话说，如果弦 AB 和弦 CD 互相垂直，并且分别与圆心角所对应的切线相交于点 E 和 F，则 ∠AOC + ∠BOE = 180 度，其中 O 是圆的中心点。

这些定理可以被用来解决涉及互相垂直的弦的问题，帮助我们推导出相关的几何关系。