To Be Presented in the 11th Asian Technology Conference in Mathematics
December 12-16, 2006, Hong Kong SAR, China

A Problem of Wetzel's: Fitting Triangle in a Rectangle

Lu Yang
luyang@casit.ac.cn
Inst. of Educational Softwares
Guangzhou University

Zhenbing Zeng
zeng@mail.sc.cninfo.net
Automated Reasoning
Chengdu Institute of Computer Application
China

Abstract

A solution to a problem from elementary geometry is presented: a set of polynomial inequalities describing a necessary and sufficient condition for a triangle to fit into a rectangle (given in terms of side lengths). First the possible configurations of the largest similar triangles are classified, then for each of the three classes necessary conditions for the largest similar triangle to fit into the rectangle are derived and shown to be sufficient and finally the obtained conditions are combined. The initial inequalities contain a parameter and (in one case) two additional variables which are eliminated to obtain the final result.

close window Electronic Proceedings of ATCM
© ATCM, Inc. 2006