在数学中， 有多种方程都可以表示心型曲线， 其中著名的有笛卡尔心型曲线． 如图， 在直角坐标系中， 以原点 O 为极点， x 轴正半轴为极轴建立极坐标系． 图中的曲线就是笛卡尔心型曲线， 其极坐标方程为 ρ＝1﹣ sinθ（0≤θ＜2π， ρ≥0）， M 为该曲线上一动点．
如图， 在三棱柱 ABC﹣ A 1 B 1 C 1 中， 点 B 1 在底面 ABC 内的射影恰好是点 C， 点D 是 AC 的中点， 且 DA＝DB．
（1） 证明： AB⊥CC 1 ．
