在Rt三角形ABC中,角C=90度,角B=15度,AC=4,如果将这两个三角形折叠使得点B与点A