OC垂直于AB的, 证明也很简单
连接AO, 连接BO
这样因三条边都相等的缘故, △AOC全等于△BOC
于是∠OCA=∠OCB=90度(因为∠ACB=180°)

OC的长度可以用勾股定理解
OA=50mm
AC=50/2=25mm
于是OC的长度=√(OA²-AC²)=43.3mm