1 0.999...∞...999勾股定理和全等三角形推导