tan89.999999982=3183098861.8379067152729555123...数据有错误

红树

已知:直角△ABC，∠B=90°∠A=89.999999982°，直角边AB=1，斜边AC，BD垂直AC，BC=1*tan89.999999982°
BD=AB*BC/AC，CD=√(BC^2-BD^2)，求证BC+CD)*(BC-CD)=BD^2，数据检验和验证BC+CD)*(BC-CD)≠BD^2
数据有错误tan89.999999982=3183098861.8379067152729555123...

jzkyllcjl

对这个问题，我认为：从绝对准线段长度即理想实数出发，可以证明：BC+CD)*(BC-CD)≠BD^2，但使用tan89.999999982=3183098861.8379067152729555123...时，需要知道：这个数据是从计算器上得到的近似值后加……写出的，它不是tan89.999999982的精确值。不能由此推翻上述绝对准计算得出的理想实数理论下的定理。