OOO を中心とする2つの傍接円を描き、AB,BC,CD,DAAB,BC,CD,DAAB,BC,CD,DA との接点をそれぞれ M,N,P,QM,N,P,QM,N,P,Q とする。正方形の対辺は平行なので M,O,PM,O,PM,O,P は一直線上、N,O,QN,O,QN,O,Q も一直線上にある。平行な辺の距離は辺長だから MP=NQ=aMP=NQ=aMP=NQ=a である。