已知与求证

两个角都有小方块标记，所以它们都是直角。其中一个画得大得多。尺子无法确定它们是否相等。证明可以。证明由一系列语句组成。每条语句都有理由。理由可以是已知事实，比如一个标记，也可以是一条规则，比如所有直角都相等。